HsExpr

Contents

• Expressions proper

Description

Synopsis

• type LHsExpr id = Located (HsExpr id)
• type PostTcExpr = HsExpr Id
• type PostTcTable = [(Name, PostTcExpr)]
• noPostTcExpr :: PostTcExpr
• noPostTcTable :: PostTcTable
• type SyntaxExpr id = HsExpr id
• noSyntaxExpr :: SyntaxExpr id
• type SyntaxTable id = [(Name, SyntaxExpr id)]
• noSyntaxTable :: SyntaxTable id
• data HsExpr id
  • = HsVar id
  • | HsIPVar HsIPName
  • | HsOverLit (HsOverLit id)
  • | HsLit HsLit
  • | HsLam (MatchGroup id)
  • | HsLamCase PostTcType (MatchGroup id)
  • | HsApp (LHsExpr id) (LHsExpr id)
  • | OpApp (LHsExpr id) (LHsExpr id) Fixity (LHsExpr id)
  • | NegApp (LHsExpr id) (SyntaxExpr id)
  • | HsPar (LHsExpr id)
  • | SectionL (LHsExpr id) (LHsExpr id)
  • | SectionR (LHsExpr id) (LHsExpr id)
  • | ExplicitTuple [HsTupArg id] Boxity
  • | HsCase (LHsExpr id) (MatchGroup id)
  • | HsIf (Maybe (SyntaxExpr id)) (LHsExpr id) (LHsExpr id) (LHsExpr id)
  • | HsMultiIf PostTcType [LGRHS id]
  • | HsLet (HsLocalBinds id) (LHsExpr id)
  • | HsDo (HsStmtContext Name) [LStmt id] PostTcType
  • | ExplicitList PostTcType [LHsExpr id]
  • | ExplicitPArr PostTcType [LHsExpr id]
  • | RecordCon (Located id) PostTcExpr (HsRecordBinds id)
  • | RecordUpd (LHsExpr id) (HsRecordBinds id) [DataCon] [PostTcType] [PostTcType]
  • | ExprWithTySig (LHsExpr id) (LHsType id)
  • | ExprWithTySigOut (LHsExpr id) (LHsType Name)
  • | ArithSeq PostTcExpr (ArithSeqInfo id)
  • | PArrSeq PostTcExpr (ArithSeqInfo id)
  • | HsSCC FastString (LHsExpr id)
  • | HsCoreAnn FastString (LHsExpr id)
  • | HsBracket (HsBracket id)
  • | HsBracketOut (HsBracket Name) [PendingSplice]
  • | HsSpliceE (HsSplice id)
  • | HsQuasiQuoteE (HsQuasiQuote id)
  • | HsProc (LPat id) (LHsCmdTop id)
  • | HsArrApp (LHsExpr id) (LHsExpr id) PostTcType HsArrAppType Bool
  • | HsArrForm (LHsExpr id) (Maybe Fixity) [LHsCmdTop id]
  • | HsTick (Tickish id) (LHsExpr id)
  • | HsBinTick Int Int (LHsExpr id)
  • | HsTickPragma (FastString, (Int, Int), (Int, Int)) (LHsExpr id)
  • | EWildPat
  • | EAsPat (Located id) (LHsExpr id)
  • | EViewPat (LHsExpr id) (LHsExpr id)
  • | ELazyPat (LHsExpr id)
  • | HsType (LHsType id)
  • | HsWrap HsWrapper (HsExpr id)
• data HsTupArg id
  • = Present (LHsExpr id)
  • | Missing PostTcType
