Data.Kind

License BSD-style (see the LICENSE file in the distribution)
Maintainer [email protected]
Stability experimental
Portability not portable
Safe Haskell Trustworthy
Language Haskell2010

Description

Basic kinds

Since: base-4.9.0.0

type Type = Type Source

The kind of types with lifted values. For example Int :: Type.

data Constraint Source

The kind of constraints, like Show a

© The University of Glasgow and others
Licensed under a BSD-style license (see top of the page).
https://downloads.haskell.org/~ghc/8.10.2/docs/html/libraries/base-4.14.1.0/Data-Kind.html