Moduleghc-lib-parser-9.14.1.20251220GHC2021

Language.Haskell.Syntax.Expr

Abstract Haskell syntax for expressions.

49 types
8 values

Packageghc-lib-parser-9.14.1.20251220
Exports58
LanguageGHC2021
LicenceBSD-3-Clause
SourceExpr.hs

typetype LFieldLabelStrings p = XRec p (FieldLabelStrings p)

RecordDotSyntax field updates

newtypenewtype FieldLabelStrings p

Constructors

FieldLabelStrings (NonEmpty (XRec p (DotFieldOcc p)))

Instances7Data, Outputable, OutputableBndr, Anno, …

Data (FieldLabelStrings GhcPs)Defined in ghc-lib-parser-9.14.1.20251220 · GHC.Hs.Instances · orphan
Data (FieldLabelStrings GhcRn)Defined in ghc-lib-parser-9.14.1.20251220 · GHC.Hs.Instances · orphan
Data (FieldLabelStrings GhcTc)Defined in ghc-lib-parser-9.14.1.20251220 · GHC.Hs.Instances · orphan
(UnXRec p, Outputable (XRec p FieldLabelString)) => Outputable (FieldLabelStrings p)Defined in ghc-lib-parser-9.14.1.20251220 · GHC.Hs.Expr · orphan
(UnXRec p, Outputable (XRec p FieldLabelString)) => OutputableBndr (Located (FieldLabelStrings p))Defined in ghc-lib-parser-9.14.1.20251220 · GHC.Hs.Expr · orphan
(UnXRec p, Outputable (XRec p FieldLabelString)) => OutputableBndr (FieldLabelStrings p)Defined in ghc-lib-parser-9.14.1.20251220 · GHC.Hs.Expr · orphan
type Anno (FieldLabelStrings (GhcPass p)) = EpAnnCODefined in ghc-lib-parser-9.14.1.20251220 · GHC.Hs.Expr · orphan

typetype RecProj p arg = HsFieldBind (LFieldLabelStrings p) arg

typetype LHsRecProj p arg = XRec p (RecProj p arg)

typetype RecUpdProj p = RecProj p (LHsExpr p)

typetype LHsRecUpdProj p = XRec p (RecUpdProj p)

datadata LHsRecUpdFields p where

Haskell Record Update Fields.

Constructors

RegularRecUpdFields :: XLHsRecUpdLabels p -> [LHsRecUpdField p p] -> LHsRecUpdFields p
A regular (non-overloaded) record update.
- xRecUpdFields :: XLHsRecUpdLabels p
- recUpdFields :: [LHsRecUpdField p p]
OverloadedRecUpdFields :: XLHsOLRecUpdLabels p -> [LHsRecUpdProj p] -> LHsRecUpdFields p
An overloaded record update.
- xOLRecUpdFields :: XLHsOLRecUpdLabels p
- olRecUpdFields :: [LHsRecUpdProj p]

Instances3Data

Data (LHsRecUpdFields GhcPs)Defined in ghc-lib-parser-9.14.1.20251220 · GHC.Hs.Instances · orphan
Data (LHsRecUpdFields GhcRn)Defined in ghc-lib-parser-9.14.1.20251220 · GHC.Hs.Instances · orphan
Data (LHsRecUpdFields GhcTc)Defined in ghc-lib-parser-9.14.1.20251220 · GHC.Hs.Instances · orphan

Expressions proper

51 declarations

typetype LHsExpr p = XRec p (HsExpr p)

Located Haskell Expression

familytype family SyntaxExpr p

Syntax Expression

SyntaxExpr is represents the function used in interpreting rebindable syntax. In the parser, we have no information to supply; in the renamer, we have the name of the function (but see Note [Monad fail : Rebindable syntax, overloaded strings] for a wrinkle) and in the type-checker we have a more elaborate structure SyntaxExprTc.

In some contexts, rebindable syntax is not implemented, and so we have constructors to represent that possibility in both the renamer and typechecker instantiations.

E.g. (>>=) is filled in before the renamer by the appropriate Name for (>>=), and then instantiated by the type checker with its type args etc

Instances1SyntaxExpr

type SyntaxExpr (GhcPass p) = SyntaxExprGhc pDefined in ghc-lib-parser-9.14.1.20251220 · GHC.Hs.Expr · orphan

datadata HsExpr p

A Haskell expression.

Constructors

