Pudu programming language
Menu

Std.Tree.sequenceResult

1 declaration

fn

sequenceResult: &Std.Tree.Tree[Result[T, E]] -> Result[Std.Tree.Tree[T], E]

This is a callable function.

What it does

A tree of results turned into a result holding a tree.

Written for `Result` rather than for any carrier, because naming the carrier

once would need a type parameter standing for a type constructor, which the

language does not have.

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.
  • & borrows a value for this call instead of moving or copying it.
  • 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.TreeSearch related declarations