d28717d94e19c672ec87131fb5a11a82226c3970
[ghc-hetmet.git] / ghc / compiler / utils / Outputable.hi
1 {-# GHC_PRAGMA INTERFACE VERSION 5 #-}
2 interface Outputable where
3 import CharSeq(CSeq)
4 import CmdLineOpts(GlobalSwitch)
5 import PreludePS(_PackedString)
6 import Pretty(Delay, PprStyle(..), Pretty(..), PrettyRep)
7 import SrcLoc(SrcLoc)
8 import UniType(UniType)
9 import Unique(Unique)
10 class NamedThing a where
11         getExportFlag :: a -> ExportFlag
12         isLocallyDefined :: a -> Bool
13         getOrigName :: a -> (_PackedString, _PackedString)
14         getOccurrenceName :: a -> _PackedString
15         getInformingModules :: a -> [_PackedString]
16         getSrcLoc :: a -> SrcLoc
17         getTheUnique :: a -> Unique
18         hasType :: a -> Bool
19         getType :: a -> UniType
20         fromPreludeCore :: a -> Bool
21 class Outputable a where
22         ppr :: PprStyle -> a -> Int -> Bool -> PrettyRep
23 data ExportFlag   = ExportAll | ExportAbs | NotExported
24 data GlobalSwitch 
25 data PprStyle   = PprForUser | PprDebug | PprShowAll | PprInterface (GlobalSwitch -> Bool) | PprForC (GlobalSwitch -> Bool) | PprUnfolding (GlobalSwitch -> Bool) | PprForAsm (GlobalSwitch -> Bool) Bool ([Char] -> [Char])
26 type Pretty = Int -> Bool -> PrettyRep
27 data PrettyRep 
28 data SrcLoc 
29 data UniType 
30 data Unique 
31 getLocalName :: NamedThing a => a -> _PackedString
32 ifPprDebug :: PprStyle -> (Int -> Bool -> PrettyRep) -> Int -> Bool -> PrettyRep
33 ifPprInterface :: PprStyle -> (Int -> Bool -> PrettyRep) -> Int -> Bool -> PrettyRep
34 ifPprShowAll :: PprStyle -> (Int -> Bool -> PrettyRep) -> Int -> Bool -> PrettyRep
35 ifnotPprForUser :: PprStyle -> (Int -> Bool -> PrettyRep) -> Int -> Bool -> PrettyRep
36 ifnotPprShowAll :: PprStyle -> (Int -> Bool -> PrettyRep) -> Int -> Bool -> PrettyRep
37 interpp'SP :: Outputable a => PprStyle -> [a] -> Int -> Bool -> PrettyRep
38 interppSP :: Outputable a => PprStyle -> [a] -> Int -> Bool -> PrettyRep
39 isAconop :: _PackedString -> Bool
40 isAvarid :: _PackedString -> Bool
41 isAvarop :: _PackedString -> Bool
42 isConop :: _PackedString -> Bool
43 isExported :: NamedThing a => a -> Bool
44 isOpLexeme :: NamedThing a => a -> Bool
45 ltLexical :: (NamedThing a, NamedThing b) => a -> b -> Bool
46 pprNonOp :: (NamedThing a, Outputable a) => PprStyle -> a -> Int -> Bool -> PrettyRep
47 pprOp :: (NamedThing a, Outputable a) => PprStyle -> a -> Int -> Bool -> PrettyRep
48 instance (Outputable a, Outputable b) => Outputable (a, b)
49 instance (Outputable a, Outputable b, Outputable c) => Outputable (a, b, c)
50 instance Outputable Bool
51 instance Outputable a => Outputable [a]
52