Safe Haskell | Safe-Inferred |
---|---|
Language | Haskell2010 |
Synopsis
- data Exn m e = MkExn {}
- exnTry :: Monad m => Exn m e -> m a -> m (Result e a)
- exnHandle :: Exn m e -> (e -> m a) -> m a -> m a
- exnOnException :: forall e m a. Monad m => Exn m e -> m a -> m () -> m a
- exnBracket :: forall e m a b. MonadTunnelIO m => Exn m e -> m a -> (a -> m ()) -> (a -> m b) -> m b
- exnFinally :: forall e m a. MonadTunnelIO m => Exn m e -> m a -> m () -> m a
- exnBracket_ :: forall e m. MonadTunnelIO m => Exn m e -> m () -> m () -> m --> m
- mapExn :: (e2 -> e1) -> (e1 -> Maybe e2) -> Exn m e1 -> Exn m e2
- liftExn :: forall t m. (MonadTransTunnel t, Monad m) => Exn m --> Exn (t m)
- allExn :: forall m. MonadException m => Exn m (Exc m)
- someExn :: forall e m. MonadCatch e m => Exn m e
Documentation
Exceptions that can be thrown and caught in this monad.
exnOnException :: forall e m a. Monad m => Exn m e -> m a -> m () -> m a Source #
exnBracket :: forall e m a b. MonadTunnelIO m => Exn m e -> m a -> (a -> m ()) -> (a -> m b) -> m b Source #
exnFinally :: forall e m a. MonadTunnelIO m => Exn m e -> m a -> m () -> m a Source #
exnBracket_ :: forall e m. MonadTunnelIO m => Exn m e -> m () -> m () -> m --> m Source #
someExn :: forall e m. MonadCatch e m => Exn m e Source #