Type

Main data types representing Types

data TyThing
data Type
data PredType
type ThetaType

Constructing and deconstructing types

Common type constructors

Predicates on types

Main data types representing Kinds

type Kind
type SimpleKind
type KindVar

Deconstructing Kinds

Common Kinds and SuperKinds

Common Kind type constructors

Predicates on Kinds

Type free variables

Tidying type related things up for printing

Type comparison

Forcing evaluation of types

Other views onto Types

Type representation for the code generator

data PrimRep

Main type substitution data types

type TvSubstEnv
data TvSubst

Manipulating type substitutions

Performing substitution on types

Pretty-printing