Data.Functor.Identity
| Copyright | (c) Andy Gill 2001, (c) Oregon Graduate Institute of Science and Technology 2001 |
|---|---|
| License | BSD-style (see the file LICENSE) |
| Maintainer | ross@soi.city.ac.uk |
| Stability | experimental |
| Portability | portable |
| Safe Haskell | Trustworthy |
| Language | Haskell2010 |
Описание
Функтор и монада тождества.
Этот тривиальный конструктор типа служит двум целям:
- Его можно использовать с функциями, параметризованными классами функторов или монад.
- Его можно использовать в качестве базовой монады, к которой можно применить серию трансформаторов монады для построения составной монады. Большинство модулей трансформаторов монады включают специальный случай применения трансформатора к
Identity. Например,State s— это сокращение дляStateT s Identity.
С версии: 4.8.0.0
Функтор и монада тождества. (Нестрогая монада)
С версии: 4.8.0.0
Конструкторы
| Identity | |
Поля
| |
Примеры использования
| Monad Identity | |
| Functor Identity | |
| MonadFix Identity | |
| Applicative Identity | |
| Foldable Identity | |
| Traversable Identity | |
| Generic1 Identity | |
| MonadZip Identity | |
| Eq a => Eq (Identity a) | |
| Data a => Data (Identity a) | |
| Ord a => Ord (Identity a) | |
| Read a => Read (Identity a) | Этот пример эквивалентен производным примерам для |
| Show a => Show (Identity a) | Этот пример эквивалентен производным примерам для |
| Generic (Identity a) | |
| type Rep1 Identity | |
| type Rep (Identity a) |
© 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/Data-Functor-Identity.html
