Copyright	(c) Nils Schweinsberg 2011 (c) George Giorgidze 2011 (c) University Tuebingen 2011
License	BSD-style (see the file libraries/base/LICENSE)
Maintainer	libraries@haskell.org
Stability	stable
Portability	portable
Safe Haskell	Trustworthy
Language	Haskell2010

GHC.Internal.Control.Monad.Zip

Description

Monadic zipping (used for monad comprehensions)

Synopsis

class Monad m => MonadZip (m :: Type -> Type) where
- 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)

Documentation

class Monad m => MonadZip (m :: Type -> Type) where Source #

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)

Minimal complete definition

mzip | mzipWith

Methods

mzip :: m a -> m b -> m (a, b) Source #

mzipWith :: (a -> b -> c) -> m a -> m b -> m c Source #

munzip :: m (a, b) -> (m a, m b) Source #

Instances

Instances details

MonadZip NonEmpty Source #

Since: ghc-internal-4.9.0.0

Instance details

Defined in GHC.Internal.Control.Monad.Zip

Methods

mzip :: NonEmpty a -> NonEmpty b -> NonEmpty (a, b) Source #

mzipWith :: (a -> b -> c) -> NonEmpty a -> NonEmpty b -> NonEmpty c Source #

munzip :: NonEmpty (a, b) -> (NonEmpty a, NonEmpty b) Source #

MonadZip Identity Source #

Since: ghc-internal-4.8.0.0

Instance details

Defined in GHC.Internal.Control.Monad.Zip

Methods

mzip :: Identity a -> Identity b -> Identity (a, b) Source #

mzipWith :: (a -> b -> c) -> Identity a -> Identity b -> Identity c Source #

munzip :: Identity (a, b) -> (Identity a, Identity b) Source #

MonadZip First Source #

Since: ghc-internal-4.8.0.0

Instance details

Defined in GHC.Internal.Control.Monad.Zip

Methods

mzip :: First a -> First b -> First (a, b) Source #

mzipWith :: (a -> b -> c) -> First a -> First b -> First c Source #

munzip :: First (a, b) -> (First a, First b) Source #

MonadZip Last Source #

Since: ghc-internal-4.8.0.0

Instance details

Defined in GHC.Internal.Control.Monad.Zip

Methods

mzip :: Last a -> Last b -> Last (a, b) Source #

mzipWith :: (a -> b -> c) -> Last a -> Last b -> Last c Source #

munzip :: Last (a, b) -> (Last a, Last b) Source #

MonadZip Down Source #

Since: ghc-internal-4.12.0.0

Instance details

Defined in GHC.Internal.Control.Monad.Zip

Methods

mzip :: Down a -> Down b -> Down (a, b) Source #

mzipWith :: (a -> b -> c) -> Down a -> Down b -> Down c Source #

munzip :: Down (a, b) -> (Down a, Down b) Source #

MonadZip Dual Source #

Since: ghc-internal-4.8.0.0

Instance details

Defined in GHC.Internal.Control.Monad.Zip

Methods

mzip :: Dual a -> Dual b -> Dual (a, b) Source #

mzipWith :: (a -> b -> c) -> Dual a -> Dual b -> Dual c Source #

munzip :: Dual (a, b) -> (Dual a, Dual b) Source #

MonadZip Product Source #

Since: ghc-internal-4.8.0.0

Instance details

Defined in GHC.Internal.Control.Monad.Zip

Methods

mzip :: Product a -> Product b -> Product (a, b) Source #

mzipWith :: (a -> b -> c) -> Product a -> Product b -> Product c Source #

munzip :: Product (a, b) -> (Product a, Product b) Source #

MonadZip Sum Source #

Since: ghc-internal-4.8.0.0

Instance details

Defined in GHC.Internal.Control.Monad.Zip

Methods

mzip :: Sum a -> Sum b -> Sum (a, b) Source #

mzipWith :: (a -> b -> c) -> Sum a -> Sum b -> Sum c Source #

munzip :: Sum (a, b) -> (Sum a, Sum b) Source #

MonadZip Par1 Source #

Since: ghc-internal-4.9.0.0

Instance details

Defined in GHC.Internal.Control.Monad.Zip

Methods

mzip :: Par1 a -> Par1 b -> Par1 (a, b) Source #

