Control.Monad.Zip
| Авторские права | (c) Nils Schweinsberg 2011, (c) George Giorgidze 2011 (c) Университет Тюбингена 2011 |
|---|---|
| Лицензия | BSD-стиль (см. файл libraries/base/LICENSE) |
| Поддержка | libraries@haskell.org |
| Устойчивость | экспериментальная |
| Переносимость | переносимый |
| Безопасный Haskell | Безопасный |
| Язык | Haskell2010 |
Описание
Монадное сжатие (используется для монадных включений)
класс Monad m => MonadZip m где Исходный код
MonadZip тип класса. Минимальное определение: mzip или mzipWith
Экземпляры должны удовлетворять законам:
- Натуральность:
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 :: 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) Исходный код
© The University of Glasgow and others
Licensed under a BSD-style license (see top of the page).
https://downloads.haskell.org/~ghc/7.10.3/docs/html/libraries/base-4.8.2.0/Control-Monad-Zip.html
