haskell-tools-ast-0.2.0.0: Haskell AST for efficient tooling

Safe Haskell	None
Language	Haskell2010

Language.Haskell.Tools.AST.Patterns

Description

Representation of Haskell patterns

Synopsis

Documentation

data Pattern dom stage Source #

Representation of patterns for pattern bindings

Constructors

VarPat	Pattern name binding
Fields _patternName :: Ann Name dom stage
LitPat	Literal pattern
Fields _patternLiteral :: Ann Literal dom stage
InfixPat	Infix constructor application pattern ( `a :+: b` )
Fields _patternLhs :: Ann Pattern dom stage _patternOperator :: Ann Operator dom stage _patternRhs :: Ann Pattern dom stage
AppPat	Constructor application pattern ( `Point x y` )
Fields _patternName :: Ann Name dom stage _patternArgs :: AnnList Pattern dom stage
TuplePat	Tuple pattern ( `(x,y)` )
Fields _patternElems :: AnnList Pattern dom stage
UnboxTuplePat	Unboxed tuple pattern ( `()` )
Fields _patternElems :: AnnList Pattern dom stage
ListPat	List pattern ( `[1,2,a,x]` )
Fields _patternElems :: AnnList Pattern dom stage
ParArrPat	Parallel array pattern ( `[:1,2,a,x:]` )
Fields _patternElems :: AnnList Pattern dom stage
ParenPat	Parenthesised patterns
Fields _patternInner :: Ann Pattern dom stage
RecPat	Record pattern ( `Point { x = 3, y }` )
Fields _patternName :: Ann Name dom stage _patternFields :: AnnList PatternField dom stage
AsPat	As-pattern (explicit name binding) ( `ls@(hd:_)` )
Fields _patternName :: Ann Name dom stage _patternInner :: Ann Pattern dom stage
WildPat	Wildcard pattern: ( `_` )
IrrPat	Irrefutable pattern ( `~(x:_)` )
Fields _patternInner :: Ann Pattern dom stage
BangPat	Bang pattern ( `!x` )
Fields _patternInner :: Ann Pattern dom stage
TypeSigPat	Pattern with explicit type signature ( `__ :: Int` )
Fields _patternInner :: Ann Pattern dom stage _patternType :: Ann Type dom stage
ViewPat	View pattern ( `f -> Just 1` ) regular list pattern omitted xml patterns omitted
Fields _patternExpr :: Ann Expr dom stage _patternInner :: Ann Pattern dom stage
SplicePat	Splice patterns: `$(generateX inp)`
Fields _patternSplice :: Ann Splice dom stage
QuasiQuotePat	Quasi-quoted patterns: `[\| 1 + 2 \|]`
Fields _patQQ :: Ann QuasiQuote dom stage
NPlusKPat
Fields _patternName :: Ann Name dom stage _patternLit :: Ann Literal dom stage

Instances

type Rep (Pattern dom stage) Source #

data PatternField dom stage Source #

Constructors

NormalFieldPattern	Named field pattern ( `p = Point 3 2` )
Fields _fieldPatternName :: Ann Name dom stage _fieldPattern :: Ann Pattern dom stage
FieldPunPattern	Named field pun ( `p` )
Fields _fieldPatternName :: Ann Name dom stage
FieldWildcardPattern	Wildcard field pattern ( `..` )
Fields _fieldPatternWildcard :: Ann FieldWildcard dom stage

Instances

type Rep (PatternField dom stage) Source #