Moduleeffectful-core-2.7.1.2GHC2021

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.7.1.2 · Effectful.Internal.Monad

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

Run the Fail effect via Error.

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

Run the Fail effect via the MonadFail instance for IO.