Safe Haskell	None

TysPrim

Contents

Any

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

mkPrimTyConName :: FastString -> Unique -> TyCon -> Name Source

tyVarList :: Kind -> [TyVar]Source

alphaTyVars :: [TyVar]Source

betaTyVars :: [TyVar]Source

alphaTyVar :: TyVar Source

betaTyVar :: TyVar Source

gammaTyVar :: TyVar Source

deltaTyVar :: TyVar Source

alphaTy :: Type Source

betaTy :: Type Source

gammaTy :: Type Source

deltaTy :: Type Source

openAlphaTy :: Type Source

openBetaTy :: Type Source

openAlphaTyVar :: TyVar Source

openBetaTyVar :: TyVar Source

openAlphaTyVars :: [TyVar]Source

kKiVar :: KindVar Source

superKindTyCon :: TyCon Source

See Type for details of the distinction between the Kind TyCons

superKind :: Kind Source

See Type for details of the distinction between these Kinds

anyKindTyCon :: TyCon Source

See Type for details of the distinction between the Kind TyCons

liftedTypeKindTyCon :: TyCon Source

See Type for details of the distinction between the Kind TyCons

openTypeKindTyCon :: TyCon Source

See Type for details of the distinction between the Kind TyCons

unliftedTypeKindTyCon :: TyCon Source

See Type for details of the distinction between the Kind TyCons

constraintKindTyCon :: TyCon Source

See Type for details of the distinction between the Kind TyCons

superKindTyConName :: Name Source

anyKindTyConName :: Name Source

liftedTypeKindTyConName :: Name Source

openTypeKindTyConName :: Name Source

unliftedTypeKindTyConName :: Name Source

constraintKindTyConName :: Name Source

anyKind :: Kind Source

See Type for details of the distinction between these Kinds

liftedTypeKind :: Kind Source

See Type for details of the distinction between these Kinds

unliftedTypeKind :: Kind Source

See Type for details of the distinction between these Kinds

openTypeKind :: Kind Source

See Type for details of the distinction between these Kinds

constraintKind :: Kind Source

See Type for details of the distinction between these Kinds

mkArrowKind :: Kind -> Kind -> Kind Source

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

mkArrowKinds :: [Kind] -> Kind -> Kind Source

Iterated application of mkArrowKind

typeNatKind :: Kind Source

typeStringKind :: Kind Source

funTyCon :: TyCon Source

funTyConName :: Name Source

primTyCons :: [TyCon]Source

charPrimTyCon :: TyCon Source

charPrimTy :: Type Source

intPrimTyCon :: TyCon Source

intPrimTy :: Type Source

wordPrimTyCon :: TyCon Source

wordPrimTy :: Type Source

addrPrimTyCon :: TyCon Source

addrPrimTy :: Type Source

floatPrimTyCon :: TyCon Source

floatPrimTy :: Type Source

doublePrimTyCon :: TyCon Source

doublePrimTy :: Type Source

statePrimTyCon :: TyCon Source

mkStatePrimTy :: Type -> Type Source

realWorldTyCon :: TyCon Source

realWorldTy :: Type Source

realWorldStatePrimTy :: Type Source

arrayPrimTyCon :: TyCon Source

mkArrayPrimTy :: Type -> Type Source

byteArrayPrimTyCon :: TyCon Source

byteArrayPrimTy :: Type Source

arrayArrayPrimTyCon :: TyCon Source

mkArrayArrayPrimTy :: Type Source

mutableArrayPrimTyCon :: TyCon Source

mkMutableArrayPrimTy :: Type -> Type -> Type Source

mutableByteArrayPrimTyCon :: TyCon Source

mkMutableByteArrayPrimTy :: Type -> Type Source

mutableArrayArrayPrimTyCon :: TyCon Source

mkMutableArrayArrayPrimTy :: Type -> Type Source

mutVarPrimTyCon :: TyCon Source

mkMutVarPrimTy :: Type -> Type -> Type Source

mVarPrimTyCon :: TyCon Source

mkMVarPrimTy :: Type -> Type -> Type Source

tVarPrimTyCon :: TyCon Source

mkTVarPrimTy :: Type -> Type -> Type Source

stablePtrPrimTyCon :: TyCon Source

mkStablePtrPrimTy :: Type -> Type Source

stableNamePrimTyCon :: TyCon Source

mkStableNamePrimTy :: Type -> Type Source

bcoPrimTyCon :: TyCon Source

bcoPrimTy :: Type Source

weakPrimTyCon :: TyCon Source

mkWeakPrimTy :: Type -> Type Source

threadIdPrimTyCon :: TyCon Source

threadIdPrimTy :: Type Source

int32PrimTyCon :: TyCon Source

int32PrimTy :: Type Source

word32PrimTyCon :: TyCon Source

word32PrimTy :: Type Source

int64PrimTyCon :: TyCon Source

int64PrimTy :: Type Source

word64PrimTyCon :: TyCon Source

word64PrimTy :: Type Source

eqPrimTyCon :: TyCon Source

Any

anyTy :: Type Source

anyTyCon :: TyCon Source

anyTypeOfKind :: Kind -> Type Source