Spec-Zone.ru › Haskell 9

Control.Monad.Zip

Авторские права (c) Nils Schweinsberg 2011
(c) George Giorgidze 2011
(c) Университет Тюбингена 2011
Лицензия BSD-стиль (см. файл libraries/base/LICENSE)
Поддержка libraries@haskell.org
Устойчивость стабильная
Переносимость переносимая
Safe Haskell Safe
Язык Haskell2010

Описание

Монадное сжатие (используется для монадических включений)

class Monad m => MonadZip (m :: Тип -> Тип) where Источник

Примеры должны удовлетворять законам:

Натуральность
liftM (f *** g) (mzip ma mb)
    = mzip (liftM f ma) (liftM g mb)
Сохранение информации

liftM (const ()) ma = liftM (const ()) mb подразумевает munzip (mzip ma mb) = (ma, mb)

Минимальное полное определение

mzip | mzipWith

Методы

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) Источник

Экземпляры
Подробности экземпляров
MonadZip Complex Источник

С версии: base-4.15.0.0
Подробности экземпляра

Определено в Data.Complex

Методы

mzip :: Complex a -> Complex b -> Complex (a, b) Источник

mzipWith :: (a -> b -> c) -> Complex a -> Complex b -> Complex c Источник

munzip :: Complex (a, b) -> (Complex a, Complex b) Источник

MonadZip NonEmpty Источник

С версии: ghc-internal-4.9.0.0
Подробности экземпляра

Определено в GHC.Internal.Control.Monad.Zip

Методы

mzip :: NonEmpty a -> NonEmpty b -> NonEmpty (a, b) Источник

mzipWith :: (a -> b -> c) -> NonEmpty a -> NonEmpty b -> NonEmpty c Источник

munzip :: NonEmpty (a, b) -> (NonEmpty a, NonEmpty b) Источник

MonadZip Identity Источник

С версии: ghc-internal-4.8.0.0
Подробности экземпляра

Определено в GHC.Internal.Control.Monad.Zip

Методы

mzip :: Identity a -> Identity b -> Identity (a, b) Источник

mzipWith :: (a -> b -> c) -> Identity a -> Identity b -> Identity c Источник

munzip :: Identity (a, b) -> (Identity a, Identity b) Источник

MonadZip First Источник

С версии: ghc-internal-4.8.0.0
Подробности экземпляра

Определено в GHC.Internal.Control.Monad.Zip

Методы

mzip :: First a -> First b -> First (a, b) Источник

mzipWith :: (a -> b -> c) -> First a -> First b -> First c Источник

munzip :: First (a, b) -> (First a, First b) Источник

MonadZip Last Источник

С версии: ghc-internal-4.8.0.0
Подробности экземпляра

Определено в GHC.Internal.Control.Monad.Zip

Методы

mzip :: Last a -> Last b -> Last (a, b) Источник

mzipWith :: (a -> b -> c) -> Last a -> Last b -> Last c Источник

munzip :: Last (a, b) -> (Last a, Last b) Источник

MonadZip Down Источник

С версии: ghc-internal-4.12.0.0
END_OF_DOCUMENT_MARKER
Подробности экземпляра

Определено в GHC.Internal.Control.Monad.Zip

Методы

mzip :: Down a -> Down b -> Down (a, b) Исходный код

mzipWith :: (a -> b -> c) -> Down a -> Down b -> Down c Исходный код

munzip :: Down (a, b) -> (Down a, Down b) Исходный код

MonadZip Dual Исходный код

С момента: ghc-internal-4.8.0.0
Подробности экземпляра

Определено в GHC.Internal.Control.Monad.Zip

Методы

mzip :: Dual a -> Dual b -> Dual (a, b) Исходный код

mzipWith :: (a -> b -> c) -> Dual a -> Dual b -> Dual c Исходный код

munzip :: Dual (a, b) -> (Dual a, Dual b) Исходный код

MonadZip Product Исходный код

С момента: ghc-internal-4.8.0.0
Подробности экземпляра

Определено в GHC.Internal.Control.Monad.Zip

Методы

mzip :: Product a -> Product b -> Product (a, b) Исходный код

mzipWith :: (a -> b -> c) -> Product a -> Product b -> Product c Исходный код

munzip :: Product (a, b) -> (Product a, Product b) Исходный код

MonadZip Sum Исходный код

С момента: ghc-internal-4.8.0.0
Подробности экземпляра

Определено в GHC.Internal.Control.Monad.Zip

Методы

mzip :: Sum a -> Sum b -> Sum (a, b) Исходный код

mzipWith :: (a -> b -> c) -> Sum a -> Sum b -> Sum c Исходный код

munzip :: Sum (a, b) -> (Sum a, Sum b) Исходный код

MonadZip Par1 Исходный код

С момента: ghc-internal-4.9.0.0
Подробности экземпляра

Определено в GHC.Internal.Control.Monad.Zip

Методы

mzip :: Par1 a -> Par1 b -> Par1 (a, b) Исходный код

mzipWith :: (a -> b -> c) -> Par1 a -> Par1 b -> Par1 c Исходный код

munzip :: Par1 (a, b) -> (Par1 a, Par1 b) Исходный код

MonadZip Maybe Исходный код

