compiler/iface/TcIface.lhs-boot

   1 \begin{code}
   2 module TcIface where
   3 import IfaceSyn   ( IfaceDecl, IfaceInst, IfaceFamInst, IfaceRule, IfaceAnnotation )
   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 )
  11 import Annotations ( Annotation )
  12
  13 tcIfaceDecl    :: Bool -> IfaceDecl -> IfL TyThing
  14 tcIfaceRules   :: Bool -> [IfaceRule] -> IfL [CoreRule]
  15 tcIfaceVectInfo:: Module -> TypeEnv -> IfaceVectInfo -> IfL VectInfo
  16 tcIfaceInst    :: IfaceInst -> IfL Instance
  17 tcIfaceFamInst :: IfaceFamInst -> IfL FamInst
  18 tcIfaceAnnotations :: [IfaceAnnotation] -> IfL [Annotation]
  19 \end{code}
  20