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