С момента: ghc-internal-4.8.0.0
Информация о экземпляре

Определено в GHC.Internal.Control.Monad.Zip

Краткое описание методов

mzip :: Maybe a -> Maybe b -> Maybe (a, b) Исходный код

mzipWith :: (a -> b -> c) -> Maybe a -> Maybe b -> Maybe c Исходный код

munzip :: Maybe (a, b) -> (Maybe a, Maybe b) Исходный код

MonadZip Solo Исходный код

Since: ghc-internal-4.15.0.0
Информация о экземпляре

Определено в GHC.Internal.Control.Monad.Zip

Краткое описание методов

mzip :: Solo a -> Solo b -> Solo (a, b) Исходный код

mzipWith :: (a -> b -> c) -> Solo a -> Solo b -> Solo c Исходный код

munzip :: Solo (a, b) -> (Solo a, Solo b) Исходный код

MonadZip [] Исходный код

Since: ghc-internal-4.3.1.0
Информация о экземпляре

Определено в GHC.Internal.Control.Monad.Zip

Краткое описание методов

mzip :: [a] -> [b] -> [(a, b)] Исходный код

mzipWith :: (a -> b -> c) -> [a] -> [b] -> [c] Исходный код

munzip :: [(a, b)] -> ([a], [b]) Исходный код

MonadZip (Proxy :: Type -> Type) Исходный код

Since: ghc-internal-4.9.0.0
Информация о экземпляре

Определено в GHC.Internal.Control.Monad.Zip

Краткое описание методов

mzip :: Proxy a -> Proxy b -> Proxy (a, b) Исходный код

mzipWith :: (a -> b -> c) -> Proxy a -> Proxy b -> Proxy c Исходный код

munzip :: Proxy (a, b) -> (Proxy a, Proxy b) Исходный код

MonadZip (U1 :: Type -> Type) Исходный код

Since: ghc-internal-4.9.0.0
Информация о экземпляре

Определено в GHC.Internal.Control.Monad.Zip

Краткое описание методов

mzip :: U1 a -> U1 b -> U1 (a, b) Исходный код

mzipWith :: (a -> b -> c) -> U1 a -> U1 b -> U1 c Исходный код

munzip :: U1 (a, b) -> (U1 a, U1 b) Исходный код

MonadZip f => MonadZip (Alt f) Исходный код

Since: ghc-internal-4.8.0.0
Информация о экземпляре

Определено в GHC.Internal.Control.Monad.Zip

Краткое описание методов

mzip :: Alt f a -> Alt f b -> Alt f (a, b) Исходный код

mzipWith :: (a -> b -> c) -> Alt f a -> Alt f b -> Alt f c Исходный код

munzip :: Alt f (a, b) -> (Alt f a, Alt f b) Исходный код

MonadZip f => MonadZip (Rec1 f) Исходный код

С версии: ghc-internal-4.9.0.0
Информация о экземпляре

Определено в GHC.Internal.Control.Monad.Zip

Краткое описание методов

mzip :: Rec1 f a -> Rec1 f b -> Rec1 f (a, b) Исходный код

mzipWith :: (a -> b -> c) -> Rec1 f a -> Rec1 f b -> Rec1 f c Исходный код

munzip :: Rec1 f (a, b) -> (Rec1 f a, Rec1 f b) Исходный код

(MonadZip f, MonadZip g) => MonadZip (Product f g) Исходный код

С версии: base-4.9.0.0
Информация о экземпляре

Определено в Data.Functor.Product

Краткое описание методов

mzip :: Product f g a -> Product f g b -> Product f g (a, b) Исходный код

mzipWith :: (a -> b -> c) -> Product f g a -> Product f g b -> Product f g c Исходный код

munzip :: Product f g (a, b) -> (Product f g a, Product f g b) Исходный код

(MonadZip f, MonadZip g) => MonadZip (f :*: g) Исходный код

С версии: ghc-internal-4.9.0.0
Информация о экземпляре

Определено в GHC.Internal.Control.Monad.Zip

Краткое описание методов

mzip :: (f :*: g) a -> (f :*: g) b -> (f :*: g) (a, b) Исходный код

mzipWith :: (a -> b -> c) -> (f :*: g) a -> (f :*: g) b -> (f :*: g) c Исходный код

munzip :: (f :*: g) (a, b) -> ((f :*: g) a, (f :*: g) b) Исходный код

MonadZip f => MonadZip (M1 i c f) Исходный код

С версии: ghc-internal-4.9.0.0
Информация о экземпляре

Определено в GHC.Internal.Control.Monad.Zip

Краткое описание методов

mzip :: M1 i c f a -> M1 i c f b -> M1 i c f (a, b) Исходный код

mzipWith :: (a -> b -> c0) -> M1 i c f a -> M1 i c f b -> M1 i c f c0 Исходный код

munzip :: M1 i c f (a, b) -> (M1 i c f a, M1 i c f b) Исходный код

© The University of Glasgow and others
Licensed under a BSD-style license (see top of the page).
https://downloads.haskell.org/~ghc/9.12.1/docs/libraries/base-4.21.0.0-8e62/Control-Monad-Zip.html

Spec-Zone.ru

Настройки Оффлайн Что нового Помощь О нас
Spec-Zone .ru
спецификации, руководства, описания, API