compiler/iface/TcIface.hs-boot

   1 module TcIface where
   2
   3 import IfaceSyn    ( IfaceDecl, IfaceClsInst, IfaceFamInst, IfaceRule,
   4                      IfaceAnnotation, IfaceCompleteMatch )
   5 import TyCoRep     ( TyThing )
   6 import TcRnTypes   ( IfL )
   7 import InstEnv     ( ClsInst )
   8 import FamInstEnv  ( FamInst )
   9 import CoreSyn     ( CoreRule )
  10 import HscTypes    ( TypeEnv, VectInfo, IfaceVectInfo, CompleteMatch )
  11 import Module      ( Module )
  12 import Annotations ( Annotation )
  13
  14 tcIfaceDecl         :: Bool -> IfaceDecl -> IfL TyThing
  15 tcIfaceRules        :: Bool -> [IfaceRule] -> IfL [CoreRule]
  16 tcIfaceVectInfo     :: Module -> TypeEnv -> IfaceVectInfo -> IfL VectInfo
  17 tcIfaceInst         :: IfaceClsInst -> IfL ClsInst
  18 tcIfaceFamInst      :: IfaceFamInst -> IfL FamInst
  19 tcIfaceAnnotations  :: [IfaceAnnotation] -> IfL [Annotation]
  20 tcIfaceCompleteSigs :: [IfaceCompleteMatch] -> IfL [CompleteMatch]