Control.Effect.Handler.Heftia.Except

Interpreter and elaborator for the Except effect class.

Documentation

elaborateExceptT :: (ThrowI e <| es, Monad m) => CatchS e (Fre es m) ~> Fre es m

Elaborate the Catch effect using the ExceptT monad transformer.

elaborateExceptK :: (ThrowI e <| es, Monad m) => CatchS e (Fre es m) ~> Fre es m

Elaborate the Catch effect using the ContT continuation monad transformer.

interpretThrowT :: Monad m => Fre (ThrowI e ': es) m ~> ExceptT e (Fre es m)

Interpret the Throw effect using the ExceptT monad transformer.

interpretThrowK :: Monad m => Fre (ThrowI e ': es) m a -> Fre es m (Either e a)

Interpret the Throw effect using the ContT continuation monad transformer.