Fix header locations
[ghc.git] / compiler / prelude / TysWiredIn.hs-boot
1 module TysWiredIn where
2
3 import Var( TyVar, ArgFlag )
4 import {-# SOURCE #-} TyCon      ( TyCon )
5 import {-# SOURCE #-} TyCoRep    (Type, Kind)
6
7
8 mkFunKind :: Kind -> Kind -> Kind
9 mkForAllKind :: TyVar -> ArgFlag -> Kind -> Kind
10
11 listTyCon :: TyCon
12 typeNatKind, typeSymbolKind :: Type
13 mkBoxedTupleTy :: [Type] -> Type
14
15 coercibleTyCon, heqTyCon :: TyCon
16
17 liftedTypeKind :: Kind
18 constraintKind :: Kind
19
20 runtimeRepTyCon, vecCountTyCon, vecElemTyCon :: TyCon
21 runtimeRepTy :: Type
22
23 liftedRepDataConTyCon, vecRepDataConTyCon, tupleRepDataConTyCon :: TyCon
24
25 liftedRepDataConTy, unliftedRepDataConTy, intRepDataConTy,
26   wordRepDataConTy, int64RepDataConTy, word64RepDataConTy, addrRepDataConTy,
27   floatRepDataConTy, doubleRepDataConTy :: Type
28
29 vec2DataConTy, vec4DataConTy, vec8DataConTy, vec16DataConTy, vec32DataConTy,
30   vec64DataConTy :: Type
31
32 int8ElemRepDataConTy, int16ElemRepDataConTy, int32ElemRepDataConTy,
33   int64ElemRepDataConTy, word8ElemRepDataConTy, word16ElemRepDataConTy,
34   word32ElemRepDataConTy, word64ElemRepDataConTy, floatElemRepDataConTy,
35   doubleElemRepDataConTy :: Type
36
37 anyTypeOfKind :: Kind -> Type
38 unboxedTupleKind :: [Type] -> Type
39 mkPromotedListTy :: Type -> [Type] -> Type