Spec-Zone.ru › Haskell 9

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-ограничений

data FUN Источник

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

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

Экземпляры
Подробности экземпляров
Category (->) Источник

Начиная с: 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 :: Handle -> String -> [UPrintf] -> a -> r

(PrintfArg a, PrintfType r) => PrintfType (a -> r) Источник

Начиная с: base-2.1

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

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

Методы

spr :: String -> [UPrintf] -> a -> r

Monoid b => Monoid (a -> b) Источник

Начиная с: base-2.1

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

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

Методы

mempty :: a -> b Источник

mappend :: (a -> b) -> (a -> b) -> a -> b Источник

mconcat :: [a -> b] -> a -> b Источник

Semigroup b => Semigroup (a -> b) Источник

Начиная с: base-4.9.0.0

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

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

Методы

(<>) :: (a -> b) -> (a -> b) -> a -> b Источник

sconcat :: NonEmpty (a -> b) -> a -> b Источник

stimes :: Integral b0 => b0 -> (a -> b) -> a -> b Источник

Arrow (->) Источник

Начиная с: 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.14.1/docs/libraries/base-4.22.0.0-66f8/Data-Kind.html

Spec-Zone.ru

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