\begin{code}
module TcIface where
import IfaceSyn	  ( IfaceDecl, IfaceInst, IfaceFamInst, IfaceRule, IfaceAnnotation )
import TypeRep	  ( TyThing )
import TcRnTypes  ( IfL )
import InstEnv	  ( Instance )
import FamInstEnv ( FamInst )
import CoreSyn	  ( CoreRule )
import HscTypes   ( TypeEnv, VectInfo, IfaceVectInfo )
import Module     ( Module )
import Annotations ( Annotation )

tcIfaceDecl    :: Bool -> IfaceDecl -> IfL TyThing
tcIfaceRules   :: Bool -> [IfaceRule] -> IfL [CoreRule]
tcIfaceVectInfo:: Module -> TypeEnv -> IfaceVectInfo -> IfL VectInfo
tcIfaceInst    :: IfaceInst -> IfL Instance
tcIfaceFamInst :: IfaceFamInst -> IfL FamInst
tcIfaceAnnotations :: [IfaceAnnotation] -> IfL [Annotation]
\end{code}