ghc/compiler/rename/RenameBinds4.hi

   1 {-# GHC_PRAGMA INTERFACE VERSION 5 #-}
   2 interface RenameBinds4 where
   3 import Bag(Bag)
   4 import CmdLineOpts(GlobalSwitch)
   5 import ErrUtils(Error(..))
   6 import FiniteMap(FiniteMap)
   7 import HsBinds(Bind, Binds, MonoBinds, Sig)
   8 import HsExpr(Expr)
   9 import HsLit(Literal)
  10 import HsMatches(GRHSsAndBinds, Match)
  11 import HsPat(InPat)
  12 import Id(Id)
  13 import Inst(Inst)
  14 import Maybes(Labda)
  15 import Name(Name)
  16 import NameTypes(FullName, ShortName)
  17 import PreludePS(_PackedString)
  18 import Pretty(PprStyle, Pretty(..), PrettyRep)
  19 import ProtoName(ProtoName)
  20 import RenameAuxFuns(GlobalNameFun(..))
  21 import SplitUniq(SplitUniqSupply)
  22 import SrcLoc(SrcLoc)
  23 import TyCon(TyCon)
  24 import TyVar(TyVar)
  25 import UniqFM(UniqFM)
  26 import UniqSet(UniqSet(..))
  27 import Unique(Unique)
  28 data Bag a
  29 type Error = PprStyle -> Int -> Bool -> PrettyRep
  30 data Binds a b
  31 type DefinedVars = UniqFM Name
  32 type FreeVars = UniqFM Name
  33 data MonoBinds a b
  34 data InPat a
  35 data Labda a
  36 data Name
  37 data PprStyle
  38 type Pretty = Int -> Bool -> PrettyRep
  39 data PrettyRep
  40 data ProtoName
  41 type GlobalNameFun = ProtoName -> Labda Name
  42 data SplitUniqSupply
  43 data SrcLoc
  44 data UniqFM a
  45 type UniqSet a = UniqFM a
  46 data Unique
  47 rnBinds4 :: Binds ProtoName (InPat ProtoName) -> (GlobalSwitch -> Bool) -> (ProtoName -> Labda Name, ProtoName -> Labda Name) -> FiniteMap _PackedString Name -> Bag (PprStyle -> Int -> Bool -> PrettyRep) -> SplitUniqSupply -> SrcLoc -> ((Binds Name (InPat Name), UniqFM Name, [Name]), Bag (PprStyle -> Int -> Bool -> PrettyRep))
  48 rnMethodBinds4 :: Name -> MonoBinds ProtoName (InPat ProtoName) -> (GlobalSwitch -> Bool) -> (ProtoName -> Labda Name, ProtoName -> Labda Name) -> FiniteMap _PackedString Name -> Bag (PprStyle -> Int -> Bool -> PrettyRep) -> SplitUniqSupply -> SrcLoc -> (MonoBinds Name (InPat Name), Bag (PprStyle -> Int -> Bool -> PrettyRep))
  49 rnTopBinds4 :: Binds ProtoName (InPat ProtoName) -> (GlobalSwitch -> Bool) -> (ProtoName -> Labda Name, ProtoName -> Labda Name) -> FiniteMap _PackedString Name -> Bag (PprStyle -> Int -> Bool -> PrettyRep) -> SplitUniqSupply -> SrcLoc -> (Binds Name (InPat Name), Bag (PprStyle -> Int -> Bool -> PrettyRep))
  50