Safe Haskell | None |
---|---|
Language | Haskell2010 |
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
newtype WrappedExc e Source #
WrappedExc | |
|
Instances
Typeable e => Show (WrappedExc e) Source # | |
Defined in Polysemy.Resume.Stop showsPrec :: Int -> WrappedExc e -> ShowS # show :: WrappedExc e -> String # showList :: [WrappedExc e] -> ShowS # | |
Typeable e => Exception (WrappedExc e) Source # | |
Defined in Polysemy.Resume.Stop toException :: WrappedExc e -> SomeException # fromException :: SomeException -> Maybe (WrappedExc e) # displayException :: WrappedExc e -> String # |
stopToIOFinal :: Typeable e => Member (Final IO) r => Sem (Stop e ': r) a -> Sem r (Either e a) Source #
Run Stop
by throwing exceptions.