Major refactoring of CoAxioms
[ghc.git] / compiler / iface / TcIface.lhs-boot
1 \begin{code}
2 module TcIface where
3
4 import IfaceSyn    ( IfaceDecl, IfaceClsInst, IfaceFamInst, IfaceRule, IfaceAnnotation )
5 import TypeRep     ( TyThing )
6 import TcRnTypes   ( IfL )
7 import InstEnv     ( ClsInst )
8 import FamInstEnv  ( FamInst )
9 import CoreSyn     ( CoreRule )
10 import HscTypes    ( TypeEnv, VectInfo, IfaceVectInfo )
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 \end{code}
21