ghc-7.4.2: The GHC API

Safe HaskellNone

TysPrim

Contents

Description

This module defines TyCons that can't be expressed in Haskell. They are all, therefore, wired-in TyCons. C.f module TysWiredIn

Synopsis

Documentation

tySuperKindTyCon :: TyConSource

See Type for details of the distinction between the Kind TyCons

tySuperKind :: SuperKindSource

anyKindTyCon :: TyConSource

See Type for details of the distinction between the Kind TyCons

liftedTypeKindTyCon :: TyConSource

See Type for details of the distinction between the Kind TyCons

openTypeKindTyCon :: TyConSource

See Type for details of the distinction between the Kind TyCons

unliftedTypeKindTyCon :: TyConSource

See Type for details of the distinction between the Kind TyCons

argTypeKindTyCon :: TyConSource

See Type for details of the distinction between the Kind TyCons

ubxTupleKindTyCon :: TyConSource

See Type for details of the distinction between the Kind TyCons

constraintKindTyCon :: TyConSource

See Type for details of the distinction between the Kind TyCons

anyKind :: KindSource

See Type for details of the distinction between these Kinds

liftedTypeKind :: KindSource

See Type for details of the distinction between these Kinds

unliftedTypeKind :: KindSource

See Type for details of the distinction between these Kinds

openTypeKind :: KindSource

See Type for details of the distinction between these Kinds

argTypeKind :: KindSource

See Type for details of the distinction between these Kinds

ubxTupleKind :: KindSource

See Type for details of the distinction between these Kinds

constraintKind :: KindSource

See Type for details of the distinction between these Kinds

mkArrowKind :: Kind -> Kind -> KindSource

Given two kinds k1 and k2, creates the Kind k1 -> k2

mkArrowKinds :: [Kind] -> Kind -> KindSource

Iterated application of mkArrowKind

Any