Data.Proxy
| Лицензия | BSD-стиль (см. файл LICENSE в дистрибутиве) |
|---|---|
| Поддержка | libraries@haskell.org |
| Устойчивость | экспериментальная |
| Переносимость | переносимая |
| Безопасный Haskell | Надёжный |
| Язык | Haskell2010 |
Описание
Определение типа Proxy (поликинетического в GHC)
С момента: 4.7.0.0
data Proxy t Исходный код
Конкретный, поликинетический тип прокси
Конструкторы
| Proxy |
Примеры
| Monad (Proxy *) | |
| Functor (Proxy *) | |
| Applicative (Proxy *) | |
| Foldable (Proxy *) | |
| Traversable (Proxy *) | |
| Bounded (Proxy k s) | |
| Enum (Proxy k s) | |
| Eq (Proxy k s) | |
| Data t => Data (Proxy * t) | |
| Ord (Proxy k s) | |
| Read (Proxy k s) | |
| Show (Proxy k s) | |
| Ix (Proxy k s) | |
| Generic (Proxy * t) | |
| Monoid (Proxy k s) | |
| type Rep (Proxy k t) |
asProxyTypeOf :: a -> Proxy a -> a Исходный код
asProxyTypeOf — это вариант const, ограниченный типом. Обычно используется как инфиксный оператор, и его типизация заставляет его первый аргумент (который обычно перегружен) иметь тот же тип, что и метка второго.
data KProxy t Исходный код
Конкретный, повышаемый тип прокси, для использования на уровне типов. Примеры для него отсутствуют, так как он предназначен только для уровня типов
Конструкторы
| KProxy |
© 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-Proxy.html
