PatternContext Type
Union cases
Union case |
Description
|
Full Usage:
NamedUnionCaseField(fieldName, caseIdRange)
Parameters:
string
caseIdRange : range
|
Completing union case field pattern (e.g. fun (Some (Value = v| )) -> )
|
Full Usage:
Other
|
Any other position in a pattern that does not need special handling |
Full Usage:
PositionalUnionCaseField(fieldIndex, isTheOnlyField, caseIdRange)
Parameters:
int option
-
Position in the tuple. None if there is no tuple, with only one field outside of parentheses - `Some v|`
isTheOnlyField : bool
-
True when completing the first field in the tuple and no other field is bound - `Case (a|)` but not `Case (a|, b)`
caseIdRange : range
-
Range of the case identifier
|
Completing union case field pattern (e.g. fun (Some v| ) -> ) or fun (Some (v| )) -> ). In theory, this could also be parameterized active pattern usage.
|
Full Usage:
RecordFieldIdentifier referencedFields
Parameters:
(string * range) list
|
Completing a record field identifier in a pattern (e.g. fun { Field1 = a; Fie| } -> )
|
Full Usage:
UnionCaseFieldIdentifier(referencedFields, caseIdRange)
Parameters:
string list
caseIdRange : range
|
Completing union case field identifier in a pattern (e.g. fun (Case (field1 = a; fie| )) -> )
|
Instance members
Instance member |
Description
|
Full Usage:
this.IsNamedUnionCaseField
Returns: bool
|
|
Full Usage:
this.IsOther
Returns: bool
|
|
Full Usage:
this.IsPositionalUnionCaseField
Returns: bool
|
|
Full Usage:
this.IsRecordFieldIdentifier
Returns: bool
|
|
Full Usage:
this.IsUnionCaseFieldIdentifier
Returns: bool
|
|