Control.Cont.Exception

Definitions

data EitherC : Type -> (Type -> Type) -> Type -> Type

Totality: total
Visibility: public export
Constructors:

Throw : e -> EitherC e m a

Catch : m t -> (e -> m t) -> (t -> m a) -> EitherC e m a

Hints:

Functor m => Functor (EitherC e m)

HFunctor (EitherC e)

Syntax (EitherC e)

runEitherC : Syntax sig => Free (EitherC e :+: sig) a -> Free sig (Either e a)

Visibility: public export

throw : Inj (EitherC e) sig => e -> Free sig a

Visibility: public export

catch : Inj (EitherC e) sig => Free sig a -> (e -> Free sig a) -> Free sig a

Visibility: public export

orThrow : Syntax sig => Inj (EitherC e) sig => Maybe a -> Free sig e -> Free sig a

Visibility: public export