Safe Haskell	None
Language	Haskell2010

Language.Haskell.Tools.AST.Exprs

Description

Representation of Haskell expressions

Synopsis

Documentation

data Expr dom stage Source #

Haskell expressions

Constructors

Var	A variable or a data constructor ( `a` )
Fields _exprName :: Ann Name dom stage
Lit	Primitive literal
Fields _exprLit :: Ann Literal dom stage
InfixApp	Infix operator application ( `a + b` )
Fields _exprLhs :: Ann Expr dom stage _exprOperator :: Ann Operator dom stage _exprRhs :: Ann Expr dom stage
PrefixApp	Prefix operator application ( `-x` )
Fields _exprOperator :: Ann Operator dom stage _exprRhs :: Ann Expr dom stage
App	Function application ( `f 4` ) unary minus omitted
Fields _exprFun :: Ann Expr dom stage _exprArg :: Ann Expr dom stage
Lambda	Lambda expression ( `a b -> a + b` )
Fields _exprBindings :: AnnList Pattern dom stage at least one _exprInner :: Ann Expr dom stage
Let	Local binding ( `let x = 2; y = 3 in e x y` )
Fields _exprFunBind :: AnnList LocalBind dom stage nonempty _exprInner :: Ann Expr dom stage
If	If expression ( `if a then b else c` )
Fields _exprCond :: Ann Expr dom stage _exprThen :: Ann Expr dom stage _exprElse :: Ann Expr dom stage
MultiIf	Multi way if expressions with `MultiWayIf` extension ( `if \| guard1 -> expr1; guard2 -> expr2` )
Fields _exprIfAlts :: AnnList GuardedCaseRhs dom stage
Case	Pattern matching expression ( `case expr of pat1 -> expr1; pat2 -> expr2` )
Fields _exprCase :: Ann Expr dom stage _exprAlts :: AnnList Alt dom stage
Do	Do-notation expressions ( `do x <- act1; act2` )
Fields _doKind :: Ann DoKind dom stage _exprStmts :: AnnList Stmt dom stage
Tuple	Tuple expression ( `(e1, e2, e3)` )
Fields _tupleElems :: AnnList Expr dom stage
UnboxedTuple	Unboxed tuple expression ( `()` )
Fields _tupleElems :: AnnList Expr dom stage
TupleSection	Tuple section, enabled with `TupleSections` ( `(a,,b)` ). One of the elements must be missing.
Fields _tupleSectionElems :: AnnList TupSecElem dom stage
UnboxedTupSec
Fields _tupleSectionElems :: AnnList TupSecElem dom stage
List	List expression: `[1,2,3]`
Fields _listElems :: AnnList Expr dom stage
ParArray	Parallel array expression: `[: 1,2,3 :]`
Fields _listElems :: AnnList Expr dom stage
Paren
Fields _exprInner :: Ann Expr dom stage
LeftSection	Left operator section: `(1+)`
Fields _exprLhs :: Ann Expr dom stage _exprOperator :: Ann Operator dom stage
RightSection	Right operator section: `(+1)`
Fields _exprOperator :: Ann Operator dom stage _exprRhs :: Ann Expr dom stage
RecCon	Record value construction: `Point { x = 3, y = -2 }`
Fields _exprRecName :: Ann Name dom stage _exprRecFields :: AnnList FieldUpdate dom stage
RecUpdate	Record value update: `p1 { x = 3, y = -2 }`
Fields _exprInner :: Ann Expr dom stage _exprRecFields :: AnnList FieldUpdate dom stage
Enum	Enumeration expression ( `[1,3..10]` )
Fields _enumFrom :: Ann Expr dom stage _enumThen :: AnnMaybe Expr dom stage _enumTo :: AnnMaybe Expr dom stage
ParArrayEnum	Parallel array enumeration ( `[: 1,3 .. 10 :]` )
Fields _enumFrom :: Ann Expr dom stage _enumThen :: AnnMaybe Expr dom stage _enumToFix :: Ann Expr dom stage
ListComp	List comprehension ( `[ (x, y) \| x <- xs \| y <- ys ]` )
Fields _compExpr :: Ann Expr dom stage _compBody :: AnnList ListCompBody dom stage Can only have 1 element without `ParallelListComp`
ParArrayComp	Parallel array comprehensions `[: (x, y) \| x <- xs , y <- ys :]` enabled by `ParallelArrays`
Fields _compExpr :: Ann Expr dom stage _compBody :: AnnList ListCompBody dom stage Can only have 1 element without `ParallelListComp`
TypeSig	Explicit type signature ( `_x :: Int` )
Fields _exprInner :: Ann Expr dom stage _exprSig :: Ann Type dom stage
ExplTypeApp	Explicit type application ( `show @Integer (read "5")` )
Fields _exprInner :: Ann Expr dom stage _exprType :: Ann Type dom stage
VarQuote	`'x` for template haskell reifying of expressions
Fields _quotedName :: Ann Name dom stage
TypeQuote	`''T` for template haskell reifying of types
Fields _quotedName :: Ann Name dom stage
BracketExpr	Template haskell bracket expression
Fields _bracket :: Ann Bracket dom stage
Splice	Template haskell splice expression, for example: `$(gen a)` or `$x`
Fields _innerExpr :: Ann Splice dom stage
QuasiQuoteExpr	Template haskell quasi-quotation: `[$quoter\|str]`
Fields _exprQQ :: Ann QuasiQuote dom stage
ExprPragma
Fields _exprPragma :: Ann ExprPragma dom stage
Proc	Arrow definition: `proc a -> f -< a+1`
Fields _procPattern :: Ann Pattern dom stage _procExpr :: Ann Cmd dom stage
ArrowApp	Arrow application: `f -< a+1`
Fields _exprLhs :: Ann Expr dom stage _arrowAppl :: Ann ArrowAppl dom stage _exprRhs :: Ann Expr dom stage
LamCase	Lambda case ( `case 0 -> 1; 1 -> 2` )
Fields _exprAlts :: AnnList Alt dom stage
StaticPtr	Static pointer expression ( `static e` ). The inner expression must be closed (cannot have variables bound outside) XML expressions omitted
Fields _exprInner :: Ann Expr dom stage

