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
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