Add typed holes support in Template Haskell.
[ghc.git] / compiler / prelude / TysWiredIn.hs-boot
1 module TysWiredIn where
2
3 import {-# SOURCE #-} TyCon      (TyCon)
4 import {-# SOURCE #-} TypeRep    (Type)
5
6
7 eqTyCon, coercibleTyCon :: TyCon
8 typeNatKind, typeSymbolKind :: Type
9 mkBoxedTupleTy :: [Type] -> Type