Instances

type Rep (Expr dom stage) Source #

data FieldUpdate dom stage Source #

Field update expressions

Constructors

NormalFieldUpdate	Update of a field ( `x = 1` )
Fields _fieldName :: Ann Name dom stage _fieldValue :: Ann Expr dom stage
FieldPun	Update the field to the value of the same name ( `x` )
Fields _fieldUpdateName :: Ann Name dom stage
FieldWildcard	Update the fields of the bounded names to their values ( `..` ). Must be the last initializer. Cannot be used in a record update expression.
Fields _fieldWildcard :: Ann FieldWildcard dom stage

Instances

type Rep (FieldUpdate dom stage) Source #

data FieldWildcard dom stage Source #

Marker for a field wildcard. Only needed to attach semantic information in a type-safe way.

Constructors

FldWildcard

Instances

type Rep (FieldWildcard dom stage) Source #
type Rep (FieldWildcard dom stage) = D1 (MetaData "FieldWildcard" "Language.Haskell.Tools.AST.Exprs" "haskell-tools-ast-0.2.0.0-5y5XIph7fmGIUhHQZ35OfD" False) (C1 (MetaCons "FldWildcard" PrefixI False) U1)

data TupSecElem dom stage Source #

An element of a tuple section that can be an expression or missing (indicating a value from a parameter)

Constructors

Present	An existing element in a tuple section
Fields _tupSecExpr :: Ann Expr dom stage
Missing	A missing element in a tuple section

Instances

type Rep (TupSecElem dom stage) Source #
type Rep (TupSecElem dom stage) = D1 (MetaData "TupSecElem" "Language.Haskell.Tools.AST.Exprs" "haskell-tools-ast-0.2.0.0-5y5XIph7fmGIUhHQZ35OfD" False) ((:+:) (C1 (MetaCons "Present" PrefixI True) (S1 (MetaSel (Just Symbol "_tupSecExpr") NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 (Ann Expr dom stage)))) (C1 (MetaCons "Missing" PrefixI False) U1))

data Alt' expr dom stage Source #

Clause of case expression

Constructors

