TysPrim

ghc-7.8.2: The GHC API

Safe Haskell | None
Language | Haskell98

TysPrim

Contents

- Any
- SIMD

Description

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

Synopsis

- mkPrimTyConName :: FastString -> Unique -> TyCon -> Name
- tyVarList :: Kind -> [TyVar]
- alphaTyVars :: [TyVar]
- betaTyVars :: [TyVar]
- alphaTyVar :: TyVar
- betaTyVar :: TyVar
- gammaTyVar :: TyVar
- deltaTyVar :: TyVar
- alphaTy :: Type
- betaTy :: Type
- gammaTy :: Type
- deltaTy :: Type
- openAlphaTy :: Type
- openBetaTy :: Type
- openAlphaTyVar :: TyVar
- openBetaTyVar :: TyVar
- openAlphaTyVars :: [TyVar]
- kKiVar :: KindVar
- superKindTyCon :: TyCon
- superKind :: Kind
- anyKindTyCon :: TyCon
- liftedTypeKindTyCon :: TyCon
- openTypeKindTyCon :: TyCon
- unliftedTypeKindTyCon :: TyCon
- constraintKindTyCon :: TyCon
- superKindTyConName :: Name
- anyKindTyConName :: Name
- liftedTypeKindTyConName :: Name
- openTypeKindTyConName :: Name
- unliftedTypeKindTyConName :: Name
- constraintKindTyConName :: Name
- anyKind :: Kind
- liftedTypeKind :: Kind
- unliftedTypeKind :: Kind
- openTypeKind :: Kind
- constraintKind :: Kind
- mkArrowKind :: Kind -> Kind -> Kind
- mkArrowKinds :: [Kind] -> Kind -> Kind
- funTyCon :: TyCon
- funTyConName :: Name
- primTyCons :: [TyCon]
- charPrimTyCon :: TyCon
- charPrimTy :: Type
- intPrimTyCon :: TyCon
- intPrimTy :: Type
- wordPrimTyCon :: TyCon
- wordPrimTy :: Type
- addrPrimTyCon :: TyCon
- addrPrimTy :: Type
- floatPrimTyCon :: TyCon
- floatPrimTy :: Type
- doublePrimTyCon :: TyCon
- doublePrimTy :: Type
- voidPrimTyCon :: TyCon
- voidPrimTy :: Type
- statePrimTyCon :: TyCon
- mkStatePrimTy :: Type -> Type
- realWorldTyCon :: TyCon
- realWorldTy :: Type
- realWorldStatePrimTy :: Type
- proxyPrimTyCon :: TyCon
- mkProxyPrimTy :: Type -> Type -> Type
- arrayPrimTyCon :: TyCon
- mkArrayPrimTy :: Type -> Type
- byteArrayPrimTyCon :: TyCon
- byteArrayPrimTy :: Type
- arrayArrayPrimTyCon :: TyCon
- mkArrayArrayPrimTy :: Type
- mutableArrayPrimTyCon :: TyCon
- mkMutableArrayPrimTy :: Type -> Type -> Type
- mutableByteArrayPrimTyCon :: TyCon
- mkMutableByteArrayPrimTy :: Type -> Type
- mutableArrayArrayPrimTyCon :: TyCon
- mkMutableArrayArrayPrimTy :: Type -> Type
- mutVarPrimTyCon :: TyCon
- mkMutVarPrimTy :: Type -> Type -> Type
- mVarPrimTyCon :: TyCon
- mkMVarPrimTy :: Type -> Type -> Type
- tVarPrimTyCon :: TyCon
- mkTVarPrimTy :: Type -> Type -> Type
- stablePtrPrimTyCon :: TyCon
- mkStablePtrPrimTy :: Type -> Type
- stableNamePrimTyCon :: TyCon
- mkStableNamePrimTy :: Type -> Type
- bcoPrimTyCon :: TyCon
- bcoPrimTy :: Type
- weakPrimTyCon :: TyCon
- mkWeakPrimTy :: Type -> Type
- threadIdPrimTyCon :: TyCon
- threadIdPrimTy :: Type
- int32PrimTyCon :: TyCon
- int32PrimTy :: Type
- word32PrimTyCon :: TyCon
- word32PrimTy :: Type
- int64PrimTyCon :: TyCon
- int64PrimTy :: Type
- word64PrimTyCon :: TyCon
- word64PrimTy :: Type
- eqPrimTyCon :: TyCon
- eqReprPrimTyCon :: TyCon
- anyTy :: Type
- anyTyCon :: TyCon
- anyTypeOfKind :: Kind -> Type
- int8X16PrimTy :: Type
- int8X16PrimTyCon :: TyCon
- int16X8PrimTy :: Type
- int16X8PrimTyCon :: TyCon
- int32X4PrimTy :: Type
- int32X4PrimTyCon :: TyCon
- int64X2PrimTy :: Type
- int64X2PrimTyCon :: TyCon
- int8X32PrimTy :: Type
- int8X32PrimTyCon :: TyCon
- int16X16PrimTy :: Type
- int16X16PrimTyCon :: TyCon
- int32X8PrimTy :: Type
- int32X8PrimTyCon :: TyCon
- int64X4PrimTy :: Type
- int64X4PrimTyCon :: TyCon
- int8X64PrimTy :: Type
- int8X64PrimTyCon :: TyCon
- int16X32PrimTy :: Type
- int16X32PrimTyCon :: TyCon
- int32X16PrimTy :: Type
- int32X16PrimTyCon :: TyCon
- int64X8PrimTy :: Type
- int64X8PrimTyCon :: TyCon
- word8X16PrimTy :: Type
- word8X16PrimTyCon :: TyCon
- word16X8PrimTy :: Type
- word16X8PrimTyCon :: TyCon
- word32X4PrimTy :: Type
- word32X4PrimTyCon :: TyCon
- word64X2PrimTy :: Type
- word64X2PrimTyCon :: TyCon
- word8X32PrimTy :: Type
- word8X32PrimTyCon :: TyCon
- word16X16PrimTy :: Type
- word16X16PrimTyCon :: TyCon
- word32X8PrimTy :: Type
- word32X8PrimTyCon :: TyCon
- word64X4PrimTy :: Type
- word64X4PrimTyCon :: TyCon
- word8X64PrimTy :: Type
- word8X64PrimTyCon :: TyCon
- word16X32PrimTy :: Type
- word16X32PrimTyCon :: TyCon
- word32X16PrimTy :: Type
- word32X16PrimTyCon :: TyCon
- word64X8PrimTy :: Type
- word64X8PrimTyCon :: TyCon
- floatX4PrimTy :: Type
- floatX4PrimTyCon :: TyCon
- doubleX2PrimTy :: Type
- doubleX2PrimTyCon :: TyCon
- floatX8PrimTy :: Type
- floatX8PrimTyCon :: TyCon
- doubleX4PrimTy :: Type
- doubleX4PrimTyCon :: TyCon
- floatX16PrimTy :: Type
- floatX16PrimTyCon :: TyCon
- doubleX8PrimTy :: Type
- doubleX8PrimTyCon :: TyCon

