Data.Kind

base-4.14.3.0: Basic libraries

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: base-4.9.0.0

Synopsis

- type Type = Type
- data Constraint

# Documentation

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`