| Active Pattern | Description |
|---|
val ( |AddressOf|_| ) : Expr -> Expr option |
An active pattern to recognize expressions that represent getting the address of a value
|
val ( |AddressSet|_| ) : Expr -> (Expr * Expr) option |
An active pattern to recognize expressions that represent setting the value held at an address
|
val ( |Application|_| ) : Expr -> (Expr * Expr) option |
An active pattern to recognize expressions that represent applications of first class function values
|
val ( |Call|_| ) : Expr -> (Expr option * MethodInfo * Expr list) option |
An active pattern to recognize expressions that represent calls to static and instance methods, and functions defined in modules
|
val ( |Coerce|_| ) : Expr -> (Expr * Type) option |
An active pattern to recognize expressions that represent coercions from one type to another
|
val ( |DefaultValue|_| ) : Expr -> Type option |
An active pattern to recognize expressions that represent invocations of a default constructor of a struct
|
val ( |FieldGet|_| ) : Expr -> (Expr option * FieldInfo) option |
An active pattern to recognize expressions that represent getting a static or instance field
|
val ( |FieldSet|_| ) : Expr -> (Expr option * FieldInfo * Expr) option |
An active pattern to recognize expressions that represent setting a static or instance field
|
val ( |ForIntegerRangeLoop|_| ) : Expr -> (Var * Expr * Expr * Expr) option |
An active pattern to recognize expressions that represent loops over integer ranges
|
val ( |IfThenElse|_| ) : Expr -> (Expr * Expr * Expr) option |
An active pattern to recognize expressions that represent conditionals
|
val ( |Lambda|_| ) : Expr -> (Var * Expr) option |
An active pattern to recognize expressions that represent first class function values
|
val ( |LetRec|_| ) : Expr -> ((Var * Expr) list * Expr) option |
An active pattern to recognize expressions that represent recursive let bindings of one or more variables
|
val ( |Let|_| ) : Expr -> (Var * Expr * Expr) option |
An active pattern to recognize expressions that represent let bindings
|
val ( |NewArray|_| ) : Expr -> (Type * Expr list) option |
An active pattern to recognize expressions that represent the construction of arrays
|
val ( |NewDelegate|_| ) : Expr -> (Type * Var list * Expr) option |
An active pattern to recognize expressions that represent construction of delegate values
|
val ( |NewObject|_| ) : Expr -> (ConstructorInfo * Expr list) option |
An active pattern to recognize expressions that represent invocation of object constructors
|
val ( |NewRecord|_| ) : Expr -> (Type * Expr list) option |
An active pattern to recognize expressions that represent construction of record values
|
val ( |NewTuple|_| ) : Expr -> Expr list option |
An active pattern to recognize expressions that represent construction of tuple values
|
val ( |NewUnionCase|_| ) : Expr -> (UnionCaseInfo * Expr list) option |
An active pattern to recognize expressions that represent construction of particular union case values
|
val ( |PropGet|_| ) : Expr -> (Expr option * PropertyInfo * Expr list) option |
An active pattern to recognize expressions that represent the read of a static or instance property, or a non-function value declared in a module
|
val ( |PropSet|_| ) :
Expr -> (Expr option * PropertyInfo * Expr list * Expr) option |
An active pattern to recognize expressions that represent setting a static or instance property, or a non-function value declared in a module
|
val ( |Quote|_| ) : Expr -> Expr option |
An active pattern to recognize expressions that represent a nested quotation literal
|
val ( |Sequential|_| ) : Expr -> (Expr * Expr) option |
An active pattern to recognize expressions that represent sequential exeuction of one expression followed by another
|
val ( |TryFinally|_| ) : Expr -> (Expr * Expr) option |
An active pattern to recognize expressions that represent a try/finally construct
|
val ( |TryWith|_| ) : Expr -> (Expr * Var * Expr * Var * Expr) option |
An active pattern to recognize expressions that represent a try/with construct for exception filtering and catching
|
val ( |TupleGet|_| ) : Expr -> (Expr * int) option |
An active pattern to recognize expressions that represent getting a tuple field
|
val ( |TypeTest|_| ) : Expr -> (Expr * Type) option |
An active pattern to recognize expressions that represent a dynamic type test
|
val ( |UnionCaseTest|_| ) : Expr -> (Expr * UnionCaseInfo) option |
An active pattern to recognize expressions that represent a test if a value is of a particular union case
|
val ( |Value|_| ) : Expr -> (obj * Type) option |
An active pattern to recognize expressions that represent a constant value
|
val ( |VarSet|_| ) : Expr -> (Var * Expr) option |
An active pattern to recognize expressions that represent setting a mutable variable
|
val ( |Var|_| ) : Expr -> Var option |
An active pattern to recognize expressions that represent a variable
|
val ( |WhileLoop|_| ) : Expr -> (Expr * Expr) option |
An active pattern to recognize expressions that represent while loops
|