PrelRules: Handle Int left shifts of more than word-size bits
[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 liftedTypeKind :: Kind
16 constraintKind :: Kind
17
18 runtimeRepTyCon, vecCountTyCon, vecElemTyCon :: TyCon
19 runtimeRepTy :: Type
20
21 liftedRepDataConTyCon, vecRepDataConTyCon, tupleRepDataConTyCon :: TyCon
22
23 liftedRepDataConTy, unliftedRepDataConTy, intRepDataConTy,
24   wordRepDataConTy, int64RepDataConTy, word64RepDataConTy, addrRepDataConTy,
25   floatRepDataConTy, doubleRepDataConTy :: Type
26
27 vec2DataConTy, vec4DataConTy, vec8DataConTy, vec16DataConTy, vec32DataConTy,
28   vec64DataConTy :: Type
29
30 int8ElemRepDataConTy, int16ElemRepDataConTy, int32ElemRepDataConTy,
31   int64ElemRepDataConTy, word8ElemRepDataConTy, word16ElemRepDataConTy,
32   word32ElemRepDataConTy, word64ElemRepDataConTy, floatElemRepDataConTy,
33   doubleElemRepDataConTy :: Type
34
35 anyTypeOfKind :: Kind -> Type
36 unboxedTupleKind :: [Type] -> Type
37 mkPromotedListTy :: Type -> [Type] -> Type