Pudu programming language
Menu

Std.Result.fold

1 declaration

fn

fold: Result[T, E] -> fn(T) -> A -> fn(E) -> A -> A

This is a callable function.

What it does

One of two transformations, whichever side the result holds.

Success comes first, matching the order the cases are written everywhere

else a result is inspected.

Read the signature

  • The text after the name is the type checked by Pudu.
  • Read arrows from left to right: inputs come first, and the final type is returned.
  • Names inside [ ] are type arguments, such as the item type held by a collection.
  • Result makes success and recoverable failure part of the function's type.

Back to Std.ResultSearch related declarations