Class: ConstructorPattern

Represents a pattern matching a specific data constructor.

Example

safeDiv (Just x) y = x / y

Extends

• ArgsPattern

Constructors

Constructor

new ConstructorPattern(symbol, args, loc?): ConstructorPattern

Parameters

Parameter	Type
symbol	SymbolPrimitive
args	Pattern[]
loc?	SourceLocation

Returns

ConstructorPattern

Overrides

ArgsPattern.constructor

Accessors

jsonType

Get Signature

get protected jsonType(): ArgsPatternKind

Returns

ArgsPatternKind

Overrides

ArgsPattern.jsonType

Methods

getMetadata()

getMetadata<T>(key): T

Type Parameters

Type Parameter
T

Parameters

Parameter	Type
key	string

Returns

T

Inherited from

ArgsPattern.getMetadata

---

hasMetadata()

hasMetadata(key): boolean

Parameters

Parameter	Type
key	string

Returns

boolean

Inherited from

ArgsPattern.hasMetadata

---

is()

is<T>(nodeType): this is T

Type Parameters

Type Parameter
T extends ASTNode

Parameters

Parameter	Type
nodeType	(...args) => T

Returns

this is T

Inherited from

ArgsPattern.is

---

setMetadata()

setMetadata(key, value): void

Parameters

Parameter	Type
key	string
value	any

Returns

void

Inherited from

ArgsPattern.setMetadata