compiler: de-lhs iface/
[ghc.git] / compiler / iface / TcIface.hs-boot
1 module TcIface where
2
3 import IfaceSyn    ( IfaceDecl, IfaceClsInst, IfaceFamInst, IfaceRule, IfaceAnnotation )
4 import TypeRep     ( TyThing )
5 import TcRnTypes   ( IfL )
6 import InstEnv     ( ClsInst )
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        :: IfaceClsInst -> IfL ClsInst
17 tcIfaceFamInst     :: IfaceFamInst -> IfL FamInst
18 tcIfaceAnnotations :: [IfaceAnnotation] -> IfL [Annotation]