effectful-core-2.2.2.2: 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 of 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 :: Eff (Fail ': es) a -> Eff es (Either String a) Source #

Run the Fail effect via Error.

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

Run the Fail effect via the MonadFail instance for IO.