Data.Kind (original) (raw)
| License | BSD-style (see the LICENSE file in the distribution) |
|---|---|
| Maintainer | libraries@haskell.org |
| Stability | experimental |
| Portability | not portable |
| Safe Haskell | Trustworthy |
| Language | Haskell2010 |
Data.Kind
Description
Basic kinds
Since: 4.9.0.0
Synopsis
- type Type = Type
- data Constraint
Documentation
The kind of types with values. For example Int :: Type.
data Constraint #
The kind of constraints, like Show a