Data.Kind
| Лицензия | BSD-стиль (см. файл LICENSE в дистрибутиве) |
|---|---|
| Поддержка | libraries@haskell.org |
| Стабильность | стабильная |
| Переносимость | не переносимая |
| Safe Haskell | Надёжная |
| Язык | Haskell2010 |
Описание
Основные виды
С версии: base-4.9.0.0
type Тип = TYPE LiftedRep Источник
Вид типов с поднятыми значениями. Например, Int :: Type.
type Ограничение = CONSTRAINT LiftedRep Источник
Вид поднятых ограничений
Встроенный тип функции, записанный в инфиксной форме как a % m -> b. Значения этого типа являются функциями, принимающими входные данные типа a и производящими выходные данные типа b. Множественность входных данных — m.
Обратите внимание, что FUN m a b допускает полиморфизм представления в a и b, так что типы, такие как Int# -> Int#, всё ещё могут иметь корректный вид.
Примеры
| Категория (->) Исходный код | С момента: 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 | |
| Моноид b => Моноид (a -> b) Исходный код | С момента: base-2.1 |
Определено в GHC.Internal.Base Методыmempty :: a -> b Исходный код mappend :: (a -> b) -> (a -> b) -> a -> b Исходный код mconcat :: [a -> b] -> a -> b Исходный код | |
| Полугруппа b => Полугруппа (a -> b) Исходный код | С момента: base-4.9.0.0 |
Определено в GHC.Internal.Base Методы(<>) :: (a -> b) -> (a -> b) -> a -> b Исходный код sconcat :: Непустой список (a -> b) -> a -> b Исходный код stimes :: Целочисленный b0 => b0 -> (a -> b) -> a -> b Исходный код | |
| Стрелка (->) Исходный код | С момента: base-2.1 |
Определено в GHC.Internal.Control.Arrow Методыarr :: (b -> c) -> b -> c Исходный код first :: (b -> c) -> (b, d) -> (c, d) Исходный код second :: (b -> c) -> (d, b) -> (d, c) Исходный код (***) :: (b -> c) -> (b' -> c') -> (b, b') -> (c, c') Исходный код (&&&) :: (b -> c) -> (b -> c') -> b -> (c, c') Исходный код | |
| ArrowApply (->) Исходный код | С момента: base-2.1 |
Определено в GHC.Internal.Control.Arrow Методыapp :: (b -> c, b) -> c Исходный код | |
| ArrowChoice (->) Исходный код | С момента: base-2.1 |
Определено в GHC.Internal.Control.Arrow Методыleft :: (b -> c) -> Either b d -> Either c d Исходный код right :: (b -> c) -> Either d b -> Either d c Исходный код (+++) :: (b -> c) -> (b' -> c') -> Either b b' -> Either c c' Исходный код (|||) :: (b -> d) -> (c -> d) -> Either b c -> d Исходный код | |
| ArrowLoop (->) Исходный код | С момента: base-2.1 |
Определено в GHC.Internal.Control.Arrow Методыloop :: ((b, d) -> (c, d)) -> b -> c Исходный код | |
| Show (a -> b) Исходный код | С момента: base-2.1 |
Определено в Text.Show.Functions МетодыshowsPrec :: Int -> (a -> b) -> ShowS Исходный код show :: (a -> b) -> String Исходный код showList :: [a -> b] -> ShowS Исходный код | |
| Applicative ((->) r) Исходный код | С момента: base-2.1 |
Определено в GHC.Internal.Base Методыpure :: a -> r -> a Исходный код (<*>) :: (r -> (a -> b)) -> (r -> a) -> r -> b Исходный код liftA2 :: (a -> b -> c) -> (r -> a) -> (r -> b) -> r -> c Исходный код (*>) :: (r -> a) -> (r -> b) -> r -> b Исходный код (<*) :: (r -> a) -> (r -> b) -> r -> a Исходный код | |
| Functor ((->) r) Исходный код | С момента: base-2.1 |
Определено в GHC.Internal.Base Методыfmap :: (a -> b) -> (r -> a) -> r -> b Исходный код (<$) :: a -> (r -> b) -> r -> a Исходный код | |
| Monad ((->) r) Исходный код | С момента: base-2.1 |
Определено в GHC.Internal.Base Методы(>>=) :: (r -> a) -> (a -> r -> b) -> r -> b Исходный код (>>) :: (r -> a) -> (r -> b) -> r -> b Исходный код return :: a -> r -> a Исходный код | |
| MonadFix ((->) r) Исходный код | С момента: base-2.1 |
Определено в GHC.Internal.Control.Monad.Fix Методыmfix :: (a -> r -> a) -> r -> a Исходный код | |
© The University of Glasgow and others
Licensed under a BSD-style license (see top of the page).
https://downloads.haskell.org/~ghc/9.12.1/docs/libraries/base-4.21.0.0-8e62/Data-Kind.html