Implement recompilation checking for -fignore-asserts
[ghc.git] / 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]