FSharpExprPatterns Module
A collection of active patterns to analyze expressions
Active patterns
Active pattern |
Description
|
|
Matches expressions which take the address of a location
|
Full Usage:
(|AddressSet|_|) arg1
Parameters:
FSharpExpr
Returns: (FSharpExpr * FSharpExpr) option
|
Matches expressions which set the contents of an address
|
Full Usage:
(|AnonRecordGet|_|) arg1
Parameters:
FSharpExpr
Returns: (FSharpExpr * FSharpType * int) option
|
Matches expressions getting a field from an anonymous record. The integer represents the index into the sorted fields of the anonymous record.
|
Full Usage:
(|Application|_|) arg1
Parameters:
FSharpExpr
Returns: (FSharpExpr * FSharpType list * FSharpExpr list) option
|
Matches expressions which are the application of function values
|
|
|
Full Usage:
(|CallWithWitnesses|_|) arg1
Parameters:
FSharpExpr
Returns: (FSharpExpr option * FSharpMemberOrFunctionOrValue * FSharpType list * FSharpType list * FSharpExpr list * FSharpExpr list) option
|
Like Call but also indicates witness arguments
|
Full Usage:
(|Call|_|) arg1
Parameters:
FSharpExpr
Returns: (FSharpExpr option * FSharpMemberOrFunctionOrValue * FSharpType list * FSharpType list * FSharpExpr list) option
|
Matches expressions which are calls to members or module-defined functions. When calling curried functions and members the arguments are collapsed to a single collection of arguments, as done in the compiled version of these.
|
Full Usage:
(|Coerce|_|) arg1
Parameters:
FSharpExpr
Returns: (FSharpType * FSharpExpr) option
|
Matches expressions which coerce the type of a value
|
|
Matches constant expressions, including signed and unsigned integers, strings, characters, booleans, arrays of bytes and arrays of unit16.
|
Full Usage:
(|DebugPoint|_|) arg1
Parameters:
FSharpExpr
Returns: (DebugPointAtLeafExpr * FSharpExpr) option
|
Matches debug points at leaf expressions in control flow
|
Full Usage:
(|DecisionTreeSuccess|_|) arg1
Parameters:
FSharpExpr
Returns: (int * FSharpExpr list) option
|
Special expressions at the end of a conditional decision structure in the decision expression node of a DecisionTree . The given expressions are passed as values to the decision tree target.
|
Full Usage:
(|DecisionTree|_|) arg1
Parameters:
FSharpExpr
Returns: (FSharpExpr * (FSharpMemberOrFunctionOrValue list * FSharpExpr) list) option
|
Matches expressions with a decision expression, each branch of which ends in DecisionTreeSuccess passing control and values to one of the targets.
|
|
Matches default-value expressions, including null expressions
|
Full Usage:
(|FSharpFieldGet|_|) arg1
Parameters:
FSharpExpr
Returns: (FSharpExpr option * FSharpType * FSharpField) option
|
Matches expressions which get a field from a record or class
|
Full Usage:
(|FSharpFieldSet|_|) arg1
Parameters:
FSharpExpr
Returns: (FSharpExpr option * FSharpType * FSharpField * FSharpExpr) option
|
Matches expressions which set a field in a record or class
|
Full Usage:
(|FastIntegerForLoop|_|) arg1
Parameters:
FSharpExpr
Returns: (FSharpExpr * FSharpExpr * FSharpExpr * bool * DebugPointAtFor * DebugPointAtInOrTo) option
|
Matches fast-integer loops (up or down)
|
Full Usage:
(|ILAsm|_|) arg1
Parameters:
FSharpExpr
Returns: (string * FSharpType list * FSharpExpr list) option
|
Matches expressions which are IL assembly code
|
Full Usage:
(|ILFieldGet|_|) arg1
Parameters:
FSharpExpr
Returns: (FSharpExpr option * FSharpType * string) option
|
Matches expressions which fetch a field from a .NET type
|
Full Usage:
(|ILFieldSet|_|) arg1
Parameters:
FSharpExpr
Returns: (FSharpExpr option * FSharpType * string * FSharpExpr) option
|
Matches expressions which set a field in a .NET type
|
Full Usage:
(|IfThenElse|_|) arg1
Parameters:
FSharpExpr
Returns: (FSharpExpr * FSharpExpr * FSharpExpr) option
|
Matches expressions which are conditionals
|
Full Usage:
(|Lambda|_|) arg1
Parameters:
FSharpExpr
Returns: (FSharpMemberOrFunctionOrValue * FSharpExpr) option
|
Matches expressions which are lambda abstractions
|
Full Usage:
(|LetRec|_|) arg1
Parameters:
FSharpExpr
Returns: ((FSharpMemberOrFunctionOrValue * FSharpExpr * DebugPointAtBinding) list * FSharpExpr) option
|
Matches expressions which are let-rec definitions
|
Full Usage:
(|Let|_|) arg1
Parameters:
FSharpExpr
Returns: ((FSharpMemberOrFunctionOrValue * FSharpExpr * DebugPointAtBinding) * FSharpExpr) option
|
Matches expressions which are let definitions
|
Full Usage:
(|NewAnonRecord|_|) arg1
Parameters:
FSharpExpr
Returns: (FSharpType * FSharpExpr list) option
|
Matches anonymous record expressions
|
Full Usage:
(|NewArray|_|) arg1
Parameters:
FSharpExpr
Returns: (FSharpType * FSharpExpr list) option
|
|
Full Usage:
(|NewDelegate|_|) arg1
Parameters:
FSharpExpr
Returns: (FSharpType * FSharpExpr) option
|
Matches expressions which create an instance of a delegate type
|
Full Usage:
(|NewObject|_|) arg1
Parameters:
FSharpExpr
Returns: (FSharpMemberOrFunctionOrValue * FSharpType list * FSharpExpr list) option
|
Matches expressions which are calls to object constructors
|
Full Usage:
(|NewRecord|_|) arg1
Parameters:
FSharpExpr
Returns: (FSharpType * FSharpExpr list) option
|
|
Full Usage:
(|NewTuple|_|) arg1
Parameters:
FSharpExpr
Returns: (FSharpType * FSharpExpr list) option
|
|
Full Usage:
(|NewUnionCase|_|) arg1
Parameters:
FSharpExpr
Returns: (FSharpType * FSharpUnionCase * FSharpExpr list) option
|
Matches expressions which create an object corresponding to a union case
|
Full Usage:
(|ObjectExpr|_|) arg1
Parameters:
FSharpExpr
Returns: (FSharpType * FSharpExpr * FSharpObjectExprOverride list * (FSharpType * FSharpObjectExprOverride list) list) option
|
Matches object expressions, returning the base type, the base call, the overrides and the interface implementations
|
|
|
Full Usage:
(|Sequential|_|) arg1
Parameters:
FSharpExpr
Returns: (FSharpExpr * FSharpExpr) option
|
|
|
|
Full Usage:
(|TraitCall|_|) arg1
Parameters:
FSharpExpr
Returns: (FSharpType list * string * SynMemberFlags * FSharpType list * FSharpType list * FSharpExpr list) option
|
Matches expressions for an unresolved call to a trait
|
Full Usage:
(|TryFinally|_|) arg1
Parameters:
FSharpExpr
Returns: (FSharpExpr * FSharpExpr * DebugPointAtTry * DebugPointAtFinally) option
|
Matches try/finally expressions
|
Full Usage:
(|TryWith|_|) arg1
Parameters:
FSharpExpr
Returns: (FSharpExpr * FSharpMemberOrFunctionOrValue * FSharpExpr * FSharpMemberOrFunctionOrValue * FSharpExpr * DebugPointAtTry * DebugPointAtWith) option
|
Matches try/with expressions
|
Full Usage:
(|TupleGet|_|) arg1
Parameters:
FSharpExpr
Returns: (FSharpType * int * FSharpExpr) option
|
Matches expressions which get a value from a tuple
|
Full Usage:
(|TypeLambda|_|) arg1
Parameters:
FSharpExpr
Returns: (FSharpGenericParameter list * FSharpExpr) option
|
Matches expressions which are type abstractions
|
Full Usage:
(|TypeTest|_|) arg1
Parameters:
FSharpExpr
Returns: (FSharpType * FSharpExpr) option
|
Matches expressions which test the runtime type of a value
|
Full Usage:
(|UnionCaseGet|_|) arg1
Parameters:
FSharpExpr
Returns: (FSharpExpr * FSharpType * FSharpUnionCase * FSharpField) option
|
Matches expressions which get a field from a union case
|
Full Usage:
(|UnionCaseSet|_|) arg1
Parameters:
FSharpExpr
Returns: (FSharpExpr * FSharpType * FSharpUnionCase * FSharpField * FSharpExpr) option
|
Matches expressions which set a field from a union case (only used in FSharp.Core itself)
|
Full Usage:
(|UnionCaseTag|_|) arg1
Parameters:
FSharpExpr
Returns: (FSharpExpr * FSharpType) option
|
Matches expressions which gets the tag for a union case
|
Full Usage:
(|UnionCaseTest|_|) arg1
Parameters:
FSharpExpr
Returns: (FSharpExpr * FSharpType * FSharpUnionCase) option
|
Matches expressions which test if an expression corresponds to a particular union case
|
Full Usage:
(|ValueSet|_|) arg1
Parameters:
FSharpExpr
Returns: (FSharpMemberOrFunctionOrValue * FSharpExpr) option
|
Matches expressions which set the contents of a mutable variable
|
Full Usage:
(|Value|_|) arg1
Parameters:
FSharpExpr
Returns: FSharpMemberOrFunctionOrValue option
|
Matches expressions which are uses of values
|
Full Usage:
(|WhileLoop|_|) arg1
Parameters:
FSharpExpr
Returns: (FSharpExpr * FSharpExpr * DebugPointAtWhile) option
|
|
|
Indicates a witness argument index from the witness arguments supplied to the enclosing method
|