3 import IfaceSyn ( IfaceDecl, IfaceInst, IfaceFamInst, IfaceRule )
4 import TypeRep ( TyThing )
5 import TcRnTypes ( IfL )
6 import InstEnv ( Instance )
7 import FamInstEnv ( FamInst )
8 import CoreSyn ( CoreRule )
9 import HscTypes ( TypeEnv, VectInfo, IfaceVectInfo )
10 import Module ( Module )
12 tcIfaceDecl :: Bool -> IfaceDecl -> IfL TyThing
13 tcIfaceRules :: Bool -> [IfaceRule] -> IfL [CoreRule]
14 tcIfaceVectInfo:: Module -> TypeEnv -> IfaceVectInfo -> IfL VectInfo
15 tcIfaceInst :: IfaceInst -> IfL Instance
16 tcIfaceFamInst :: IfaceFamInst -> IfL FamInst