Synopsis Abstract patterns.
Syntax
| Pattern | Syntax |
|---|---|
| Literal | Boolean, Integer, Real, Number, String, Location, or DateTime |
| Variable declaration | Type Var |
| Multi-variable | *Var, *Type Var |
| Variable | Var |
| List | [ Pat1, Pat2, ..., Patn ] |
| Set | { Pat1, Pat2, ..., Patn } |
| Tuple | < Pat1, Pat2, ..., Patn > |
| Node | Name ( Pat1, Pat2, ..., Patn ) |
| Descendant | / Pat |
| Labelled | Var : Pat |
| TypedLabelled | Type Var : Pat |
| TypeConstrained | [Type] Pat |
Details Literal VariableDeclaration MultiVariable Variable List Set Tuple Node Descendant Labelled TypedLabelled TypeConstrained
Description An abstract pattern is recursively defined and may contain the following elements:
- Literal: Literal in abstract pattern.
- VariableDeclaration: Variable declaration in abstract pattern.
- MultiVariable: Multi-variable (also known as Splice-variable) in abstract pattern.
- Variable: Variable in abstract pattern.
- List: List in abstract pattern.
- Set: Set in abstract pattern.
- Tuple: Tuple in abstract pattern.
- Node: Node in abstract pattern.
- Descendant: Deep match in an abstract pattern.
- Labelled: Labelled abstract pattern.
- TypedLabelled: Typed, labelled, abstract pattern.
- TypeConstrained: Type constrained abstract pattern.
Pitfalls Map patterns are not (yet?) supported.