1module GHC.Builtin.Types where 2 3import {-# SOURCE #-} GHC.Core.TyCon ( TyCon ) 4import {-# SOURCE #-} GHC.Core.TyCo.Rep (Type, Kind) 5 6import GHC.Types.Basic (Arity, TupleSort) 7import GHC.Types.Name (Name) 8 9listTyCon :: TyCon 10typeNatKind, typeSymbolKind :: Type 11mkBoxedTupleTy :: [Type] -> Type 12 13coercibleTyCon, heqTyCon :: TyCon 14 15unitTy :: Type 16 17liftedTypeKind :: Kind 18liftedTypeKindTyCon :: TyCon 19 20constraintKind :: Kind 21 22runtimeRepTyCon, vecCountTyCon, vecElemTyCon :: TyCon 23runtimeRepTy :: Type 24 25liftedRepDataConTyCon, vecRepDataConTyCon, tupleRepDataConTyCon :: TyCon 26 27liftedRepDataConTy, unliftedRepDataConTy, 28 intRepDataConTy, 29 int8RepDataConTy, int16RepDataConTy, int32RepDataConTy, int64RepDataConTy, 30 wordRepDataConTy, 31 word8RepDataConTy, word16RepDataConTy, word32RepDataConTy, word64RepDataConTy, 32 addrRepDataConTy, 33 floatRepDataConTy, doubleRepDataConTy :: Type 34 35vec2DataConTy, vec4DataConTy, vec8DataConTy, vec16DataConTy, vec32DataConTy, 36 vec64DataConTy :: Type 37 38int8ElemRepDataConTy, int16ElemRepDataConTy, int32ElemRepDataConTy, 39 int64ElemRepDataConTy, word8ElemRepDataConTy, word16ElemRepDataConTy, 40 word32ElemRepDataConTy, word64ElemRepDataConTy, floatElemRepDataConTy, 41 doubleElemRepDataConTy :: Type 42 43anyTypeOfKind :: Kind -> Type 44unboxedTupleKind :: [Type] -> Type 45mkPromotedListTy :: Type -> [Type] -> Type 46 47multiplicityTyCon :: TyCon 48multiplicityTy :: Type 49oneDataConTy :: Type 50oneDataConTyCon :: TyCon 51manyDataConTy :: Type 52manyDataConTyCon :: TyCon 53unrestrictedFunTyCon :: TyCon 54multMulTyCon :: TyCon 55 56tupleTyConName :: TupleSort -> Arity -> Name 57 58integerTy, naturalTy :: Type 59