Alt
Fields _altPattern :: Ann Pattern dom stage _altRhs :: Ann (CaseRhs' expr) dom stage _altBinds :: AnnMaybe LocalBinds dom stage

Instances

type Rep (Alt' expr dom stage) Source #

type Alt = Alt' Expr Source #

type CmdAlt = Alt' Cmd Source #

data CaseRhs' expr dom stage Source #

Right hand side of a match (possible with guards): ( = 3 or | x == 1 = 3; | otherwise = 4 )

Constructors

UnguardedCaseRhs
Fields _rhsCaseExpr :: Ann expr dom stage
GuardedCaseRhss
Fields _rhsCaseGuards :: AnnList (GuardedCaseRhs' expr) dom stage

Instances

type Rep (CaseRhs' expr dom stage) Source #

type CaseRhs = CaseRhs' Expr Source #

type CmdCaseRhs = CaseRhs' Cmd Source #

data GuardedCaseRhs' expr dom stage Source #

A guarded right-hand side of pattern matches binding ( | x > 3 -> 2 )

Constructors

GuardedCaseRhs
Fields _caseGuardStmts :: AnnList RhsGuard dom stage Cannot be empty. _caseGuardExpr :: Ann expr dom stage

Instances

type Rep (GuardedCaseRhs' expr dom stage) Source #

type GuardedCaseRhs = GuardedCaseRhs' Expr Source #

type CmdGuardedCaseRhs = GuardedCaseRhs' Cmd Source #

data ExprPragma dom stage Source #

Pragmas that can be applied to expressions

Constructors

CorePragma
Fields _pragmaStr :: Ann StringNode dom stage
SccPragma
Fields _pragmaStr :: Ann StringNode dom stage
GeneratedPragma
Fields _pragmaSrcRange :: Ann SourceRange dom stage

Instances

type Rep (ExprPragma dom stage) Source #

data SourceRange dom stage Source #

In-AST source ranges (for generated pragmas)

Constructors

SourceRange
Fields _srFileName :: Ann StringNode dom stage _srFromLine :: Ann Number dom stage _srFromCol :: Ann Number dom stage _srToLine :: Ann Number dom stage _srToCol :: Ann Number dom stage

Instances

type Rep (SourceRange dom stage) Source #

data Number dom stage Source #

Constructors

Number
Fields _numberInteger :: Integer

Instances

type Rep (Number dom stage) Source #
type Rep (Number dom stage) = D1 (MetaData "Number" "Language.Haskell.Tools.AST.Exprs" "haskell-tools-ast-0.2.0.0-5y5XIph7fmGIUhHQZ35OfD" False) (C1 (MetaCons "Number" PrefixI True) (S1 (MetaSel (Just Symbol "_numberInteger") NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 Integer)))

data Cmd dom stage Source #

Constructors

ArrowAppCmd
Fields _cmdLhs :: Ann Expr dom stage _cmdArrowOp :: Ann ArrowAppl dom stage _cmdRhs :: Ann Expr dom stage
ArrowFormCmd
Fields _cmdExpr :: Ann Expr dom stage _cmdInnerCmds :: AnnList Cmd dom stage
AppCmd
Fields _cmdInnerCmd :: Ann Cmd dom stage _cmdApplied :: Ann Expr dom stage
InfixCmd
Fields _cmdLeftCmd :: Ann Cmd dom stage _cmdOperator :: Ann Name dom stage _cmdRightCmd :: Ann Cmd dom stage
LambdaCmd
Fields _cmdBindings :: AnnList Pattern dom stage at least one _cmdInner :: Ann Cmd dom stage
ParenCmd
Fields _cmdInner :: Ann Cmd dom stage
CaseCmd
Fields _cmdExpr :: Ann Expr dom stage _cmdAlts :: AnnList CmdAlt dom stage
IfCmd
Fields _cmdExpr :: Ann Expr dom stage _cmdThen :: Ann Cmd dom stage _cmdElse :: Ann Cmd dom stage
LetCmd
Fields _cmdBinds :: AnnList LocalBind dom stage nonempty _cmdInner :: Ann Cmd dom stage
DoCmd
Fields _cmdStmts :: AnnList (Stmt' Cmd) dom stage

Instances

type Rep (Cmd dom stage) Source #