e2431b82dc22d4fd31c6652d13ef79d0fd9d0de0
[ghc.git] / compiler / iface / ToIface.hs-boot
1 module ToIface where
2
3 import {-# SOURCE #-} TyCoRep
4 import {-# SOURCE #-} IfaceType( IfaceType, IfaceTyCon, IfaceForAllBndr
5                                , IfaceCoercion, IfaceTyLit, IfaceTcArgs )
6 import Var ( TyVarBinder )
7 import TyCon ( TyCon )
8 import VarSet( VarSet )
9
10 -- For TyCoRep
11 toIfaceTypeX :: VarSet -> Type -> IfaceType
12 toIfaceTyLit :: TyLit -> IfaceTyLit
13 toIfaceForAllBndr :: TyVarBinder -> IfaceForAllBndr
14 toIfaceTyCon :: TyCon -> IfaceTyCon
15 toIfaceTcArgs :: TyCon -> [Type] -> IfaceTcArgs
16 toIfaceCoercion :: Coercion -> IfaceCoercion