Moduleeffectful-core-2.3.0.1Haskell2010

Effectful.Fail

Provider of the MonadFail instance for Eff.

Effect

1 declaration

datadata Fail (a :: Type -> Type) b where

Provide the ability to use the MonadFail instance for Eff.

Instances1DispatchOf

type DispatchOf Fail = 'DynamicDefined in effectful-core-2.3.0.1 · Effectful.Internal.Monad

valuerunFail :: Eff (Fail ': es) a -> Eff es (Either String a)

Run the Fail effect via Error.

valuerunFailIO :: IOE :> es => Eff (Fail ': es) a -> Eff es a

Run the Fail effect via the MonadFail instance for IO.