| Copyright | (c) Aaron Friel |
|---|---|
| License | BSD-3 |
| Maintainer | Aaron Friel <[email protected]> |
| Stability | unstable |
| Portability | portable |
| Safe Haskell | Safe |
| Language | Haskell2010 |
Control.MonadFail.Graph
Description
- class GMonad m => GMonadFail m where
- type Fail m :: p
Documentation
class GMonad m => GMonadFail m where Source #
Graph indexed monad with failure.
Associated Types
The unit failure element of the index.
Default instance: Fail m = Unit m
Methods
gfail :: String -> m (Fail m) a Source #
Fail with a message.
Default implementation requires the default instance of Fail.
gfail :: (GMonadZero m, Zero m ~ Fail m) => String -> m (Fail m) a Source #
Fail with a message.
Default implementation requires the default instance of Fail.
Instances
| Monad m => GMonadFail * (GWrapped m) Source # | |
| IxMonadZero * m => GMonadFail (*, *) (WrappedIx m) Source # | |