Control.Monad.Trans.Identity
| Авторские права | (c) 2007 Magnus Therning |
|---|---|
| Лицензия | BSD-style (см. файл LICENSE) |
| Поддержка | ross@soi.city.ac.uk |
| Устойчивость | экспериментальная |
| Переносимость | переносимая |
| Safe Haskell | Safe |
| Язык | Haskell98 |
Описание
Трансформатор монады тождества.
Полезен для функций, параметризованных трансформатором монады.
Трансформатор монады тождества
newtype IdentityT f a Исходный код
Тривиальный трансформатор монады, который отображает монаду в эквивалентную монаду.
Конструкторы
| IdentityT | |
Поля
| |
Примеры
| MonadTrans IdentityT | |
| Monad m => Monad (IdentityT m) | |
| Functor m => Functor (IdentityT m) | |
| MonadFix m => MonadFix (IdentityT m) | |
| Applicative m => Applicative (IdentityT m) | |
| Foldable f => Foldable (IdentityT f) | |
| Traversable f => Traversable (IdentityT f) | |
| Alternative m => Alternative (IdentityT m) | |
| MonadPlus m => MonadPlus (IdentityT m) | |
| MonadIO m => MonadIO (IdentityT m) | |
| Show1 f => Show1 (IdentityT f) | |
| Read1 f => Read1 (IdentityT f) | |
| Ord1 f => Ord1 (IdentityT f) | |
| Eq1 f => Eq1 (IdentityT f) | |
| (Eq1 f, Eq a) => Eq (IdentityT f a) | |
| (Ord1 f, Ord a) => Ord (IdentityT f a) | |
| (Read1 f, Read a) => Read (IdentityT f a) | |
| (Show1 f, Show a) => Show (IdentityT f a) |
mapIdentityT :: (m a -> n b) -> IdentityT m a -> IdentityT n b Источник
Поднятие унарной операции в новый монаду.
Поднятие других операций
liftCatch :: Catch e m a -> Catch e (IdentityT m) a Source
Поднять операцию catchE в новый монаду.
liftCallCC :: CallCC m a b -> CallCC (IdentityT m) a b Source
Поднять операцию callCC в новый монаду.
© 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-Identity.html
