compiler/prelude/TysWiredIn.hs-boot


1
2
3
4
5
6
7
8
9
10
11
12
13

module TysWiredIn where

import TyCon
import {-# SOURCE #-} TyCoRep    (Type, Kind)


listTyCon :: TyCon
typeNatKind, typeSymbolKind :: Type
mkBoxedTupleTy :: [Type] -> Type

levityTy, unliftedDataConTy :: Type

liftedTypeKind :: Kind