# 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#kind_subtyping" for details of the distinction between the `Kind` `TyCon`s

superKind :: Kind Source

See "Type#kind_subtyping" for details of the distinction between these `Kind`s

anyKindTyCon :: TyCon Source

See "Type#kind_subtyping" for details of the distinction between the `Kind` `TyCon`s

liftedTypeKindTyCon :: TyCon Source

See "Type#kind_subtyping" for details of the distinction between the `Kind` `TyCon`s

openTypeKindTyCon :: TyCon Source

See "Type#kind_subtyping" for details of the distinction between the `Kind` `TyCon`s

unliftedTypeKindTyCon :: TyCon Source

See "Type#kind_subtyping" for details of the distinction between the `Kind` `TyCon`s

constraintKindTyCon :: TyCon Source

See "Type#kind_subtyping" for details of the distinction between the `Kind` `TyCon`s

superKindTyConName :: Name Source

anyKindTyConName :: Name Source

liftedTypeKindTyConName :: Name Source

openTypeKindTyConName :: Name Source

unliftedTypeKindTyConName :: Name Source

constraintKindTyConName :: Name Source

anyKind :: Kind Source

See "Type#kind_subtyping" for details of the distinction between these `Kind`s

liftedTypeKind :: Kind Source

See "Type#kind_subtyping" for details of the distinction between these `Kind`s

