IO.Async.Outcome

Reexports

Definitions

0 Result : List Type -> Type -> Type

  Alias for `Either (HSum es) a`: A computation that either
  succeeds with a result of type `a` or fails with an error
  of one of the types given in list `es`.
  
  Note: If `es` is the empty list, the computation cannot fail,
  because `HSum []` is uninhabited.

Totality: total
Visibility: public export

data Outcome : List Type -> Type -> Type

Totality: total
Visibility: public export
Constructors:

Succeeded : a -> Outcome es a

Error : HSum es -> Outcome es a

Canceled : Outcome es a

Hints:

Foldable (Outcome es)

Functor (Outcome es)

Traversable (Outcome es)

toOutcome : Result es a -> Outcome es a

Totality: total
Visibility: export