Safe Haskell	Safe-Infered

Top.Types.Kinds

Description

Kinds can be represented by a type.

Synopsis

Documentation

type Kind = Tp Source

type Kinds = [Kind]Source

type KindScheme = TpScheme Source

star :: Kind Source

Star is the kind of all values.

defaultToStar :: Kind -> Kind Source

In traditional kind inference systems, a kind cannot contain variables. At some point in the inference process the kind variables are defaulted to star.

showKind :: Kind -> String Source

A function to show kinds.

showKindScheme :: KindScheme -> String Source