TysWiredIn

All wired in things

wiredInTyCons

isBuiltInOcc_maybe

Bool

boolTy

boolTyCon

boolTyCon_RDR

boolTyConName

trueDataCon

trueDataConId

true_RDR

falseDataCon

falseDataConId

false_RDR

promotedBoolTyCon

promotedFalseDataCon

promotedTrueDataCon

Ordering

ltDataCon

ltDataConId

eqDataCon

eqDataConId

gtDataCon

gtDataConId

promotedOrderingTyCon

promotedLTDataCon

promotedEQDataCon

promotedGTDataCon

Char

charTyCon

charDataCon

charTyCon_RDR

charTy

stringTy

charTyConName

Double

doubleTyCon

doubleDataCon

doubleTy

doubleTyConName

Float

floatTyCon

floatDataCon

floatTy

floatTyConName

Int

intTyCon

intDataCon

intTyCon_RDR

intDataCon_RDR

intTyConName

intTy

Word

wordTyCon

wordDataCon

wordTyConName

wordTy

List

listTyCon

nilDataCon

nilDataConName

consDataCon

consDataConName

listTyCon_RDR

consDataCon_RDR

listTyConName

mkListTy

mkPromotedListTy

Tuples

mkTupleTy

mkBoxedTupleTy

tupleTyCon

tupleCon

promotedTupleTyCon

promotedTupleDataCon

unitTyCon

unitDataCon

unitDataConId

pairTyCon

unboxedUnitTyCon

unboxedUnitDataCon

unboxedSingletonTyCon

unboxedSingletonDataCon

unboxedPairTyCon

unboxedPairDataCon

Unit

unitTy

Kinds

typeNatKindCon

typeNatKind

typeSymbolKindCon

typeSymbolKind

Parallel arrays

mkPArrTy

parrTyCon

parrFakeCon

isPArrTyCon

isPArrFakeCon

parrTyCon_RDR

parrTyConName

Equality predicates

eqTyCon_RDR

eqTyCon

eqTyConName

eqBoxDataCon

coercibleTyCon

coercibleDataCon

coercibleClass

mkWiredInTyConName