Spec-Zone.ru › Haskell 9

Data.Kind

Лицензия BSD-стиль (см. файл LICENSE в дистрибутиве)
Поддержка libraries@haskell.org
Стабильность стабильная
Переносимость не переносимая
Safe Haskell Надёжная
Язык Haskell2010

Описание

Основные виды

С версии: base-4.9.0.0

type Тип = TYPE LiftedRep Источник

Вид типов с поднятыми значениями. Например, Int :: Type.

type Ограничение = CONSTRAINT LiftedRep Источник

Вид поднятых ограничений

data FUN Источник

Встроенный тип функции, записанный в инфиксной форме как a % m -> b. Значения этого типа являются функциями, принимающими входные данные типа a и производящими выходные данные типа b. Множественность входных данных — m.

Обратите внимание, что FUN m a b допускает полиморфизм представления в a и b, так что типы, такие как Int# -> Int#, всё ещё могут иметь корректный вид.

Примеры
Подробности примеров
Категория (->) Исходный код

С момента: base-3.0

Подробности экземпляра

Определено в GHC.Internal.Control.Category

Методы

id :: a -> a Исходный код

(.) :: (b -> c) -> (a -> b) -> a -> c Исходный код

(PrintfArg a, HPrintfType r) => HPrintfType (a -> r) Исходный код

С момента: base-2.1

Подробности экземпляра

Определено в Text.Printf

Методы

hspr :: Поток -> Строка -> [UPrintf] -> a -> r

(PrintfArg a, PrintfType r) => PrintfType (a -> r) Исходный код

С момента: base-2.1

Подробности экземпляра

Определено в Text.Printf

Методы

spr :: Строка -> [UPrintf] -> a -> r

Моноид 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

Spec-Zone.ru

Настройки Оффлайн Что нового Помощь О нас
Spec-Zone .ru
спецификации, руководства, описания, API