Control.Monad.Hefty.Except

Description

Interpreters for the Except effects.

Synopsis

runCatch :: forall e (es :: [Effect]) a. (In (Throw e) es, FOEs es) => Eff (Catch e ': es) a -> Eff es a
runExcept :: forall e (es :: [Effect]) a. FOEs es => Eff (Catch e ': (Throw e ': es)) a -> Eff es (Either e a)
runThrow :: forall e (es :: [Effect]) a. FOEs es => Eff (Throw e ': es) a -> Eff es (Either e a)
handleThrow :: forall e (f :: Type -> Type) (g :: Type -> Type) a. Applicative g => AlgHandler (Throw e) f g (Either e a)
handleCatch :: forall e (es :: [Effect]). (In (Throw e) es, FOEs es) => Catch e ~~> Eff es
module Data.Effect.Except

Documentation

runCatch :: forall e (es :: [Effect]) a. (In (Throw e) es, FOEs es) => Eff (Catch e ': es) a -> Eff es a Source #

Interpret the Catch effect.

runExcept :: forall e (es :: [Effect]) a. FOEs es => Eff (Catch e ': (Throw e ': es)) a -> Eff es (Either e a) Source #

Interpret the Throw/Catch effects.

runThrow :: forall e (es :: [Effect]) a. FOEs es => Eff (Throw e ': es) a -> Eff es (Either e a) Source #

Interpret the Throw effect.

A handler for the Throw effect.

handleCatch :: forall e (es :: [Effect]). (In (Throw e) es, FOEs es) => Catch e ~~> Eff es Source #

A handler for the Catch effect.