Copyright | (c) Aaron Friel |
---|---|
License | BSD-3 |
Maintainer | Aaron Friel <mayreply@aaronfriel.com> |
Stability | unstable |
Portability | portable |
Safe Haskell | Safe |
Language | Haskell2010 |
- class GMonad m => GMonadZero m where
- type Zero m :: p
Documentation
class GMonad m => GMonadZero m where Source #
Graph indexed monad with a monoidal zero.
See the typeclassopedia https://wiki.haskell.org/Typeclassopedia.
MonadPlus m => GMonadZero * (GWrapped m) Source # | |
IxMonadZero * m => GMonadZero (*, *) (WrappedIx m) Source # | |