Control.Monad.Trans.List
| Авторские права | (c) Andy Gill 2001, (c) Oregon Graduate Institute of Science and Technology, 2001 |
|---|---|
| Лицензия | BSD-стиль (см. файл LICENSE) |
| Поддержка | ross@soi.city.ac.uk |
| Устойчивость | экспериментальная |
| Переносимость | переносимая |
| Безопасный Haskell | Безопасный |
| Язык | Haskell98 |
Описание
Преобразователь монады ListT, добавляющий возможность обратного отслеживания к заданной монаде, которая должна быть коммутативной.
Преобразователь монады ListT
Параметризуемая монада списка с внутренней монадой.
Примечание: это не даст монаду, если аргумент монады не коммутативен.
Примеры
| MonadTrans ListT | |
| Monad m => Monad (ListT m) | |
| Functor m => Functor (ListT m) | |
| Applicative m => Applicative (ListT m) | |
| Foldable f => Foldable (ListT f) | |
| Traversable f => Traversable (ListT f) | |
| Applicative m => Alternative (ListT m) | |
| Monad m => MonadPlus (ListT m) | |
mapListT :: (m [a] -> n [b]) -> ListT m a -> ListT n b Источник
Преобразование вычислений между ListT.
Поднятие других операций
liftCallCC :: CallCC m [a] [b] -> CallCC (ListT m) a b Источник
Поднятие операции callCC в новую монаду.
liftCatch :: Catch e m [a] -> Catch e (ListT m) a Источник
Поднятие операции catchE в новую монаду.
© 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/transformers-0.4.2.0/Control-Monad-Trans-List.html
