Safe Haskell	Safe-Inferred
Language	Haskell2010

Polysemy.Resume.Stop

Synopsis

hush :: Either e a -> Maybe a
runStop :: Sem (Stop e ': r) a -> Sem r (Either e a)
newtype StopExc e = StopExc {
- unStopExc :: e
}
runStopAsExcFinal :: Exception (StopExc e) => Member (Final IO) r => Sem (Stop e ': r) a -> Sem r a
stopToIOFinal :: Exception (StopExc e) => Member (Final IO) r => Sem (Stop e ': r) a -> Sem r (Either e a)
stopEitherWith :: Member (Stop err') r => (err -> err') -> Either err a -> Sem r a
stopEither :: Member (Stop err) r => Either err a -> Sem r a
stopNote :: Member (Stop err) r => err -> Maybe a -> Sem r a
stopOnError :: Member (Stop err) r => Sem (Error err ': r) a -> Sem r a
stopOnErrorWith :: Member (Stop err') r => (err -> err') -> Sem (Error err ': r) a -> Sem r a
stopToError :: Member (Error err) r => Sem (Stop err ': r) a -> Sem r a
stopToErrorIO :: Exception (StopExc err) => Members [Error err, Final IO] r => Sem (Stop err ': r) a -> Sem r a
mapStop :: forall e e' r a. Member (Stop e') r => (e -> e') -> Sem (Stop e ': r) a -> Sem r a
showStop :: forall e r a. Show e => Member (Stop Text) r => Sem (Stop e ': r) a -> Sem r a

Documentation

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

Equivalent of runError.

Constructors

StopExc
Fields unStopExc :: e

Instances details

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

Run Stop by throwing exceptions.

stopEitherWith :: Member (Stop err') r => (err -> err') -> Either err a -> Sem r a Source #

Stop if the argument is Left, transforming the error with f.

Stop if the argument is Left.

stopNote :: Member (Stop err) r => err -> Maybe a -> Sem r a Source #

Stop with the supplied error if the argument is Nothing.

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

Convert a program using regular Errors to one using Stop.

stopOnErrorWith :: Member (Stop err') r => (err -> err') -> 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.

mapStop :: forall e e' r a. Member (Stop e') r => (e -> e') -> Sem (Stop e ': r) a -> Sem r a Source #

Map over the error type in a Stop.

showStop :: forall e r a. Show e => Member (Stop Text) r => Sem (Stop e ': r) a -> Sem r a Source #

Convert the error type in a Stop to Text.