unliftedTypeKind :: Kind Source

See "Type#kind_subtyping" for details of the distinction between these `Kind`s

openTypeKind :: Kind Source

See "Type#kind_subtyping" for details of the distinction between these `Kind`s

constraintKind :: Kind Source

See "Type#kind_subtyping" for details of the distinction between these `Kind`s

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`

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

voidPrimTyCon :: TyCon Source

voidPrimTy :: Type Source

statePrimTyCon :: TyCon Source

mkStatePrimTy :: Type -> Type Source

realWorldTyCon :: TyCon Source

realWorldTy :: Type Source

realWorldStatePrimTy :: Type Source

proxyPrimTyCon :: TyCon Source

mkProxyPrimTy :: Type -> Type -> 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

eqReprPrimTyCon :: TyCon Source

# Any

anyTy :: Type Source

anyTyCon :: TyCon Source

anyTypeOfKind :: Kind -> Type Source

# SIMD

int8X16PrimTy :: Type Source

int8X16PrimTyCon :: TyCon Source

int16X8PrimTy :: Type Source

int16X8PrimTyCon :: TyCon Source

int32X4PrimTy :: Type Source

int32X4PrimTyCon :: TyCon Source

int64X2PrimTy :: Type Source

int64X2PrimTyCon :: TyCon Source

int8X32PrimTy :: Type Source

int8X32PrimTyCon :: TyCon Source

int16X16PrimTy :: Type Source

int16X16PrimTyCon :: TyCon Source

int32X8PrimTy :: Type Source

int32X8PrimTyCon :: TyCon Source

int64X4PrimTy :: Type Source

int64X4PrimTyCon :: TyCon Source

int8X64PrimTy :: Type Source

int8X64PrimTyCon :: TyCon Source

int16X32PrimTy :: Type Source

int16X32PrimTyCon :: TyCon Source

int32X16PrimTy :: Type Source

int32X16PrimTyCon :: TyCon Source

int64X8PrimTy :: Type Source

int64X8PrimTyCon :: TyCon Source

word8X16PrimTy :: Type Source

word8X16PrimTyCon :: TyCon Source

word16X8PrimTy :: Type Source

word16X8PrimTyCon :: TyCon Source

word32X4PrimTy :: Type Source

word32X4PrimTyCon :: TyCon Source

word64X2PrimTy :: Type Source

word64X2PrimTyCon :: TyCon Source

word8X32PrimTy :: Type Source

word8X32PrimTyCon :: TyCon Source

word16X16PrimTy :: Type Source

word16X16PrimTyCon :: TyCon Source

word32X8PrimTy :: Type Source

word32X8PrimTyCon :: TyCon Source

word64X4PrimTy :: Type Source

word64X4PrimTyCon :: TyCon Source

word8X64PrimTy :: Type Source

word8X64PrimTyCon :: TyCon Source

word16X32PrimTy :: Type Source

word16X32PrimTyCon :: TyCon Source

word32X16PrimTy :: Type Source

word32X16PrimTyCon :: TyCon Source

word64X8PrimTy :: Type Source

word64X8PrimTyCon :: TyCon Source

floatX4PrimTy :: Type Source

floatX4PrimTyCon :: TyCon Source

doubleX2PrimTy :: Type Source

doubleX2PrimTyCon :: TyCon Source

floatX8PrimTy :: Type Source

floatX8PrimTyCon :: TyCon Source

doubleX4PrimTy :: Type Source

doubleX4PrimTyCon :: TyCon Source

floatX16PrimTy :: Type Source

floatX16PrimTyCon :: TyCon Source

doubleX8PrimTy :: Type Source

doubleX8PrimTyCon :: TyCon Source