Safe Haskell	None
Language	Haskell2010

Polysemy.Resume.Stop

Synopsis

hush :: Either e a -> Maybe a
runStop :: Sem (Stop e ': r) a -> Sem r (Either e a)
newtype WrappedExc e = WrappedExc {
- unwrapExc :: e
}
runStopAsExcFinal :: Typeable e => Member (Final IO) r => Sem (Stop e ': r) a -> Sem r a
stopToIOFinal :: Typeable e => Member (Final IO) r => Sem (Stop e ': r) a -> Sem r (Either e a)
stopEither :: Member (Stop err) r => Either err a -> Sem r a
stopOnError :: Member (Stop err) r => Sem (Error err ': r) a -> Sem r a
stopToError :: Member (Error err) r => Sem (Stop err ': r) a -> Sem r a
stopToErrorIO :: Typeable err => Members [Error err, Final IO] r => Sem (Stop err ': r) a -> Sem r a

Documentation

runStop :: Sem (Stop e ': r) a -> Sem r (Either e a) Source #

Equivalent of runError.

Constructors

WrappedExc
Fields unwrapExc :: e

Instances details

Typeable e => Show (WrappedExc e) Source #
Instance details Defined in Polysemy.Resume.Stop Methods showsPrec :: Int -> WrappedExc e -> ShowS # show :: WrappedExc e -> String # showList :: [WrappedExc e] -> ShowS #
Typeable e => Exception (WrappedExc e) Source #
Instance details Defined in Polysemy.Resume.Stop Methods toException :: WrappedExc e -> SomeException # fromException :: SomeException -> Maybe (WrappedExc e) # displayException :: WrappedExc e -> String #

Run Stop by throwing exceptions.

Stop if the argument is Left.

stopOnError :: Member (Stop err) r => Sem (Error err ': r) a -> Sem r a Source #

Convert a program using regular Errors to one using Stop.

stopToError :: Member (Error err) r => Sem (Stop err ': r) a -> Sem r a Source #

Convert a program using Stop to one using Error.

Convert a program using Stop to one using Error.