• tupArgPresent :: HsTupArg id -> Bool
• type PendingSplice = (Name, LHsExpr Id)
• pprLExpr :: OutputableBndr id => LHsExpr id -> SDoc
• pprExpr :: OutputableBndr id => HsExpr id -> SDoc
• isQuietHsExpr :: HsExpr id -> Bool
• pprBinds :: (OutputableBndr idL, OutputableBndr idR) => HsLocalBindsLR idL idR -> SDoc
• ppr_lexpr :: OutputableBndr id => LHsExpr id -> SDoc
• ppr_expr :: forall id. OutputableBndr id => HsExpr id -> SDoc
• pprCmdArg :: OutputableBndr id => HsCmdTop id -> SDoc
• pprDebugParendExpr :: OutputableBndr id => LHsExpr id -> SDoc
• pprParendExpr :: OutputableBndr id => LHsExpr id -> SDoc
• hsExprNeedsParens :: HsExpr id -> Bool
• isAtomicHsExpr :: HsExpr id -> Bool
• type HsCmd id = HsExpr id
• type LHsCmd id = LHsExpr id
• data HsArrAppType
  • = HsHigherOrderApp
  • | HsFirstOrderApp
• type LHsCmdTop id = Located (HsCmdTop id)
• data HsCmdTop id = HsCmdTop (LHsCmd id) [PostTcType] PostTcType (SyntaxTable id)
• type HsRecordBinds id = HsRecFields id (LHsExpr id)
• data MatchGroup id = MatchGroup [LMatch id] PostTcType
• type LMatch id = Located (Match id)
• data Match id = Match [LPat id] (Maybe (LHsType id)) (GRHSs id)
• isEmptyMatchGroup :: MatchGroup id -> Bool
• matchGroupArity :: MatchGroup id -> Arity
• hsLMatchPats :: LMatch id -> [LPat id]
• data GRHSs id = GRHSs {
  • grhssGRHSs :: [LGRHS id]
  • grhssLocalBinds :: HsLocalBinds id
  }
• type LGRHS id = Located (GRHS id)
• data GRHS id = GRHS [LStmt id] (LHsExpr id)
• pprMatches :: (OutputableBndr idL, OutputableBndr idR) => HsMatchContext idL -> MatchGroup idR -> SDoc
• pprFunBind :: (OutputableBndr idL, OutputableBndr idR) => idL -> Bool -> MatchGroup idR -> SDoc
• pprPatBind :: forall bndr id. (OutputableBndr bndr, OutputableBndr id) => LPat bndr -> GRHSs id -> SDoc
• pprMatch :: (OutputableBndr idL, OutputableBndr idR) => HsMatchContext idL -> Match idR -> SDoc
• pprGRHSs :: (OutputableBndr idL, OutputableBndr idR) => HsMatchContext idL -> GRHSs idR -> SDoc
• pprGRHS :: (OutputableBndr idL, OutputableBndr idR) => HsMatchContext idL -> GRHS idR -> SDoc
• pp_rhs :: OutputableBndr idR => HsMatchContext idL -> LHsExpr idR -> SDoc
• type LStmt id = Located (StmtLR id id)
• type LStmtLR idL idR = Located (StmtLR idL idR)
• type Stmt id = StmtLR id id
• data StmtLR idL idR
  • = LastStmt (LHsExpr idR) (SyntaxExpr idR)
  • | BindStmt (LPat idL) (LHsExpr idR) (SyntaxExpr idR) (SyntaxExpr idR)
  • | ExprStmt (LHsExpr idR) (SyntaxExpr idR) (SyntaxExpr idR) PostTcType
  • | LetStmt (HsLocalBindsLR idL idR)
  • | ParStmt [ParStmtBlock idL idR] (SyntaxExpr idR) (SyntaxExpr idR)
  • | TransStmt {
    • trS_form :: TransForm
    • trS_stmts :: [LStmt idL]
    • trS_bndrs :: [(idR, idR)]
    • trS_using :: LHsExpr idR
    • trS_by :: Maybe (LHsExpr idR)
    • trS_ret :: SyntaxExpr idR
    • trS_bind :: SyntaxExpr idR
    • trS_fmap :: SyntaxExpr idR
    }
  • | RecStmt {
    • recS_stmts :: [LStmtLR idL idR]
    • recS_later_ids :: [idR]
    • recS_rec_ids :: [idR]
    • recS_bind_fn :: SyntaxExpr idR
    • recS_ret_fn :: SyntaxExpr idR
    • recS_mfix_fn :: SyntaxExpr idR
    • recS_later_rets :: [PostTcExpr]
    • recS_rec_rets :: [PostTcExpr]
    • recS_ret_ty :: PostTcType
    }