HsVar (XVar p) (LIdOccP p)
Variable See Note [Located RdrNames]
HsOverLabel (XOverLabel p) FastString
Overloaded label (Note [Overloaded labels] in GHC.OverloadedLabels)
HsIPVar (XIPVar p) HsIPName
Implicit parameter (not in use after typechecking)
HsOverLit (XOverLitE p) (HsOverLit p)
Overloaded literals
HsLit (XLitE p) (HsLit p)
Simple (non-overloaded) literals
HsLam (XLam p) HsLamVariant (MatchGroup p (LHsExpr p))
Lambda, Lambda-case, and Lambda-cases
HsApp (XApp p) (LHsExpr p) (LHsExpr p)
Application
HsAppType (XAppTypeE p) (LHsExpr p) (LHsWcType (NoGhcTc p))
Visible type application
Explicit type argument; e.g f @Int x y NB: Has wildcards, but no implicit quantification
OpApp (XOpApp p) (LHsExpr p) (LHsExpr p) (LHsExpr p)
Operator applications: NB Bracketed ops such as (+) come out as Vars.
NegApp (XNegApp p) (LHsExpr p) (SyntaxExpr p)
Negation operator. Contains the negated expression and the name of negate
HsPar (XPar p) (LHsExpr p)
Parenthesised expr; see Note [Parens in HsSyn]
SectionL (XSectionL p) (LHsExpr p) (LHsExpr p)
SectionR (XSectionR p) (LHsExpr p) (LHsExpr p)
ExplicitTuple (XExplicitTuple p) [HsTupArg p] Boxity
Used for explicit tuples and sections thereof
ExplicitSum (XExplicitSum p) ConTag SumWidth (LHsExpr p)
Used for unboxed sum types
HsCase (XCase p) (LHsExpr p) (MatchGroup p (LHsExpr p))
HsIf (XIf p) (LHsExpr p) (LHsExpr p) (LHsExpr p)
HsMultiIf (XMultiIf p) (NonEmpty (LGRHS p (LHsExpr p)))
Multi-way if
HsLet (XLet p) (HsLocalBinds p) (LHsExpr p)
let(rec)
HsDo (XDo p) HsDoFlavour (XRec p [ExprLStmt p])
ExplicitList (XExplicitList p) [LHsExpr p]
Syntactic list: [a,b,c,...]
RecordCon
Record construction
- rcon_ext :: XRecordCon p
- rcon_con :: XRec p (ConLikeP p)
- rcon_flds :: HsRecordBinds p
RecordUpd
Record update
- rupd_ext :: XRecordUpd p
- rupd_expr :: LHsExpr p
- rupd_flds :: LHsRecUpdFields p
HsGetField
Record field selection e.g z.x.
- gf_ext :: XGetField p
- gf_expr :: LHsExpr p
- gf_field :: XRec p (DotFieldOcc p)
HsProjection
Record field selector. e.g. (.x) or (.x.y)
This case only arises when the OverloadedRecordDot langauge extensions is enabled. See Note [Record selectors in the AST].
- proj_ext :: XProjection p
- proj_flds :: NonEmpty (DotFieldOcc p)
ExprWithTySig (XExprWithTySig p) (LHsExpr p) (LHsSigWcType (NoGhcTc p))
Expression with an explicit type signature. e :: type
ArithSeq (XArithSeq p) (Maybe (SyntaxExpr p)) (ArithSeqInfo p)
Arithmetic sequence
HsTypedBracket (XTypedBracket p) (LHsExpr p)
HsUntypedBracket (XUntypedBracket p) (HsQuote p)
HsTypedSplice (XTypedSplice p) (HsTypedSplice p)
HsUntypedSplice (XUntypedSplice p) (HsUntypedSplice p)
HsProc (XProc p) (LPat p) (LHsCmdTop p)
proc notation for Arrows
HsStatic (XStatic p) (LHsExpr p)
HsPragE (XPragE p) (HsPragE p) (LHsExpr p)
HsEmbTy (XEmbTy p) (LHsWcType (NoGhcTc p))
HsHole (XHole p)
Holes in expressions, i.e. _. See Note [Holes in expressions] in GHC.Tc.Types.Constraint.
HsForAll (XForAll p) (HsForAllTelescope p) (LHsExpr p)
Forall-types forall tvs. t and forall tvs -> t. Used with RequiredTypeArguments, e.g. fn (forall a. Proxy a). See Note [Types in terms]
HsQual (XQual p) (XRec p [LHsExpr p]) (LHsExpr p)
HsFunArr (XFunArr p) (HsMultAnnOf (LHsExpr p) p) (LHsExpr p) (LHsExpr p)
Function types a -> b. Used with RequiredTypeArguments, e.g. fn (Int -> Bool). See Note [Types in terms]
XExpr !(XXExpr p)

Instances35Outputable, CollectBinders, DisambECP, DisambInfixOp, Data, Anno, …

Data (HsExpr GhcPs)Defined in ghc-lib-parser-9.14.1.20251220 · GHC.Hs.Instances · orphan
Data (HsExpr GhcRn)Defined in ghc-lib-parser-9.14.1.20251220 · GHC.Hs.Instances · orphan
Data (HsExpr GhcTc)Defined in ghc-lib-parser-9.14.1.20251220 · GHC.Hs.Instances · orphan
OutputableBndrId p => Outputable (HsExpr (GhcPass p))Defined in ghc-lib-parser-9.14.1.20251220 · GHC.Hs.Expr · orphan
CollectBinders [LocatedA (Stmt GhcTc (LocatedA (HsExpr GhcTc)))]Defined in ghc-lib-parser-9.14.1.20251220 · GHC.HsToCore.Ticks
DisambECP (HsExpr GhcPs)Defined in ghc-lib-parser-9.14.1.20251220 · GHC.Parser.PostProcess
DisambInfixOp (HsExpr GhcPs)Defined in ghc-lib-parser-9.14.1.20251220 · GHC.Parser.PostProcess
Data (GRHS GhcPs (LocatedA (HsExpr GhcPs)))Defined in ghc-lib-parser-9.14.1.20251220 · GHC.Hs.Instances · orphan
Data (GRHS GhcRn (LocatedA (HsExpr GhcRn)))Defined in ghc-lib-parser-9.14.1.20251220 · GHC.Hs.Instances · orphan
Data (GRHS GhcTc (LocatedA (HsExpr GhcTc)))Defined in ghc-lib-parser-9.14.1.20251220 · GHC.Hs.Instances · orphan
Data (GRHSs GhcPs (LocatedA (HsExpr GhcPs)))Defined in ghc-lib-parser-9.14.1.20251220 · GHC.Hs.Instances · orphan
Data (GRHSs GhcRn (LocatedA (HsExpr GhcRn)))Defined in ghc-lib-parser-9.14.1.20251220 · GHC.Hs.Instances · orphan
Data (GRHSs GhcTc (LocatedA (HsExpr GhcTc)))Defined in ghc-lib-parser-9.14.1.20251220 · GHC.Hs.Instances · orphan
Data (Match GhcPs (LocatedA (HsExpr GhcPs)))Defined in ghc-lib-parser-9.14.1.20251220 · GHC.Hs.Instances · orphan
Data (Match GhcRn (LocatedA (HsExpr GhcRn)))Defined in ghc-lib-parser-9.14.1.20251220 · GHC.Hs.Instances · orphan
Data (Match GhcTc (LocatedA (HsExpr GhcTc)))Defined in ghc-lib-parser-9.14.1.20251220 · GHC.Hs.Instances · orphan
Data (MatchGroup GhcPs (LocatedA (HsExpr GhcPs)))Defined in ghc-lib-parser-9.14.1.20251220 · GHC.Hs.Instances · orphan
Data (MatchGroup GhcRn (LocatedA (HsExpr GhcRn)))Defined in ghc-lib-parser-9.14.1.20251220 · GHC.Hs.Instances · orphan
Data (MatchGroup GhcTc (LocatedA (HsExpr GhcTc)))Defined in ghc-lib-parser-9.14.1.20251220 · GHC.Hs.Instances · orphan
Data (HsMultAnnOf (LocatedA (HsExpr GhcPs)) GhcPs)Defined in ghc-lib-parser-9.14.1.20251220 · GHC.Hs.Instances · orphan
Data (HsMultAnnOf (LocatedA (HsExpr GhcRn)) GhcRn)Defined in ghc-lib-parser-9.14.1.20251220 · GHC.Hs.Instances · orphan
Data (HsMultAnnOf (LocatedA (HsExpr GhcTc)) GhcTc)Defined in ghc-lib-parser-9.14.1.20251220 · GHC.Hs.Instances · orphan
Data (StmtLR GhcPs GhcPs (LocatedA (HsExpr GhcPs)))Defined in ghc-lib-parser-9.14.1.20251220 · GHC.Hs.Instances · orphan
Data (StmtLR GhcPs GhcRn (LocatedA (HsExpr GhcRn)))Defined in ghc-lib-parser-9.14.1.20251220 · GHC.Hs.Instances · orphan
Data (StmtLR GhcRn GhcRn (LocatedA (HsExpr GhcRn)))Defined in ghc-lib-parser-9.14.1.20251220 · GHC.Hs.Instances · orphan
Data (StmtLR GhcTc GhcTc (LocatedA (HsExpr GhcTc)))Defined in ghc-lib-parser-9.14.1.20251220 · GHC.Hs.Instances · orphan
type Anno (GRHS (GhcPass p) (LocatedA (HsExpr (GhcPass p)))) = EpAnnCODefined in ghc-lib-parser-9.14.1.20251220 · GHC.Hs.Expr · orphan
type Anno (HsExpr (GhcPass p)) = SrcSpanAnnADefined in ghc-lib-parser-9.14.1.20251220 · GHC.Hs.Expr · orphan
type Anno (Match (GhcPass p) (LocatedA (HsExpr (GhcPass p)))) = SrcSpanAnnADefined in ghc-lib-parser-9.14.1.20251220 · GHC.Hs.Expr · orphan
type Anno [LocatedA (HsExpr (GhcPass p))] = SrcSpanAnnCDefined in ghc-lib-parser-9.14.1.20251220 · GHC.Hs.Expr · orphan
type Anno [LocatedA (Match (GhcPass p) (LocatedA (HsExpr (GhcPass p))))] = SrcSpanAnnLWDefined in ghc-lib-parser-9.14.1.20251220 · GHC.Hs.Expr · orphan
type Anno [LocatedA (StmtLR (GhcPass pl) (GhcPass pr) (LocatedA (HsExpr (GhcPass pr))))] = SrcSpanAnnLWDefined in ghc-lib-parser-9.14.1.20251220 · GHC.Hs.Expr · orphan
type Body (HsExpr GhcPs) = HsExprDefined in ghc-lib-parser-9.14.1.20251220 · GHC.Parser.PostProcess
type FunArg (HsExpr GhcPs) = HsExpr GhcPsDefined in ghc-lib-parser-9.14.1.20251220 · GHC.Parser.PostProcess
type InfixOp (HsExpr GhcPs) = HsExpr GhcPsDefined in ghc-lib-parser-9.14.1.20251220 · GHC.Parser.PostProcess

