diff options
Diffstat (limited to 'compiler/GHC/Builtin/Types.hs-boot')
| -rw-r--r-- | compiler/GHC/Builtin/Types.hs-boot | 18 |
1 files changed, 14 insertions, 4 deletions
diff --git a/compiler/GHC/Builtin/Types.hs-boot b/compiler/GHC/Builtin/Types.hs-boot index c19137e148..1c341de418 100644 --- a/compiler/GHC/Builtin/Types.hs-boot +++ b/compiler/GHC/Builtin/Types.hs-boot @@ -17,17 +17,27 @@ coercibleTyCon, heqTyCon :: TyCon unitTy :: Type liftedTypeKind :: Kind +unliftedTypeKind :: Kind + liftedTypeKindTyCon :: TyCon +unliftedTypeKindTyCon :: TyCon + +liftedRepTyCon :: TyCon +unliftedRepTyCon :: TyCon constraintKind :: Kind -runtimeRepTyCon, vecCountTyCon, vecElemTyCon :: TyCon +runtimeRepTyCon, levityTyCon, vecCountTyCon, vecElemTyCon :: TyCon runtimeRepTy :: Type -liftedRepDataConTyCon, vecRepDataConTyCon, tupleRepDataConTyCon :: TyCon +boxedRepDataConTyCon :: TyCon +liftedDataConTyCon :: TyCon +vecRepDataConTyCon, tupleRepDataConTyCon :: TyCon + +liftedRepTy, unliftedRepTy :: Type +liftedDataConTy, unliftedDataConTy :: Type -liftedRepDataConTy, unliftedRepDataConTy, - intRepDataConTy, +intRepDataConTy, int8RepDataConTy, int16RepDataConTy, int32RepDataConTy, int64RepDataConTy, wordRepDataConTy, word8RepDataConTy, word16RepDataConTy, word32RepDataConTy, word64RepDataConTy, |