1 {-# GHC_PRAGMA INTERFACE VERSION 5 #-}
2 interface Rename3 where
5 import FiniteMap(FiniteMap)
6 import HsBinds(Binds, Sig)
7 import HsDecls(ClassDecl, DataTypeSig, DefaultDecl, FixityDecl, InstDecl, SpecialisedInstanceSig, TyDecl)
8 import HsImpExp(IE, ImportedInterface)
10 import HsPat(InPat, ProtoNamePat(..))
14 import NameTypes(FullName, ShortName)
15 import Outputable(ExportFlag)
16 import PreludePS(_PackedString)
17 import Pretty(PprStyle, Pretty(..), PrettyRep)
18 import ProtoName(ProtoName)
19 import RenameAuxFuns(PreludeNameFun(..), PreludeNameFuns(..))
20 import RenameMonad3(Rn3M(..), initRn3)
21 import SplitUniq(SplitUniqSupply)
28 type ProtoNamePat = InPat ProtoName
33 type Pretty = Int -> Bool -> PrettyRep
36 type PreludeNameFun = _PackedString -> Labda Name
37 type PreludeNameFuns = (_PackedString -> Labda Name, _PackedString -> Labda Name)
38 type Rn3M a = (FiniteMap _PackedString ExportFlag, FiniteMap _PackedString ()) -> _PackedString -> SplitUniqSupply -> a
40 initRn3 :: ((FiniteMap _PackedString ExportFlag, FiniteMap _PackedString ()) -> _PackedString -> SplitUniqSupply -> a) -> SplitUniqSupply -> a
41 rnModule3 :: (_PackedString -> Labda Name, _PackedString -> Labda Name) -> [_PackedString] -> Module ProtoName (InPat ProtoName) -> (FiniteMap _PackedString ExportFlag, FiniteMap _PackedString ()) -> _PackedString -> SplitUniqSupply -> ([(ProtoName, Name)], [(ProtoName, Name)], ProtoName -> Labda Name, ProtoName -> Labda Name, Bag (PprStyle -> Int -> Bool -> PrettyRep))