3 import IfaceSyn ( IfaceDecl, IfaceInst, IfaceRule )
4 import TypeRep ( TyThing )
5 import TcRnTypes ( IfL )
6 import InstEnv ( Instance )
7 import CoreSyn ( CoreRule )
9 tcIfaceDecl :: IfaceDecl -> IfL TyThing
10 tcIfaceInst :: IfaceInst -> IfL Instance
11 tcIfaceRule :: IfaceRule -> IfL CoreRule