GHC.Builtin.Types

This module is about types that can be defined in Haskell, but which must be wired into the compiler nonetheless. C.f module GHC.Builtin.Types.Prim

Helper functions defined here

mkWiredInTyConName :: BuiltInSyntax -> Module -> FastString -> Unique -> TyCon -> Name Source #

mkWiredInIdName :: Module -> FastString -> Unique -> Id -> Name Source #

All wired in things

wiredInTyCons :: [TyCon] Source #

isBuiltInOcc_maybe :: OccName -> Maybe Name Source #

Built-in syntax isn't "in scope" so these OccNames map to wired-in Names with BuiltInSyntax. However, this should only be necessary while resolving names produced by Template Haskell splices since we take care to encode built-in syntax names specially in interface files. See Note [Symbol table representation of names].

Moreover, there is no need to include names of things that the user can't write (e.g. type representation bindings like $tc(,,,)).

Bool

boolTy :: Type Source #

boolTyCon :: TyCon Source #

boolTyCon_RDR :: RdrName Source #

boolTyConName :: Name Source #

trueDataCon :: DataCon Source #

trueDataConId :: Id Source #

true_RDR :: RdrName Source #

falseDataCon :: DataCon Source #

falseDataConId :: Id Source #

false_RDR :: RdrName Source #

promotedFalseDataCon :: TyCon Source #

promotedTrueDataCon :: TyCon Source #

Ordering

orderingTyCon :: TyCon Source #

ordLTDataCon :: DataCon Source #

ordLTDataConId :: Id Source #

ordEQDataCon :: DataCon Source #

ordEQDataConId :: Id Source #

ordGTDataCon :: DataCon Source #

ordGTDataConId :: Id Source #

promotedLTDataCon :: TyCon Source #

promotedEQDataCon :: TyCon Source #

promotedGTDataCon :: TyCon Source #

Boxing primitive types

boxingDataCon_maybe :: TyCon -> Maybe DataCon Source #

Char

charTyCon :: TyCon Source #

charDataCon :: DataCon Source #

charTyCon_RDR :: RdrName Source #

charTy :: Type Source #

stringTy :: Type Source #

charTyConName :: Name Source #

stringTyCon_RDR :: RdrName Source #

Double

doubleTyCon :: TyCon Source #

doubleDataCon :: DataCon Source #

doubleTy :: Type Source #

doubleTyConName :: Name Source #

Float

floatTyCon :: TyCon Source #

floatDataCon :: DataCon Source #

floatTy :: Type Source #

floatTyConName :: Name Source #

Int

intTyCon :: TyCon Source #

intDataCon :: DataCon Source #

intTyCon_RDR :: RdrName Source #

intDataCon_RDR :: RdrName Source #

intTyConName :: Name Source #

intTy :: Type Source #

Word

wordTyCon :: TyCon Source #

wordDataCon :: DataCon Source #

wordTyConName :: Name Source #

wordTy :: Type Source #

Word8

word8TyCon :: TyCon Source #

word8DataCon :: DataCon Source #

word8Ty :: Type Source #

List

listTyCon :: TyCon Source #

listTyCon_RDR :: RdrName Source #

listTyConName :: Name Source #

listTyConKey :: Unique Source #

nilDataCon :: DataCon Source #

nilDataConName :: Name Source #

nilDataConKey :: Unique Source #

consDataCon_RDR :: RdrName Source #

consDataCon :: DataCon Source #

consDataConName :: Name Source #

promotedNilDataCon :: TyCon Source #

promotedConsDataCon :: TyCon Source #

mkListTy :: Type -> Type Source #

mkPromotedListTy Source #

Arguments

:: Kind

of the elements of the list

-> [Type]

elements

-> Type 

Make a *promoted* list.

NonEmpty

nonEmptyTyCon :: TyCon Source #

nonEmptyTyConName :: Name Source #

nonEmptyDataCon :: DataCon Source #

nonEmptyDataConName :: Name Source #

Maybe

maybeTyCon :: TyCon Source #

maybeTyConName :: Name Source #

nothingDataCon :: DataCon Source #

nothingDataConName :: Name Source #

promotedNothingDataCon :: TyCon Source #

justDataCon :: DataCon Source #

justDataConName :: Name Source #

