On this page
Data.Kind
License | BSD-style (see the LICENSE file in the distribution) |
---|---|
Maintainer | libraries@haskell.org |
Stability | stable |
Portability | not portable |
Safe Haskell | Trustworthy |
Language | Haskell2010 |
Description
Basic kinds
Since: base-4.9.0.0
type Type = TYPE LiftedRep Source
The kind of types with lifted values. For example Int :: Type
.
data Constraint Source
The kind of constraints, like Show a
The builtin function type, written in infix form as a # m -> b
. Values of this type are functions taking inputs of type a
and producing outputs of type b
. The multiplicity of the input is m
.
Note that FUN m a b
permits representation polymorphism in both a
and b
, so that types like Int# -> Int#
can still be well-kinded.
Instances
Category (->) Source | Since: base-3.0 |
Defined in Control.Category |
|
Arrow (->) Source | Since: base-2.1 |
ArrowApply (->) Source | Since: base-2.1 |
Defined in Control.Arrow |
|
ArrowChoice (->) Source | Since: base-2.1 |
ArrowLoop (->) Source | Since: base-2.1 |
Defined in Control.Arrow |
|
Monoid b => Monoid (a -> b) Source | Since: base-2.1 |
Semigroup b => Semigroup (a -> b) Source | Since: base-4.9.0.0 |
Show (a -> b) Source | Since: base-2.1 |
(PrintfArg a, HPrintfType r) => HPrintfType (a -> r) Source | Since: base-2.1 |
Defined in Text.Printf |
|
(PrintfArg a, PrintfType r) => PrintfType (a -> r) Source | Since: base-2.1 |
Defined in Text.Printf |
|
MonadFix ((->) r) Source | Since: base-2.1 |
Defined in Control.Monad.Fix |
|
Applicative ((->) r) Source | Since: base-2.1 |
Functor ((->) r) Source | Since: base-2.1 |
Monad ((->) r) Source | Since: base-2.1 |
© The University of Glasgow and others
Licensed under a BSD-style license (see top of the page).
https://downloads.haskell.org/~ghc/9.4.2/docs/libraries/base-4.17.0.0/Data-Kind.html