datadata DotFieldOcc p

Constructors

DotFieldOcc
- dfoExt :: XCDotFieldOcc p
- dfoLabel :: XRec p FieldLabelString
XDotFieldOcc !(XXDotFieldOcc p)

Instances5Data, Outputable, Anno

Data (DotFieldOcc GhcPs)Defined in ghc-lib-parser-9.14.1.20251220 · GHC.Hs.Instances · orphan
Data (DotFieldOcc GhcRn)Defined in ghc-lib-parser-9.14.1.20251220 · GHC.Hs.Instances · orphan
Data (DotFieldOcc GhcTc)Defined in ghc-lib-parser-9.14.1.20251220 · GHC.Hs.Instances · orphan
UnXRec p => Outputable (DotFieldOcc p)Defined in ghc-lib-parser-9.14.1.20251220 · GHC.Hs.Expr · orphan
type Anno (DotFieldOcc (GhcPass p)) = EpAnnCODefined in ghc-lib-parser-9.14.1.20251220 · GHC.Hs.Expr · orphan

datadata HsPragE p

A pragma, written as {-# ... #-}, that may appear within an expression.

Constructors

HsPragSCC (XSCC p) StringLiteral
XHsPragE !(XXPragE p)

Instances4Data, Outputable

Data (HsPragE GhcPs)Defined in ghc-lib-parser-9.14.1.20251220 · GHC.Hs.Instances · orphan
Data (HsPragE GhcRn)Defined in ghc-lib-parser-9.14.1.20251220 · GHC.Hs.Instances · orphan
Data (HsPragE GhcTc)Defined in ghc-lib-parser-9.14.1.20251220 · GHC.Hs.Instances · orphan
Outputable (HsPragE (GhcPass p))Defined in ghc-lib-parser-9.14.1.20251220 · GHC.Hs.Expr · orphan

typetype LHsTupArg id = XRec id (HsTupArg id)

Located Haskell Tuple Argument

HsTupArg is used for tuple sections (,a,) is represented by ExplicitTuple [Missing ty1, Present a, Missing ty3] Which in turn stands for (x:ty1 y:ty2. (x,a,y))

datadata HsTupArg id

Haskell Tuple Argument

Constructors

Present (XPresent id) (LHsExpr id)
The argument
Missing (XMissing id)
The argument is missing, but this is its type
XTupArg !(XXTupArg id)
Extension point; see Note [Trees That Grow] in Language.Haskell.Syntax.Extension

Instances3Data

Data (HsTupArg GhcPs)Defined in ghc-lib-parser-9.14.1.20251220 · GHC.Hs.Instances · orphan
Data (HsTupArg GhcRn)Defined in ghc-lib-parser-9.14.1.20251220 · GHC.Hs.Instances · orphan
Data (HsTupArg GhcTc)Defined in ghc-lib-parser-9.14.1.20251220 · GHC.Hs.Instances · orphan

datadata HsLamVariant

Which kind of lambda case are we dealing with?

Constructors

LamSingle
`p -> e`
LamCase
`case pi -> ei `
LamCases
`cases psi -> ei`

Instances3Eq, Data, Outputable

Eq HsLamVariantDefined in ghc-lib-parser-9.14.1.20251220 · Language.Haskell.Syntax.Expr
Data HsLamVariantDefined in ghc-lib-parser-9.14.1.20251220 · Language.Haskell.Syntax.Expr
Outputable HsLamVariantDefined in ghc-lib-parser-9.14.1.20251220 · GHC.Hs.Expr · orphan

typetype LHsCmd id = XRec id (HsCmd id)

Located Haskell Command (for arrow syntax)

datadata HsCmd id

Haskell Command (e.g. a "statement" in an Arrow proc block)

Constructors

HsCmdArrApp (XCmdArrApp id) (LHsExpr id) (LHsExpr id) HsArrAppType Bool
HsCmdArrForm (XCmdArrForm id) (LHsExpr id) LexicalFixity [LHsCmdTop id]
HsCmdApp (XCmdApp id) (LHsCmd id) (LHsExpr id)
HsCmdLam (XCmdLamCase id) HsLamVariant (MatchGroup id (LHsCmd id))
Lambda-case
HsCmdPar (XCmdPar id) (LHsCmd id)
HsCmdCase (XCmdCase id) (LHsExpr id) (MatchGroup id (LHsCmd id))
HsCmdIf (XCmdIf id) (SyntaxExpr id) (LHsExpr id) (LHsCmd id) (LHsCmd id)
HsCmdLet (XCmdLet id) (HsLocalBinds id) (LHsCmd id)
HsCmdDo (XCmdDo id) (XRec id [CmdLStmt id])
XCmd !(XXCmd id)

Instances30Outputable, CollectBinders, DisambECP, Data, Anno, Body, …

Data (HsCmd GhcPs)Defined in ghc-lib-parser-9.14.1.20251220 · GHC.Hs.Instances · orphan
Data (HsCmd GhcRn)Defined in ghc-lib-parser-9.14.1.20251220 · GHC.Hs.Instances · orphan
Data (HsCmd GhcTc)Defined in ghc-lib-parser-9.14.1.20251220 · GHC.Hs.Instances · orphan
OutputableBndrId p => Outputable (HsCmd (GhcPass p))Defined in ghc-lib-parser-9.14.1.20251220 · GHC.Hs.Expr · orphan
CollectBinders [LocatedA (Stmt GhcTc (LocatedA (HsCmd GhcTc)))]Defined in ghc-lib-parser-9.14.1.20251220 · GHC.HsToCore.Ticks
DisambECP (HsCmd GhcPs)Defined in ghc-lib-parser-9.14.1.20251220 · GHC.Parser.PostProcess
Data (GRHS GhcPs (LocatedA (HsCmd GhcPs)))Defined in ghc-lib-parser-9.14.1.20251220 · GHC.Hs.Instances · orphan
Data (GRHS GhcRn (LocatedA (HsCmd GhcRn)))Defined in ghc-lib-parser-9.14.1.20251220 · GHC.Hs.Instances · orphan
Data (GRHS GhcTc (LocatedA (HsCmd GhcTc)))Defined in ghc-lib-parser-9.14.1.20251220 · GHC.Hs.Instances · orphan
Data (GRHSs GhcPs (LocatedA (HsCmd GhcPs)))Defined in ghc-lib-parser-9.14.1.20251220 · GHC.Hs.Instances · orphan
Data (GRHSs GhcRn (LocatedA (HsCmd GhcRn)))Defined in ghc-lib-parser-9.14.1.20251220 · GHC.Hs.Instances · orphan
Data (GRHSs GhcTc (LocatedA (HsCmd GhcTc)))Defined in ghc-lib-parser-9.14.1.20251220 · GHC.Hs.Instances · orphan
Data (Match GhcPs (LocatedA (HsCmd GhcPs)))Defined in ghc-lib-parser-9.14.1.20251220 · GHC.Hs.Instances · orphan
Data (Match GhcRn (LocatedA (HsCmd GhcRn)))Defined in ghc-lib-parser-9.14.1.20251220 · GHC.Hs.Instances · orphan
Data (Match GhcTc (LocatedA (HsCmd GhcTc)))Defined in ghc-lib-parser-9.14.1.20251220 · GHC.Hs.Instances · orphan
Data (MatchGroup GhcPs (LocatedA (HsCmd GhcPs)))Defined in ghc-lib-parser-9.14.1.20251220 · GHC.Hs.Instances · orphan
Data (MatchGroup GhcRn (LocatedA (HsCmd GhcRn)))Defined in ghc-lib-parser-9.14.1.20251220 · GHC.Hs.Instances · orphan
Data (MatchGroup GhcTc (LocatedA (HsCmd GhcTc)))Defined in ghc-lib-parser-9.14.1.20251220 · GHC.Hs.Instances · orphan
Data (StmtLR GhcPs GhcPs (LocatedA (HsCmd GhcPs)))Defined in ghc-lib-parser-9.14.1.20251220 · GHC.Hs.Instances · orphan
Data (StmtLR GhcPs GhcRn (LocatedA (HsCmd GhcRn)))Defined in ghc-lib-parser-9.14.1.20251220 · GHC.Hs.Instances · orphan
Data (StmtLR GhcRn GhcRn (LocatedA (HsCmd GhcRn)))Defined in ghc-lib-parser-9.14.1.20251220 · GHC.Hs.Instances · orphan
Data (StmtLR GhcTc GhcTc (LocatedA (HsCmd GhcTc)))Defined in ghc-lib-parser-9.14.1.20251220 · GHC.Hs.Instances · orphan
type Anno (GRHS (GhcPass p) (LocatedA (HsCmd (GhcPass p)))) = EpAnnCODefined in ghc-lib-parser-9.14.1.20251220 · GHC.Hs.Expr · orphan
type Anno (HsCmd (GhcPass p)) = SrcSpanAnnADefined in ghc-lib-parser-9.14.1.20251220 · GHC.Hs.Expr · orphan
type Anno (Match (GhcPass p) (LocatedA (HsCmd (GhcPass p)))) = SrcSpanAnnADefined in ghc-lib-parser-9.14.1.20251220 · GHC.Hs.Expr · orphan
type Anno [LocatedA (Match (GhcPass p) (LocatedA (HsCmd (GhcPass p))))] = SrcSpanAnnLWDefined in ghc-lib-parser-9.14.1.20251220 · GHC.Hs.Expr · orphan
type Anno [LocatedA (StmtLR (GhcPass pl) (GhcPass pr) (LocatedA (HsCmd (GhcPass pr))))] = SrcSpanAnnLWDefined in ghc-lib-parser-9.14.1.20251220 · GHC.Hs.Expr · orphan
type Body (HsCmd GhcPs) = HsCmdDefined in ghc-lib-parser-9.14.1.20251220 · GHC.Parser.PostProcess
type FunArg (HsCmd GhcPs) = HsExpr GhcPsDefined in ghc-lib-parser-9.14.1.20251220 · GHC.Parser.PostProcess
type InfixOp (HsCmd GhcPs) = HsExpr GhcPsDefined in ghc-lib-parser-9.14.1.20251220 · GHC.Parser.PostProcess

datadata HsArrAppType

Haskell arrow application type.

Constructors

HsHigherOrderApp
First order arrow application -<
HsFirstOrderApp
Higher order arrow application -<<

Instances1Data

Data HsArrAppTypeDefined in ghc-lib-parser-9.14.1.20251220 · Language.Haskell.Syntax.Expr

typetype LHsCmdTop p = XRec p (HsCmdTop p)

Top-level command, introducing a new arrow. This may occur inside a proc (where the stack is empty) or as an argument of a command-forming operator.

Located Haskell Top-level Command

datadata HsCmdTop p

Haskell Top-level Command

Constructors

HsCmdTop (XCmdTop p) (LHsCmd p)
XCmdTop !(XXCmdTop p)

Instances5Data, Outputable, Anno

Data (HsCmdTop GhcPs)Defined in ghc-lib-parser-9.14.1.20251220 · GHC.Hs.Instances · orphan
Data (HsCmdTop GhcRn)Defined in ghc-lib-parser-9.14.1.20251220 · GHC.Hs.Instances · orphan
Data (HsCmdTop GhcTc)Defined in ghc-lib-parser-9.14.1.20251220 · GHC.Hs.Instances · orphan
OutputableBndrId p => Outputable (HsCmdTop (GhcPass p))Defined in ghc-lib-parser-9.14.1.20251220 · GHC.Hs.Expr · orphan
type Anno (HsCmdTop (GhcPass p)) = EpAnnCODefined in ghc-lib-parser-9.14.1.20251220 · GHC.Hs.Expr · orphan

typetype HsRecordBinds p = HsRecFields p (LHsExpr p)

Haskell Record Bindings

datadata MatchGroup p body

Constructors

MG
- mg_ext :: XMG p body
- mg_alts :: XRec p [LMatch p body]
XMatchGroup !(XXMatchGroup p body)

Instances6Data

Data (MatchGroup GhcPs (LocatedA (HsCmd GhcPs)))Defined in ghc-lib-parser-9.14.1.20251220 · GHC.Hs.Instances · orphan
Data (MatchGroup GhcPs (LocatedA (HsExpr GhcPs)))Defined in ghc-lib-parser-9.14.1.20251220 · GHC.Hs.Instances · orphan
Data (MatchGroup GhcRn (LocatedA (HsCmd GhcRn)))Defined in ghc-lib-parser-9.14.1.20251220 · GHC.Hs.Instances · orphan
Data (MatchGroup GhcRn (LocatedA (HsExpr GhcRn)))Defined in ghc-lib-parser-9.14.1.20251220 · GHC.Hs.Instances · orphan
Data (MatchGroup GhcTc (LocatedA (HsCmd GhcTc)))Defined in ghc-lib-parser-9.14.1.20251220 · GHC.Hs.Instances · orphan
Data (MatchGroup GhcTc (LocatedA (HsExpr GhcTc)))Defined in ghc-lib-parser-9.14.1.20251220 · GHC.Hs.Instances · orphan

typetype LMatch id body = XRec id (Match id body)

Located Match

datadata Match p body

Constructors

Match
- m_ext :: XCMatch p body
- m_ctxt :: HsMatchContext (LIdP (NoGhcTc p))
- m_pats :: XRec p [LPat p]
- m_grhss :: GRHSs p body
XMatch !(XXMatch p body)

Instances13Data, Outputable, Anno, …

Data (Match GhcPs (LocatedA (HsCmd GhcPs)))Defined in ghc-lib-parser-9.14.1.20251220 · GHC.Hs.Instances · orphan
Data (Match GhcPs (LocatedA (HsExpr GhcPs)))Defined in ghc-lib-parser-9.14.1.20251220 · GHC.Hs.Instances · orphan
Data (Match GhcRn (LocatedA (HsCmd GhcRn)))Defined in ghc-lib-parser-9.14.1.20251220 · GHC.Hs.Instances · orphan
Data (Match GhcRn (LocatedA (HsExpr GhcRn)))Defined in ghc-lib-parser-9.14.1.20251220 · GHC.Hs.Instances · orphan
Data (Match GhcTc (LocatedA (HsCmd GhcTc)))Defined in ghc-lib-parser-9.14.1.20251220 · GHC.Hs.Instances · orphan
Data (Match GhcTc (LocatedA (HsExpr GhcTc)))Defined in ghc-lib-parser-9.14.1.20251220 · GHC.Hs.Instances · orphan
(OutputableBndrId pr, Outputable body) => Outputable (Match (GhcPass pr) body)Defined in ghc-lib-parser-9.14.1.20251220 · GHC.Hs.Expr · orphan
type Anno (Match GhcPs (LocatedA (PatBuilder GhcPs))) = SrcSpanAnnADefined in ghc-lib-parser-9.14.1.20251220 · GHC.Parser.Types
type Anno (Match (GhcPass p) (LocatedA (HsCmd (GhcPass p)))) = SrcSpanAnnADefined in ghc-lib-parser-9.14.1.20251220 · GHC.Hs.Expr · orphan
type Anno (Match (GhcPass p) (LocatedA (HsExpr (GhcPass p)))) = SrcSpanAnnADefined in ghc-lib-parser-9.14.1.20251220 · GHC.Hs.Expr · orphan
type Anno [LocatedA (Match GhcPs (LocatedA (PatBuilder GhcPs)))] = SrcSpanAnnLWDefined in ghc-lib-parser-9.14.1.20251220 · GHC.Parser.Types
type Anno [LocatedA (Match (GhcPass p) (LocatedA (HsCmd (GhcPass p))))] = SrcSpanAnnLWDefined in ghc-lib-parser-9.14.1.20251220 · GHC.Hs.Expr · orphan
type Anno [LocatedA (Match (GhcPass p) (LocatedA (HsExpr (GhcPass p))))] = SrcSpanAnnLWDefined in ghc-lib-parser-9.14.1.20251220 · GHC.Hs.Expr · orphan

datadata GRHSs p body

Guarded Right-Hand Sides

GRHSs are used both for pattern bindings and for Matches

Constructors

GRHSs
- grhssExt :: XCGRHSs p body
- grhssGRHSs :: NonEmpty (LGRHS p body)
  Guarded RHSs
- grhssLocalBinds :: HsLocalBinds p
  The where clause
XGRHSs !(XXGRHSs p body)

Instances6Data

Data (GRHSs GhcPs (LocatedA (HsCmd GhcPs)))Defined in ghc-lib-parser-9.14.1.20251220 · GHC.Hs.Instances · orphan
Data (GRHSs GhcPs (LocatedA (HsExpr GhcPs)))Defined in ghc-lib-parser-9.14.1.20251220 · GHC.Hs.Instances · orphan
Data (GRHSs GhcRn (LocatedA (HsCmd GhcRn)))Defined in ghc-lib-parser-9.14.1.20251220 · GHC.Hs.Instances · orphan
Data (GRHSs GhcRn (LocatedA (HsExpr GhcRn)))Defined in ghc-lib-parser-9.14.1.20251220 · GHC.Hs.Instances · orphan
Data (GRHSs GhcTc (LocatedA (HsCmd GhcTc)))Defined in ghc-lib-parser-9.14.1.20251220 · GHC.Hs.Instances · orphan
Data (GRHSs GhcTc (LocatedA (HsExpr GhcTc)))Defined in ghc-lib-parser-9.14.1.20251220 · GHC.Hs.Instances · orphan

typetype LGRHS id body = XRec id (GRHS id body)

Located Guarded Right-Hand Side

datadata GRHS p body

Guarded Right Hand Side.

Constructors

GRHS (XCGRHS p body) [GuardLStmt p] body
XGRHS !(XXGRHS p body)

Instances9Data, Anno, …

Data (GRHS GhcPs (LocatedA (HsCmd GhcPs)))Defined in ghc-lib-parser-9.14.1.20251220 · GHC.Hs.Instances · orphan
Data (GRHS GhcPs (LocatedA (HsExpr GhcPs)))Defined in ghc-lib-parser-9.14.1.20251220 · GHC.Hs.Instances · orphan
Data (GRHS GhcRn (LocatedA (HsCmd GhcRn)))Defined in ghc-lib-parser-9.14.1.20251220 · GHC.Hs.Instances · orphan
Data (GRHS GhcRn (LocatedA (HsExpr GhcRn)))Defined in ghc-lib-parser-9.14.1.20251220 · GHC.Hs.Instances · orphan
Data (GRHS GhcTc (LocatedA (HsCmd GhcTc)))Defined in ghc-lib-parser-9.14.1.20251220 · GHC.Hs.Instances · orphan
Data (GRHS GhcTc (LocatedA (HsExpr GhcTc)))Defined in ghc-lib-parser-9.14.1.20251220 · GHC.Hs.Instances · orphan
type Anno (GRHS GhcPs (LocatedA (PatBuilder GhcPs))) = EpAnnCODefined in ghc-lib-parser-9.14.1.20251220 · GHC.Parser.Types
type Anno (GRHS (GhcPass p) (LocatedA (HsCmd (GhcPass p)))) = EpAnnCODefined in ghc-lib-parser-9.14.1.20251220 · GHC.Hs.Expr · orphan
type Anno (GRHS (GhcPass p) (LocatedA (HsExpr (GhcPass p)))) = EpAnnCODefined in ghc-lib-parser-9.14.1.20251220 · GHC.Hs.Expr · orphan

typetype LStmt id body = XRec id (StmtLR id id body)

Located do block Statement

typetype LStmtLR idL idR body = XRec idL (StmtLR idL idR body)

Located Statement with separate Left and Right id's

typetype Stmt id body = StmtLR id id body

do block Statement

typetype CmdLStmt id = LStmt id (LHsCmd id)

Command Located Statement

typetype CmdStmt id = Stmt id (LHsCmd id)

Command Statement

typetype ExprLStmt id = LStmt id (LHsExpr id)

Expression Located Statement

typetype ExprStmt id = Stmt id (LHsExpr id)

Expression Statement

typetype GuardLStmt id = LStmt id (LHsExpr id)

Guard Located Statement

typetype GuardStmt id = Stmt id (LHsExpr id)

Guard Statement

typetype GhciLStmt id = LStmt id (LHsExpr id)

Ghci Located Statement

typetype GhciStmt id = Stmt id (LHsExpr id)

Ghci Statement

datadata StmtLR idL idR body

Constructors

LastStmt (XLastStmt idL idR body) body (Maybe Bool) (SyntaxExpr idR)
BindStmt (XBindStmt idL idR body) (LPat idL) body
BodyStmt (XBodyStmt idL idR body) body (SyntaxExpr idR) (SyntaxExpr idR)
LetStmt (XLetStmt idL idR body) (HsLocalBindsLR idL idR)
ParStmt (XParStmt idL idR body) (NonEmpty (ParStmtBlock idL idR)) (HsExpr idR) (SyntaxExpr idR)
TransStmt
- trS_ext :: XTransStmt idL idR body
- trS_form :: TransForm
- trS_stmts :: [ExprLStmt idL]
- trS_bndrs :: [(IdP idR, IdP idR)]
- trS_using :: LHsExpr idR
- trS_by :: Maybe (LHsExpr idR)
- trS_ret :: SyntaxExpr idR
- trS_bind :: SyntaxExpr idR
- trS_fmap :: HsExpr idR
RecStmt
- recS_ext :: XRecStmt idL idR body
- recS_stmts :: XRec idR [LStmtLR idL idR body]
- recS_later_ids :: [IdP idR]
- recS_rec_ids :: [IdP idR]
- recS_bind_fn :: SyntaxExpr idR
- recS_ret_fn :: SyntaxExpr idR
- recS_mfix_fn :: SyntaxExpr idR
XStmtLR !(XXStmtLR idL idR body)

Instances20CollectBinders, CollectFldBinders, Data, Outputable, Anno, …

CollectBinders [LocatedA (Stmt GhcTc (LocatedA (HsCmd GhcTc)))]Defined in ghc-lib-parser-9.14.1.20251220 · GHC.HsToCore.Ticks
CollectBinders [LocatedA (Stmt GhcTc (LocatedA (HsExpr GhcTc)))]Defined in ghc-lib-parser-9.14.1.20251220 · GHC.HsToCore.Ticks
CollectFldBinders (Stmt GhcTc e)Defined in ghc-lib-parser-9.14.1.20251220 · GHC.HsToCore.Ticks
Data (StmtLR GhcPs GhcPs (LocatedA (HsCmd GhcPs)))Defined in ghc-lib-parser-9.14.1.20251220 · GHC.Hs.Instances · orphan
Data (StmtLR GhcPs GhcPs (LocatedA (HsExpr GhcPs)))Defined in ghc-lib-parser-9.14.1.20251220 · GHC.Hs.Instances · orphan
Data (StmtLR GhcPs GhcRn (LocatedA (HsCmd GhcRn)))Defined in ghc-lib-parser-9.14.1.20251220 · GHC.Hs.Instances · orphan
Data (StmtLR GhcPs GhcRn (LocatedA (HsExpr GhcRn)))Defined in ghc-lib-parser-9.14.1.20251220 · GHC.Hs.Instances · orphan
Data (StmtLR GhcRn GhcRn (LocatedA (HsCmd GhcRn)))Defined in ghc-lib-parser-9.14.1.20251220 · GHC.Hs.Instances · orphan
Data (StmtLR GhcRn GhcRn (LocatedA (HsExpr GhcRn)))Defined in ghc-lib-parser-9.14.1.20251220 · GHC.Hs.Instances · orphan
Data (StmtLR GhcTc GhcTc (LocatedA (HsCmd GhcTc)))Defined in ghc-lib-parser-9.14.1.20251220 · GHC.Hs.Instances · orphan
Data (StmtLR GhcTc GhcTc (LocatedA (HsExpr GhcTc)))Defined in ghc-lib-parser-9.14.1.20251220 · GHC.Hs.Instances · orphan
(OutputableBndrId pl, OutputableBndrId pr, Anno (StmtLR (GhcPass pl) (GhcPass pr) body) ~ SrcSpanAnnA, Outputable body) => Outputable (StmtLR (GhcPass pl) (GhcPass pr) body)Defined in ghc-lib-parser-9.14.1.20251220 · GHC.Hs.Expr · orphan
type Anno (StmtLR GhcPs GhcPs (LocatedA (PatBuilder GhcPs))) = SrcSpanAnnADefined in ghc-lib-parser-9.14.1.20251220 · GHC.Parser.Types
type Anno (StmtLR GhcRn GhcRn (LocatedA (body GhcRn))) = SrcSpanAnnADefined in ghc-lib-parser-9.14.1.20251220 · GHC.Hs.Expr · orphan
type Anno (StmtLR (GhcPass pl) (GhcPass pr) (LocatedA (body (GhcPass pr)))) = SrcSpanAnnADefined in ghc-lib-parser-9.14.1.20251220 · GHC.Hs.Expr · orphan
type Anno [LocatedA (StmtLR GhcPs GhcPs (LocatedA (PatBuilder GhcPs)))] = SrcSpanAnnLWDefined in ghc-lib-parser-9.14.1.20251220 · GHC.Parser.Types
type Anno [LocatedA (StmtLR (GhcPass pl) (GhcPass pr) (LocatedA (HsCmd (GhcPass pr))))] = SrcSpanAnnLWDefined in ghc-lib-parser-9.14.1.20251220 · GHC.Hs.Expr · orphan
type Anno [LocatedA (StmtLR (GhcPass pl) (GhcPass pr) (LocatedA (HsExpr (GhcPass pr))))] = SrcSpanAnnLWDefined in ghc-lib-parser-9.14.1.20251220 · GHC.Hs.Expr · orphan
type Anno [LocatedA (StmtLR (GhcPass pl) (GhcPass pr) (LocatedA (body (GhcPass pr))))] = SrcSpanAnnLWDefined in ghc-lib-parser-9.14.1.20251220 · GHC.Hs.Expr · orphan
type Anno [LocatedA (StmtLR (GhcPass pl) (GhcPass pr) (LocatedA (body (GhcPass pr))))] = SrcSpanAnnLWDefined in ghc-lib-parser-9.14.1.20251220 · GHC.Hs.Expr · orphan

datadata TransForm

ThenForm GroupForm

Instances1Data

Data TransFormDefined in ghc-lib-parser-9.14.1.20251220 · Language.Haskell.Syntax.Expr

datadata ParStmtBlock idL idR

Parenthesised Statement Block

Constructors

ParStmtBlock (XParStmtBlock idL idR) [ExprLStmt idL] [IdP idR] (SyntaxExpr idR)
XParStmtBlock !(XXParStmtBlock idL idR)

Instances5Data, Outputable

Data (ParStmtBlock GhcPs GhcPs)Defined in ghc-lib-parser-9.14.1.20251220 · GHC.Hs.Instances · orphan
Data (ParStmtBlock GhcPs GhcRn)Defined in ghc-lib-parser-9.14.1.20251220 · GHC.Hs.Instances · orphan
Data (ParStmtBlock GhcRn GhcRn)Defined in ghc-lib-parser-9.14.1.20251220 · GHC.Hs.Instances · orphan
Data (ParStmtBlock GhcTc GhcTc)Defined in ghc-lib-parser-9.14.1.20251220 · GHC.Hs.Instances · orphan
(Outputable (StmtLR (GhcPass idL) (GhcPass idL) (LHsExpr (GhcPass idL))), Outputable (XXParStmtBlock (GhcPass idL) (GhcPass idR))) => Outputable (ParStmtBlock (GhcPass idL) (GhcPass idR))Defined in ghc-lib-parser-9.14.1.20251220 · GHC.Hs.Expr · orphan

typetype FailOperator id = Maybe (SyntaxExpr id)

The fail operator

This is used for `.. <-` "bind statements" in do notation, including non-monadic "binds" in applicative.

The fail operator is 'Just expr' if it potentially fail monadically. if the pattern match cannot fail, or shouldn't fail monadically (regular incomplete pattern exception), it is Nothing.

See Note [Monad fail : Rebindable syntax, overloaded strings] for the type of expression in the Just case, and why it is so.

See Note [Failing pattern matches in Stmts] for which contexts for 'BindStmt's should use the monadic fail and which shouldn't.

datadata HsUntypedSplice id

Haskell Splice

Constructors

HsUntypedSpliceExpr (XUntypedSpliceExpr id) (LHsExpr id)
HsQuasiQuote (XQuasiQuote id) (LIdP id) (XRec id FastString)
XUntypedSplice !(XXUntypedSplice id)

Instances4Data, Anno

Data (HsUntypedSplice GhcPs)Defined in ghc-lib-parser-9.14.1.20251220 · GHC.Hs.Instances · orphan
Data (HsUntypedSplice GhcRn)Defined in ghc-lib-parser-9.14.1.20251220 · GHC.Hs.Instances · orphan
Data (HsUntypedSplice GhcTc)Defined in ghc-lib-parser-9.14.1.20251220 · GHC.Hs.Instances · orphan
type Anno (HsUntypedSplice (GhcPass p)) = SrcSpanAnnADefined in ghc-lib-parser-9.14.1.20251220 · GHC.Hs.Expr · orphan

datadata HsTypedSplice id

Constructors

HsTypedSpliceExpr (XTypedSpliceExpr id) (LHsExpr id)
XTypedSplice !(XXTypedSplice id)

Instances3Data

Data (HsTypedSplice GhcPs)Defined in ghc-lib-parser-9.14.1.20251220 · GHC.Hs.Instances · orphan
Data (HsTypedSplice GhcRn)Defined in ghc-lib-parser-9.14.1.20251220 · GHC.Hs.Instances · orphan
Data (HsTypedSplice GhcTc)Defined in ghc-lib-parser-9.14.1.20251220 · GHC.Hs.Instances · orphan

datadata HsQuote p

Haskell (Untyped) Quote = Expr + Pat + Type + Var

Constructors

ExpBr (XExpBr p) (LHsExpr p)
PatBr (XPatBr p) (LPat p)
DecBrL (XDecBrL p) [LHsDecl p]
DecBrG (XDecBrG p) (HsGroup p)
TypBr (XTypBr p) (LHsType p)
VarBr (XVarBr p) Bool (LIdP p)
XQuote !(XXQuote p)

Instances4Data, Outputable

Data (HsQuote GhcPs)Defined in ghc-lib-parser-9.14.1.20251220 · GHC.Hs.Instances · orphan
Data (HsQuote GhcRn)Defined in ghc-lib-parser-9.14.1.20251220 · GHC.Hs.Instances · orphan
Data (HsQuote GhcTc)Defined in ghc-lib-parser-9.14.1.20251220 · GHC.Hs.Instances · orphan
OutputableBndrId p => Outputable (HsQuote (GhcPass p))Defined in ghc-lib-parser-9.14.1.20251220 · GHC.Hs.Expr · orphan

datadata ArithSeqInfo id

Arithmetic Sequence Information

Constructors

From (LHsExpr id)
FromThen (LHsExpr id) (LHsExpr id)
FromTo (LHsExpr id) (LHsExpr id)
FromThenTo (LHsExpr id) (LHsExpr id) (LHsExpr id)

Instances4Data, Outputable

Data (ArithSeqInfo GhcPs)Defined in ghc-lib-parser-9.14.1.20251220 · GHC.Hs.Instances · orphan
Data (ArithSeqInfo GhcRn)Defined in ghc-lib-parser-9.14.1.20251220 · GHC.Hs.Instances · orphan
Data (ArithSeqInfo GhcTc)Defined in ghc-lib-parser-9.14.1.20251220 · GHC.Hs.Instances · orphan
OutputableBndrId p => Outputable (ArithSeqInfo (GhcPass p))Defined in ghc-lib-parser-9.14.1.20251220 · GHC.Hs.Expr · orphan

datadata HsMatchContext fn

Haskell Match Context

Context of a pattern match. This is more subtle than it would seem. See Note [FunBind vs PatBind].

Constructors

FunRhs
A pattern matching on an argument of a function binding
- mc_fun :: fn
  function binder of f See Note [mc_fun field of FunRhs] See #20415 for a long discussion about this field
- mc_fixity :: LexicalFixity
  fixing of f
- mc_strictness :: SrcStrictness
  was f banged? See Note [FunBind vs PatBind]
- mc_an :: XFunRhs
CaseAlt
Patterns and guards in a case alternative
LamAlt HsLamVariant
Patterns and guards in @, case and cases@
IfAlt
Guards of a multi-way if alternative
ArrowMatchCtxt HsArrowMatchContext
A pattern match inside arrow notation
PatBindRhs
A pattern binding eg [y] <- e = e
PatBindGuards
Guards of pattern bindings, e.g., (Just b) | Just _ <- x = e | otherwise = e'
RecUpd
Record update [used only in GHC.HsToCore.Expr to tell matchWrapper what sort of runtime error message to generate]
StmtCtxt (HsStmtContext fn)
Pattern of a do-stmt, list comprehension, pattern guard, etc
ThPatSplice
A Template Haskell pattern splice
ThPatQuote
A Template Haskell pattern quotation [p| (a,b) |]
PatSyn
A pattern synonym declaration
LazyPatCtx
An irrefutable pattern

Instances2Data, Outputable

Data fn => Data (HsMatchContext fn)Defined in ghc-lib-parser-9.14.1.20251220 · GHC.Hs.Instances · orphan
Outputable fn => Outputable (HsMatchContext fn)Defined in ghc-lib-parser-9.14.1.20251220 · GHC.Hs.Expr · orphan

datadata HsStmtContext fn

Haskell Statement Context.

Constructors

HsDoStmt HsDoFlavour
Context for HsDo (do-notation and comprehensions)
PatGuard (HsMatchContext fn)
Pattern guard for specified thing
ParStmtCtxt (HsStmtContext fn)
A branch of a parallel stmt
TransStmtCtxt (HsStmtContext fn)
A branch of a transform stmt
ArrowExpr
do-notation in an arrow-command context

Instances2Data, Outputable

Data fn => Data (HsStmtContext fn)Defined in ghc-lib-parser-9.14.1.20251220 · GHC.Hs.Instances · orphan
Outputable fn => Outputable (HsStmtContext fn)Defined in ghc-lib-parser-9.14.1.20251220 · GHC.Hs.Expr · orphan

datadata HsArrowMatchContext

Haskell arrow match context.

Constructors

ProcExpr
A proc expression
ArrowCaseAlt
A case alternative inside arrow notation
ArrowLamAlt HsLamVariant
A , case or cases alternative inside arrow notation

Instances2Data, Outputable

Data HsArrowMatchContextDefined in ghc-lib-parser-9.14.1.20251220 · GHC.Hs.Instances · orphan
Outputable HsArrowMatchContextDefined in ghc-lib-parser-9.14.1.20251220 · GHC.Hs.Expr · orphan

datadata HsDoFlavour

Constructors

DoExpr (Maybe ModuleName)
ModuleName.
do { ... }
MDoExpr (Maybe ModuleName)
ModuleName.
mdo { ... } ie recursive do-expression
GhciStmtCtxt
A command-line Stmt in GHCi pat <- rhs
ListComp
MonadComp

Instances2Eq, Data

Eq HsDoFlavourDefined in ghc-lib-parser-9.14.1.20251220 · Language.Haskell.Syntax.Expr
Data HsDoFlavourDefined in ghc-lib-parser-9.14.1.20251220 · Language.Haskell.Syntax.Expr

valuequalifiedDoModuleName_maybe :: HsStmtContext fn -> Maybe ModuleName

valueisPatSynCtxt :: HsMatchContext fn -> Bool

valueisComprehensionContext :: HsStmtContext fn -> Bool

valueisDoComprehensionContext :: HsDoFlavour -> Bool

valueisMonadStmtContext :: HsStmtContext fn -> Bool

Is this a monadic context?

valueisMonadDoStmtContext :: HsDoFlavour -> Bool

valueisMonadCompContext :: HsStmtContext fn -> Bool

valueisMonadDoCompContext :: HsDoFlavour -> Bool