\begin{code}
module TcIface where
import IfaceSyn	 ( IfaceDecl, IfaceInst, IfaceRule )
import TypeRep	 ( TyThing )
import TcRnTypes ( IfL )
import InstEnv	 ( Instance )
import CoreSyn	 ( CoreRule )

tcIfaceDecl  :: Bool -> IfaceDecl -> IfL TyThing
tcIfaceRules :: Bool -> [IfaceRule] -> IfL [CoreRule]
tcIfaceInst  :: IfaceInst -> IfL Instance
\end{code}