c984afa9228a4180aa6c6e8ac9b689bfede4e88e
[ghc-hetmet.git] / ghc / compiler / typecheck / TcClassSig.hi
1 {-# GHC_PRAGMA INTERFACE VERSION 5 #-}
2 interface TcClassSig where
3 import Bag(Bag)
4 import Class(Class, ClassOp)
5 import CmdLineOpts(GlobalSwitch)
6 import E(E)
7 import HsBinds(Sig)
8 import Id(Id)
9 import IdInfo(SpecEnv)
10 import Name(Name)
11 import Pretty(PprStyle, PrettyRep)
12 import SplitUniq(SplitUniqSupply)
13 import SrcLoc(SrcLoc)
14 import TcMonad(Baby_TcResult)
15 import TyVar(TyVarTemplate)
16 import UniType(UniType)
17 import UniqFM(UniqFM)
18 tcClassSigs :: E -> UniqFM UniType -> Class -> (ClassOp -> SpecEnv) -> TyVarTemplate -> [Name] -> [Sig Name] -> (GlobalSwitch -> Bool) -> SplitUniqSupply -> Bag (PprStyle -> Int -> Bool -> PrettyRep) -> SrcLoc -> Baby_TcResult ([ClassOp], [(Name, Id)], [Id], [Id])
19