ghc/compiler/abstractSyn/HsExpr.hi

   1 {-# GHC_PRAGMA INTERFACE VERSION 5 #-}
   2 interface HsExpr where
   3 import HsBinds(Binds)
   4 import HsLit(Literal)
   5 import HsMatches(Match)
   6 import HsPat(InPat, TypecheckedPat)
   7 import HsTypes(PolyType)
   8 import Id(Id)
   9 import Name(Name)
  10 import Outputable(NamedThing, Outputable)
  11 import PreludePS(_PackedString)
  12 import Pretty(PprStyle, PrettyRep)
  13 import ProtoName(ProtoName)
  14 import TyVar(TyVar)
  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_ #-}
  38