• data TransForm
  • = ThenForm
  • | GroupForm
• data ParStmtBlock idL idR = ParStmtBlock [LStmt idL] [idR] (SyntaxExpr idR)
• pprStmt :: (OutputableBndr idL, OutputableBndr idR) => StmtLR idL idR -> SDoc
• pprTransformStmt :: OutputableBndr id => [id] -> LHsExpr id -> Maybe (LHsExpr id) -> SDoc
• pprTransStmt :: OutputableBndr id => Maybe (LHsExpr id) -> LHsExpr id -> TransForm -> SDoc
• pprBy :: OutputableBndr id => Maybe (LHsExpr id) -> SDoc
• pprDo :: OutputableBndr id => HsStmtContext any -> [LStmt id] -> SDoc
• ppr_do_stmts :: (OutputableBndr idL, OutputableBndr idR) => [LStmtLR idL idR] -> SDoc
• pprComp :: OutputableBndr id => [LStmt id] -> SDoc
• pprQuals :: OutputableBndr id => [LStmt id] -> SDoc
• data HsSplice id = HsSplice id (LHsExpr id)
• pprSplice :: OutputableBndr id => HsSplice id -> SDoc
• data HsBracket id
  • = ExpBr (LHsExpr id)
  • | PatBr (LPat id)
  • | DecBrL [LHsDecl id]
  • | DecBrG (HsGroup id)
  • | TypBr (LHsType id)
  • | VarBr Bool id
• pprHsBracket :: OutputableBndr id => HsBracket id -> SDoc
• thBrackets :: SDoc -> SDoc -> SDoc
• data ArithSeqInfo id
  • = From (LHsExpr id)
  • | FromThen (LHsExpr id) (LHsExpr id)
  • | FromTo (LHsExpr id) (LHsExpr id)
  • | FromThenTo (LHsExpr id) (LHsExpr id) (LHsExpr id)
• pp_dotdot :: SDoc
• data HsMatchContext id
  • = FunRhs id Bool
  • | LambdaExpr
  • | CaseAlt
  • | IfAlt
  • | ProcExpr
  • | PatBindRhs
  • | RecUpd
  • | StmtCtxt (HsStmtContext id)
  • | ThPatQuote
• data HsStmtContext id
  • = ListComp
  • | MonadComp
  • | PArrComp
  • | DoExpr
  • | MDoExpr
  • | ArrowExpr
  • | GhciStmt
  • | PatGuard (HsMatchContext id)
  • | ParStmtCtxt (HsStmtContext id)
  • | TransStmtCtxt (HsStmtContext id)
• isListCompExpr :: HsStmtContext id -> Bool
• isMonadCompExpr :: HsStmtContext id -> Bool
• matchSeparator :: HsMatchContext id -> SDoc
• pprMatchContext :: Outputable id => HsMatchContext id -> SDoc
• pprMatchContextNoun :: Outputable id => HsMatchContext id -> SDoc
• pprAStmtContext :: Outputable id => HsStmtContext id -> SDoc
• pprStmtContext :: Outputable id => HsStmtContext id -> SDoc
• matchContextErrString :: Outputable id => HsMatchContext id -> SDoc
• pprMatchInCtxt :: (OutputableBndr idL, OutputableBndr idR) => HsMatchContext idL -> Match idR -> SDoc
• pprStmtInCtxt :: (OutputableBndr idL, OutputableBndr idR) => HsStmtContext idL -> StmtLR idL idR -> SDoc

Expressions proper