Effectful.Fail
Contents
Description
Provider of the MonadFail instance for Eff.
MonadFail
Eff
data Fail :: Effect where Source #
Provide the ability to use the MonadFail instance for Eff.
Constructors
Defined in Effectful.Internal.Monad
runFail :: Eff (Fail ': es) a -> Eff es (Either String a) Source #
Run the Fail effect via Error.
Fail
Error
runFailIO :: IOE :> es => Eff (Fail ': es) a -> Eff es a Source #
Run the Fail effect via the MonadFail instance for IO.
IO