| Portability | portable |
|---|---|
| Stability | experimental |
| Maintainer | libraries@haskell.org |
| Safe Haskell | Safe |
Control.Monad.Zip
Description
Monadic zipping (used for monad comprehensions)
Documentation
class Monad m => MonadZip m whereSource
MonadZip type class. Minimal definition: mzip or mzipWith
Instances should satisfy the laws:
- Naturality :
liftM (f *** g) (mzip ma mb) = mzip (liftM f ma) (liftM g mb)
- Information Preservation:
liftM (const ()) ma = liftM (const ()) mb ==> munzip (mzip ma mb) = (ma, mb)
Instances
| MonadZip [] |