mzipWith :: (a -> b -> c) -> Par1 a -> Par1 b -> Par1 c Source #

munzip :: Par1 (a, b) -> (Par1 a, Par1 b) Source #

MonadZip Maybe Source #

Since: ghc-internal-4.8.0.0

Instance details

Defined in GHC.Internal.Control.Monad.Zip

Methods

mzip :: Maybe a -> Maybe b -> Maybe (a, b) Source #

mzipWith :: (a -> b -> c) -> Maybe a -> Maybe b -> Maybe c Source #

munzip :: Maybe (a, b) -> (Maybe a, Maybe b) Source #

MonadZip Solo Source #

Since: ghc-internal-4.15.0.0

Instance details

Defined in GHC.Internal.Control.Monad.Zip

Methods

mzip :: Solo a -> Solo b -> Solo (a, b) Source #

mzipWith :: (a -> b -> c) -> Solo a -> Solo b -> Solo c Source #

munzip :: Solo (a, b) -> (Solo a, Solo b) Source #

MonadZip [] Source #

Since: ghc-internal-4.3.1.0

Instance details

Defined in GHC.Internal.Control.Monad.Zip

Methods

mzip :: [a] -> [b] -> [(a, b)] Source #

mzipWith :: (a -> b -> c) -> [a] -> [b] -> [c] Source #

munzip :: [(a, b)] -> ([a], [b]) Source #

MonadZip (Proxy :: Type -> Type) Source #

Since: ghc-internal-4.9.0.0

Instance details

Defined in GHC.Internal.Control.Monad.Zip

Methods

mzip :: Proxy a -> Proxy b -> Proxy (a, b) Source #

mzipWith :: (a -> b -> c) -> Proxy a -> Proxy b -> Proxy c Source #

munzip :: Proxy (a, b) -> (Proxy a, Proxy b) Source #

MonadZip (U1 :: Type -> Type) Source #

Since: ghc-internal-4.9.0.0

Instance details

Defined in GHC.Internal.Control.Monad.Zip

Methods

mzip :: U1 a -> U1 b -> U1 (a, b) Source #

mzipWith :: (a -> b -> c) -> U1 a -> U1 b -> U1 c Source #

munzip :: U1 (a, b) -> (U1 a, U1 b) Source #

MonadZip f => MonadZip (Alt f) Source #

Since: ghc-internal-4.8.0.0

Instance details

Defined in GHC.Internal.Control.Monad.Zip

Methods

mzip :: Alt f a -> Alt f b -> Alt f (a, b) Source #

mzipWith :: (a -> b -> c) -> Alt f a -> Alt f b -> Alt f c Source #

munzip :: Alt f (a, b) -> (Alt f a, Alt f b) Source #

MonadZip f => MonadZip (Rec1 f) Source #

Since: ghc-internal-4.9.0.0

Instance details

Defined in GHC.Internal.Control.Monad.Zip

Methods

mzip :: Rec1 f a -> Rec1 f b -> Rec1 f (a, b) Source #

mzipWith :: (a -> b -> c) -> Rec1 f a -> Rec1 f b -> Rec1 f c Source #

munzip :: Rec1 f (a, b) -> (Rec1 f a, Rec1 f b) Source #

(MonadZip f, MonadZip g) => MonadZip (f :*: g) Source #

Since: ghc-internal-4.9.0.0

Instance details

Defined in GHC.Internal.Control.Monad.Zip

Methods

mzip :: (f :*: g) a -> (f :*: g) b -> (f :*: g) (a, b) Source #

mzipWith :: (a -> b -> c) -> (f :*: g) a -> (f :*: g) b -> (f :*: g) c Source #

munzip :: (f :*: g) (a, b) -> ((f :*: g) a, (f :*: g) b) Source #

MonadZip f => MonadZip (M1 i c f) Source #

Since: ghc-internal-4.9.0.0

Instance details

Defined in GHC.Internal.Control.Monad.Zip

Methods

mzip :: M1 i c f a -> M1 i c f b -> M1 i c f (a, b) Source #

mzipWith :: (a -> b -> c0) -> M1 i c f a -> M1 i c f b -> M1 i c f c0 Source #

munzip :: M1 i c f (a, b) -> (M1 i c f a, M1 i c f b) Source #