promotedJustDataCon :: TyCon Source #

mkPromotedMaybeTy :: Kind -> Maybe Type -> Type Source #

mkMaybeTy :: Type -> Kind Source #

isPromotedMaybeTy :: Type -> Maybe (Maybe Type) Source #

Tuples

mkTupleTy :: Boxity -> [Type] -> Type Source #

Make a tuple type. The list of types should not include any RuntimeRep specifications. Boxed 1-tuples are flattened. See Note [One-tuples]

mkTupleTy1 :: Boxity -> [Type] -> Type Source #

Make a tuple type. The list of types should not include any RuntimeRep specifications. Boxed 1-tuples are *not* flattened. See Note [One-tuples] and Note [Don't flatten tuples from HsSyn] in GHC.Core.Make

mkBoxedTupleTy :: [Type] -> Type Source #

Build the type of a small tuple that holds the specified type of thing Flattens 1-tuples. See Note [One-tuples].

mkTupleStr :: Boxity -> Arity -> String Source #

tupleTyCon :: Boxity -> Arity -> TyCon Source #

tupleDataCon :: Boxity -> Arity -> DataCon Source #

tupleTyConName :: TupleSort -> Arity -> Name Source #

tupleDataConName :: Boxity -> Arity -> Name Source #

promotedTupleDataCon :: Boxity -> Arity -> TyCon Source #

unitTyCon :: TyCon Source #

unitDataCon :: DataCon Source #

unitDataConId :: Id Source #

unitTy :: Type Source #

unitTyConKey :: Unique Source #

soloTyCon :: TyCon Source #

pairTyCon :: TyCon Source #

mkPromotedPairTy :: Kind -> Kind -> Type -> Type -> Type Source #

isPromotedPairType :: Type -> Maybe (Type, Type) Source #

unboxedUnitTy :: Type Source #

unboxedUnitTyCon :: TyCon Source #

unboxedUnitDataCon :: DataCon Source #

unboxedTupleKind :: [Type] -> Kind Source #

Specialization of unboxedTupleSumKind for tuples

unboxedSumKind :: [Type] -> Kind Source #

Specialization of unboxedTupleSumKind for sums

filterCTuple :: RdrName -> RdrName Source #

Replaces constraint tuple names with corresponding boxed ones.

Constraint tuples

cTupleTyCon :: Arity -> TyCon Source #

cTupleTyConName :: Arity -> Name Source #

cTupleTyConNames :: [Name] Source #

isCTupleTyConName :: Name -> Bool Source #

cTupleTyConNameArity_maybe :: Name -> Maybe Arity Source #

If the given name is that of a constraint tuple, return its arity.

cTupleDataCon :: Arity -> DataCon Source #

cTupleDataConName :: Arity -> Name Source #

cTupleDataConNames :: [Name] Source #

cTupleSelId :: ConTag -> Arity -> Id Source #

cTupleSelIdName :: ConTag -> Arity -> Name Source #

Any

anyTyCon :: TyCon Source #

anyTy :: Type Source #

anyTypeOfKind :: Kind -> Type Source #

Recovery TyCon

makeRecoveryTyCon :: TyCon -> TyCon Source #

Make a fake, recovery TyCon from an existing one. Used when recovering from errors in type declarations

Sums

mkSumTy :: [Type] -> Type Source #

sumTyCon :: Arity -> TyCon Source #

Type constructor for n-ary unboxed sum.

sumDataCon :: ConTag -> Arity -> DataCon Source #

Data constructor for i-th alternative of a n-ary unboxed sum.

Kinds

typeSymbolKindCon :: TyCon Source #

typeSymbolKind :: Kind Source #

isLiftedTypeKindTyConName :: Name -> Bool Source #

typeToTypeKind :: Kind Source #

liftedRepTyCon :: TyCon Source #

type LiftedRep = 'BoxedRep 'Lifted

unliftedRepTyCon :: TyCon Source #

type UnliftedRep = 'BoxedRep 'Unlifted

constraintKind :: Kind Source #

liftedTypeKind :: Type Source #

unliftedTypeKind :: Type Source #

zeroBitTypeKind :: Type Source #

constraintKindTyCon :: TyCon Source #

liftedTypeKindTyCon :: TyCon Source #

unliftedTypeKindTyCon :: TyCon Source #

type UnliftedType = TYPE ('BoxedRep 'Unlifted)

constraintKindTyConName :: Name Source #

liftedTypeKindTyConName :: Name Source #

unliftedTypeKindTyConName :: Name Source #

liftedRepTyConName :: Name Source #

unliftedRepTyConName :: Name Source #

Equality predicates

heqTyCon :: TyCon Source #

heqTyConName :: Name Source #

heqClass :: Class Source #

heqDataCon :: DataCon Source #

eqTyCon :: TyCon Source #

eqTyConName :: Name Source #

eqClass :: Class Source #

eqDataCon :: DataCon Source #

eqTyCon_RDR :: RdrName Source #

coercibleTyCon :: TyCon Source #

coercibleTyConName :: Name Source #

coercibleDataCon :: DataCon Source #

coercibleClass :: Class Source #

RuntimeRep and friends

runtimeRepTyCon :: TyCon Source #

levityTyCon :: TyCon Source #

vecCountTyCon :: TyCon Source #

vecElemTyCon :: TyCon Source #

boxedRepDataConTyCon :: TyCon Source #

runtimeRepTy :: Type Source #

levityTy :: Type Source #

liftedRepTy :: Type Source #

unliftedRepTy :: Type Source #

zeroBitRepTy :: Type Source #

vecRepDataConTyCon :: TyCon Source #

tupleRepDataConTyCon :: TyCon Source #

sumRepDataConTyCon :: TyCon Source #

liftedDataConTyCon :: TyCon Source #

unliftedDataConTyCon :: TyCon Source #

liftedDataConTy :: Type Source #

unliftedDataConTy :: Type Source #

intRepDataConTy :: Type Source #

int8RepDataConTy :: Type Source #

int16RepDataConTy :: Type Source #

int32RepDataConTy :: Type Source #

int64RepDataConTy :: Type Source #

wordRepDataConTy :: Type Source #

word8RepDataConTy :: Type Source #

word16RepDataConTy :: Type Source #

word32RepDataConTy :: Type Source #

word64RepDataConTy :: Type Source #

addrRepDataConTy :: Type Source #

floatRepDataConTy :: Type Source #

doubleRepDataConTy :: Type Source #

vec2DataConTy :: Type Source #

vec4DataConTy :: Type Source #

vec8DataConTy :: Type Source #

vec16DataConTy :: Type Source #

vec32DataConTy :: Type Source #

vec64DataConTy :: Type Source #

int8ElemRepDataConTy :: Type Source #

int16ElemRepDataConTy :: Type Source #

int32ElemRepDataConTy :: Type Source #

int64ElemRepDataConTy :: Type Source #

word8ElemRepDataConTy :: Type Source #

word16ElemRepDataConTy :: Type Source #

word32ElemRepDataConTy :: Type Source #

word64ElemRepDataConTy :: Type Source #

floatElemRepDataConTy :: Type Source #

doubleElemRepDataConTy :: Type Source #

Multiplicity and friends

multiplicityTyConName :: Name Source #

oneDataConName :: Name Source #

manyDataConName :: Name Source #

multiplicityTy :: Type Source #

multiplicityTyCon :: TyCon Source #

oneDataCon :: DataCon Source #

manyDataCon :: DataCon Source #

oneDataConTy :: Type Source #

manyDataConTy :: Type Source #

oneDataConTyCon :: TyCon Source #

manyDataConTyCon :: TyCon Source #

multMulTyCon :: TyCon Source #

unrestrictedFunTyCon :: TyCon Source #

unrestrictedFunTyConName :: Name Source #

Bignum

integerTy :: Type Source #

integerTyCon :: TyCon Source #

integerTyConName :: Name Source #

integerISDataCon :: DataCon Source #

integerISDataConName :: Name Source #

integerIPDataCon :: DataCon Source #

integerIPDataConName :: Name Source #

integerINDataCon :: DataCon Source #

integerINDataConName :: Name Source #

naturalTy :: Type Source #

naturalTyCon :: TyCon Source #

naturalTyConName :: Name Source #

naturalNSDataCon :: DataCon Source #

naturalNSDataConName :: Name Source #

naturalNBDataCon :: DataCon Source #

naturalNBDataConName :: Name Source #