HORIZON HASKELLDocslts/ghc-9.14.xb2f3bfd2026-10-11Search names, modules, packages, or :: a typeCtrl K

GHC 9.14.1 · lts/ghc-9.14.x · b2f3bfd · 2026-10-11

Modulebase-4.22.0.0Haskell2010

Control.Monad.Zip

Monadic zipping (used for monad comprehensions)

  • 1 class
  • Packagebase-4.22.0.0
  • Exports1
  • LanguageHaskell2010
  • LicenceBSD-3-Clause
  • SourceZip.hs
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 (Prelude.const ()) ma = liftM (Prelude.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)
Instances20MonadZip, …
  • MonadZip ComplexDefined in base-4.22.0.0 · Data.Complex
  • MonadZip NonEmptyDefined in ghc-internal-9.1401.0 · GHC.Internal.Control.Monad.Zip
  • MonadZip IdentityDefined in ghc-internal-9.1401.0 · GHC.Internal.Control.Monad.Zip
  • MonadZip FirstDefined in ghc-internal-9.1401.0 · GHC.Internal.Control.Monad.Zip
  • MonadZip LastDefined in ghc-internal-9.1401.0 · GHC.Internal.Control.Monad.Zip
  • MonadZip DownDefined in ghc-internal-9.1401.0 · GHC.Internal.Control.Monad.Zip
  • MonadZip DualDefined in ghc-internal-9.1401.0 · GHC.Internal.Control.Monad.Zip
  • MonadZip ProductDefined in ghc-internal-9.1401.0 · GHC.Internal.Control.Monad.Zip
  • MonadZip SumDefined in ghc-internal-9.1401.0 · GHC.Internal.Control.Monad.Zip
  • MonadZip Par1Defined in ghc-internal-9.1401.0 · GHC.Internal.Control.Monad.Zip
  • MonadZip MaybeDefined in ghc-internal-9.1401.0 · GHC.Internal.Control.Monad.Zip
  • MonadZip SoloDefined in ghc-internal-9.1401.0 · GHC.Internal.Control.Monad.Zip
  • MonadZip []Defined in ghc-internal-9.1401.0 · GHC.Internal.Control.Monad.Zip
  • MonadZip ProxyDefined in ghc-internal-9.1401.0 · GHC.Internal.Control.Monad.Zip
  • MonadZip U1Defined in ghc-internal-9.1401.0 · GHC.Internal.Control.Monad.Zip
  • MonadZip f => MonadZip (Alt f)Defined in ghc-internal-9.1401.0 · GHC.Internal.Control.Monad.Zip
  • MonadZip f => MonadZip (Rec1 f)Defined in ghc-internal-9.1401.0 · GHC.Internal.Control.Monad.Zip
  • (MonadZip f, MonadZip g) => MonadZip (Product f g)Defined in base-4.22.0.0 · Data.Functor.Product
  • (MonadZip f, MonadZip g) => MonadZip (f :*: g)Defined in ghc-internal-9.1401.0 · GHC.Internal.Control.Monad.Zip
  • MonadZip f => MonadZip (M1 i c f)Defined in ghc-internal-9.1401.0 · GHC.Internal.Control.Monad.Zip