Control.Monad.Zip · rerebase-1.21.2

classclass Monad m => MonadZip (m :: Type -> Type) where

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 implies munzip (mzip ma mb) = (ma, mb)

Methods

mzip :: m a -> m b -> m (a, b)
mzipWith :: (a -> b -> c) -> m a -> m b -> m c
munzip :: m (a, b) -> (m a, m b)

Instances35MonadZip, …

MonadZip ComplexDefined in base-4.20.2.0 · Data.Complex
MonadZip SeqDefined in containers-0.7 · Data.Sequence.Internal
```
 mzipWith = zipWith
```
```
 munzip = unzip
```
MonadZip TreeDefined in containers-0.7 · Data.Tree
MonadZip NonEmptyDefined in base-4.20.2.0 · Control.Monad.Zip
MonadZip IdentityDefined in base-4.20.2.0 · Control.Monad.Zip
MonadZip FirstDefined in base-4.20.2.0 · Control.Monad.Zip
MonadZip LastDefined in base-4.20.2.0 · Control.Monad.Zip
MonadZip DownDefined in base-4.20.2.0 · Control.Monad.Zip
MonadZip DualDefined in base-4.20.2.0 · Control.Monad.Zip
MonadZip ProductDefined in base-4.20.2.0 · Control.Monad.Zip
MonadZip SumDefined in base-4.20.2.0 · Control.Monad.Zip
MonadZip Par1Defined in base-4.20.2.0 · Control.Monad.Zip
MonadZip MaybeDefined in base-4.20.2.0 · Control.Monad.Zip
MonadZip SoloDefined in base-4.20.2.0 · Control.Monad.Zip
MonadZip ArrayDefined in primitive-0.9.1.0 · Data.Primitive.Array
MonadZip SmallArrayDefined in primitive-0.9.1.0 · Data.Primitive.SmallArray
MonadZip VectorDefined in vector-0.13.2.0 · Data.Vector
MonadZip VectorDefined in vector-0.13.2.0 · Data.Vector.Strict
MonadZip []Defined in base-4.20.2.0 · Control.Monad.Zip
MonadZip ProxyDefined in base-4.20.2.0 · Control.Monad.Zip
MonadZip U1Defined in base-4.20.2.0 · Control.Monad.Zip
MonadZip m => MonadZip (MaybeT m)Defined in transformers-0.6.1.1 · Control.Monad.Trans.Maybe
(Alternative f, MonadZip f) => MonadZip (Cofree f)Defined in free-5.2 · Control.Comonad.Cofree
MonadZip f => MonadZip (Alt f)Defined in base-4.20.2.0 · Control.Monad.Zip
MonadZip f => MonadZip (Rec1 f)Defined in base-4.20.2.0 · Control.Monad.Zip
MonadZip m => MonadZip (ExceptT e m)Defined in transformers-0.6.1.1 · Control.Monad.Trans.Except
MonadZip m => MonadZip (IdentityT m)Defined in transformers-0.6.1.1 · Control.Monad.Trans.Identity
MonadZip m => MonadZip (ReaderT r m)Defined in transformers-0.6.1.1 · Control.Monad.Trans.Reader
(Alternative f, MonadZip f, MonadZip m) => MonadZip (CofreeT f m)Defined in free-5.2 · Control.Comonad.Trans.Cofree
(Monoid w, MonadZip m) => MonadZip (WriterT w m)Defined in transformers-0.6.1.1 · Control.Monad.Trans.Writer.Lazy
(Monoid w, MonadZip m) => MonadZip (WriterT w m)Defined in transformers-0.6.1.1 · Control.Monad.Trans.Writer.Strict
(Selective f, MonadZip f) => MonadZip (ExceptT e f)Defined in selective-0.7.0.1 · Control.Selective.Trans.Except
(MonadZip f, MonadZip g) => MonadZip (Product f g)Defined in base-4.20.2.0 · Data.Functor.Product
(MonadZip f, MonadZip g) => MonadZip (f :*: g)Defined in base-4.20.2.0 · Control.Monad.Zip
MonadZip f => MonadZip (M1 i c f)Defined in base-4.20.2.0 · Control.Monad.Zip