effectful-core-2.5.0.0: An easy to use, performant extensible effects library.
Safe HaskellSafe-Inferred
LanguageHaskell2010

Effectful.Fail

Description

Provider of the MonadFail instance for Eff.

Synopsis

Effect

data Fail :: Effect where Source #

Provide the ability to use the MonadFail instance for Eff.

Constructors

Fail :: String -> Fail m a 

Instances

Instances details
type DispatchOf Fail Source # 
Instance details

Defined in Effectful.Internal.Monad

type DispatchOf Fail = 'Dynamic

Handlers

runFail :: HasCallStack => Eff (Fail : es) a -> Eff es (Either String a) Source #

Run the Fail effect via Error.

runFailIO :: (HasCallStack, IOE :> es) => Eff (Fail : es) a -> Eff es a Source #

Run the Fail effect via the MonadFail instance for IO.