Polysemy.Resume.Stop

Documentation

hush :: Either e a -> Maybe a

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

Equivalent of runError.

newtype StopExc e

Constructors

StopExc

Fields

• unStopExc :: e

Instances

Exception (StopExc Text)

Defined in Polysemy.Resume.Stop

Methods

toException :: StopExc Text -> SomeException

fromException :: SomeException -> Maybe (StopExc Text)

displayException :: StopExc Text -> String

Typeable e => Exception (StopExc e)

Defined in Polysemy.Resume.Stop

Methods

toException :: StopExc e -> SomeException

fromException :: SomeException -> Maybe (StopExc e)

displayException :: StopExc e -> String

Show (StopExc Text)

Defined in Polysemy.Resume.Stop

Methods

showsPrec :: Int -> StopExc Text -> ShowS

show :: StopExc Text -> String

showList :: [StopExc Text] -> ShowS

Typeable e => Show (StopExc e)

Defined in Polysemy.Resume.Stop

Methods

showsPrec :: Int -> StopExc e -> ShowS

show :: StopExc e -> String

showList :: [StopExc e] -> ShowS

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)

Run Stop by throwing exceptions.

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

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

stopEitherAs :: Member (Stop err') r => err' -> Either err a -> Sem r a

Stop if the argument is Left, using the supplied error.

stopEither :: Member (Stop err) r => Either err a -> Sem r a

Stop if the argument is Left.

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

Stop with the supplied error if the argument is Nothing.

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

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

Convert a program using regular Errors to one using Stop.

stopToErrorWith :: Member (Error err') r => (err -> err') -> Sem (Stop err ': r) a -> Sem r a

Convert a program using Stop to one using Error, transforming the error with the supplied function.

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

Convert a program using Stop to one using Error.

stopToErrorIO :: Exception (StopExc err) => Members [Error err, Final IO] r => Sem (Stop err ': r) a -> Sem r a

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

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

Convert the error type in a Stop to Text.

stopTryIOE :: forall exc e r a. Exception exc => Members [Stop e, Embed IO] r => (exc -> e) -> IO a -> Sem r a

Convert an IO exception to Stop using the provided transformation.

stopTryIO :: forall exc e r a. Exception exc => Members [Stop e, Embed IO] r => (Text -> e) -> IO a -> Sem r a

Convert an IO exception of type e to Stop using the provided transformation from Text.

stopTryIOError :: forall e r a. Members [Stop e, Embed IO] r => (Text -> e) -> IO a -> Sem r a

Convert an IO exception of type IOError to Stop using the provided transformation from Text.

stopTryAny :: forall e r a. Members [Stop e, Embed IO] r => (Text -> e) -> IO a -> Sem r a

Convert an IO exception to Stop using the provided transformation from Text.