Modulepolysemy-1.9.2.0Haskell2010

Polysemy.Fail

1 type
4 values

Packagepolysemy-1.9.2.0
Exports5
LanguageHaskell2010
LicenceBSD-3-Clause
SourceType.hs

Effect

1 declaration

newtypenewtype Fail (m :: k) (a :: k1)

This effect abstracts the concept of Control.Monad.Fail.MonadFail, which is a built-in mechanism that converts pattern matching errors to calls to the current monad's instance of that class.

The instance defined in Polysemy.Internal uses this effect to catch those errors.

Constructors

Fail String

Interpretations

4 declarations

valuerunFail :: Sem (Fail ': r) a -> Sem r (Either String a)

Run a Fail effect purely.

valuefailToError

:: Member (Error e) r
=> String -> e
-> Sem (Fail ': r) a
-> Sem r a

Transform a Fail effect into an Error e effect, through providing a function for transforming any failure to an exception.

valuefailToNonDet :: Member NonDet r => Sem (Fail ': r) a -> Sem r a

Transform a Fail effect into a NonDet effect, through mapping any failure to empty.

valuefailToEmbed

:: (Member (Embed m) r, MonadFail m)
=> Sem (Fail ': r) a
-> Sem r a

Run a Fail effect in terms of an underlying MonadFail instance.