1 {-# GHC_PRAGMA INTERFACE VERSION 5 #-}
5 import HsMatches(Match)
6 import HsPat(InPat, TypecheckedPat)
7 import HsTypes(PolyType)
10 import Outputable(NamedThing, Outputable)
11 import PreludePS(_PackedString)
12 import Pretty(PprStyle, PrettyRep)
13 import ProtoName(ProtoName)
15 import UniType(UniType)
16 data ArithSeqInfo a b = From (Expr a b) | FromThen (Expr a b) (Expr a b) | FromTo (Expr a b) (Expr a b) | FromThenTo (Expr a b) (Expr a b) (Expr a b)
17 data Expr a b = Var a | Lit Literal | Lam (Match a b) | App (Expr a b) (Expr a b) | OpApp (Expr a b) (Expr a b) (Expr a b) | SectionL (Expr a b) (Expr a b) | SectionR (Expr a b) (Expr a b) | CCall _PackedString [Expr a b] Bool Bool UniType | SCC _PackedString (Expr a b) | Case (Expr a b) [Match a b] | If (Expr a b) (Expr a b) (Expr a b) | Let (Binds a b) (Expr a b) | ListComp (Expr a b) [Qual a b] | ExplicitList [Expr a b] | ExplicitListOut UniType [Expr a b] | ExplicitTuple [Expr a b] | ExprWithTySig (Expr a b) (PolyType a) | ArithSeqIn (ArithSeqInfo a b) | ArithSeqOut (Expr a b) (ArithSeqInfo a b) | TyLam [TyVar] (Expr a b) | TyApp (Expr a b) [UniType] | DictLam [Id] (Expr a b) | DictApp (Expr a b) [Id] | ClassDictLam [Id] [Id] (Expr a b) | Dictionary [Id] [Id] | SingleDict Id
18 type ProtoNameArithSeqInfo = ArithSeqInfo ProtoName (InPat ProtoName)
19 type ProtoNameExpr = Expr ProtoName (InPat ProtoName)
20 type ProtoNameQual = Qual ProtoName (InPat ProtoName)
21 data Qual a b = GeneratorQual b (Expr a b) | FilterQual (Expr a b)
22 type RenamedArithSeqInfo = ArithSeqInfo Name (InPat Name)
23 type RenamedExpr = Expr Name (InPat Name)
24 type RenamedQual = Qual Name (InPat Name)
25 type TypecheckedArithSeqInfo = ArithSeqInfo Id TypecheckedPat
26 type TypecheckedExpr = Expr Id TypecheckedPat
27 type TypecheckedQual = Qual Id TypecheckedPat
28 pprExpr :: (NamedThing a, Outputable a, NamedThing b, Outputable b) => PprStyle -> Expr a b -> Int -> Bool -> PrettyRep
29 {-# GHC_PRAGMA _A_ 4 _U_ 22222222 _N_ _N_ _N_ _N_ #-}
30 pprParendExpr :: (NamedThing a, Outputable a, NamedThing b, Outputable b) => PprStyle -> Expr a b -> Int -> Bool -> PrettyRep
31 {-# GHC_PRAGMA _A_ 4 _U_ 22222222 _N_ _N_ _N_ _N_ #-}
32 instance (NamedThing a, Outputable a, NamedThing b, Outputable b) => Outputable (ArithSeqInfo a b)
33 {-# GHC_PRAGMA _M_ HsExpr {-dfun-} _A_ 4 _U_ 2222 _N_ _N_ _N_ _N_ #-}
34 instance (NamedThing a, Outputable a, NamedThing b, Outputable b) => Outputable (Expr a b)
35 {-# GHC_PRAGMA _M_ HsExpr {-dfun-} _A_ 4 _U_ 2222 _N_ _N_ _N_ _N_ #-}
36 instance (NamedThing a, Outputable a, NamedThing b, Outputable b) => Outputable (Qual a b)
37 {-# GHC_PRAGMA _M_ HsExpr {-dfun-} _A_ 4 _U_ 2222 _N_ _N_ _N_ _N_ #-}