Data.Kind
| Лицензия | В стиле BSD (см. файл LICENSE в дистрибутиве) |
|---|---|
| Сопровождающий | libraries@haskell.org |
| Стабильность | стабильный |
| Переносимость | непереносимый |
| Безопасный Haskell | Trustworthy |
| Язык | Haskell2010 |
Описание
Базовые роды
Начиная с: base-4.9.0.0
type Type = TYPE LiftedRep Источник
Род типов с lifted-значениями. Например, Int :: Type.
type Constraint = CONSTRAINT LiftedRep Источник
Род lifted-ограничений
Встроенный тип функции, записываемый в инфиксной форме как a % m -> b. Значения этого типа — функции, принимающие входные значения типа a и возвращающие значения типа b. Кратность входного значения равна m.
Обратите внимание, что FUN m a b допускает полиморфизм представления как в a, так и в b, поэтому такие типы, как Int# -> Int#, всё ещё могут иметь корректный род.
Экземпляры
| Category (->) Источник | Начиная с: base-3.0 |
Определено в GHC.Internal.Control.Category | |
| (PrintfArg a, HPrintfType r) => HPrintfType (a -> r) Источник | Начиная с: base-2.1 |
Определено в Text.Printf | |
| (PrintfArg a, PrintfType r) => PrintfType (a -> r) Источник | Начиная с: base-2.1 |
Определено в Text.Printf | |
| Monoid b => Monoid (a -> b) Источник | Начиная с: base-2.1 |
| Semigroup b => Semigroup (a -> b) Источник | Начиная с: base-4.9.0.0 |
| Arrow (->) Источник | Начиная с: base-2.1 |
| ArrowApply (->) Источник | Начиная с: base-2.1 |
Определено в GHC.Internal.Control.Arrow | |
| ArrowChoice (->) Источник | Начиная с: base-2.1 |
| ArrowLoop (->) Источник | Начиная с: base-2.1 |
Определено в GHC.Internal.Control.Arrow | |
| Show (a -> b) Источник | Начиная с: base-2.1 |
| Applicative ((->) r) Источник | Начиная с: base-2.1 |
| Functor ((->) r) Источник | Начиная с: base-2.1 |
Определено в GHC.Internal.Base | |
| Monad ((->) r) Источник | Начиная с: base-2.1 |
| MonadFix ((->) r) Источник | Начиная с: base-2.1 |
Определено в GHC.Internal.Control.Monad.Fix | |
© The University of Glasgow and others
Licensed under a BSD-style license (see top of the page).
https://downloads.haskell.org/~ghc/9.14.1/docs/libraries/base-4.22.0.0-66f8/Data-Kind.html