Safe Haskell	None
Language	Haskell2010

Polysemy.Fail

Contents

Synopsis

newtype Fail m a = Fail String
runFail :: Sem (Fail ': r) a -> Sem r (Either String a)
failToError :: Member (Error e) r => (String -> e) -> Sem (Fail ': r) a -> Sem r a
failToNonDet :: Member NonDet r => Sem (Fail ': r) a -> Sem r a
failToEmbed :: forall m r a. (Member (Embed m) r, MonadFail m) => Sem (Fail ': r) a -> Sem r a

Effect

newtype Fail m a Source #

Constructors

Interpretations

Run a Fail effect purely.

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

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

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

failToEmbed :: forall m r a. (Member (Embed m) r, MonadFail m) => Sem (Fail ': r) a -> Sem r a Source #

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