Quoted expressions annotated with System.Type values.
Instance member | Description |
|
Example
Multiple items
namespace Microsoft.FSharp -------------------- namespace FSharp namespace Microsoft.FSharp.Quotations
namespace Microsoft.FSharp
module Patterns
from Microsoft.FSharp.Quotations
val sampleQuotation: Expr<int>
property Expr.CustomAttributes: Expr list with get
Evaluates to a list of expressions containing one custom attribute for the source location of the quotation literal.
|
|
Example
Multiple items
namespace Microsoft.FSharp -------------------- namespace FSharp namespace Microsoft.FSharp.Quotations
namespace Microsoft.FSharp
module Patterns
from Microsoft.FSharp.Quotations
val sampleQuotation: Expr<(int -> int)>
val v: int
val v: Var
val body: Expr
active recognizer Lambda: Expr -> (Var * Expr) option
val failwith: message: string -> 'T
member Expr.GetFreeVars: unit -> seq<Var>
Evaluates to a set containing the single variable for v
|
|
Example
Multiple items
namespace Microsoft.FSharp -------------------- namespace FSharp namespace Microsoft.FSharp.Quotations
namespace Microsoft.FSharp
module Patterns
from Microsoft.FSharp.Quotations
val sampleQuotation: Expr<(int -> int)>
val v: int
val v: Var
val body: Expr
active recognizer Lambda: Expr -> (Var * Expr) option
val failwith: message: string -> 'T
member Expr.Substitute: substitution: (Var -> Expr option) -> Expr
val v2: Var
union case Option.Some: Value: 'T -> Option<'T>
union case Option.None: Option<'T>
Evaluates to <@ (1 + 1) * (1 + 1)> .
|
|
Example
Multiple items
namespace Microsoft.FSharp -------------------- namespace FSharp namespace Microsoft.FSharp.Quotations
val expr1: Expr<int>
System.Object.ToString() : string
Evaluates member Expr.ToString: full: bool -> string "Call (None, Int32 op_Addition[Int32,Int32,Int32](Int32, Int32),[Value (1), Value (1)])" .
|
Example
Multiple items
namespace Microsoft.FSharp -------------------- namespace FSharp namespace Microsoft.FSharp.Quotations
namespace Microsoft.FSharp
module Patterns
from Microsoft.FSharp.Quotations
val sampleQuotation: Expr<int>
property Expr.Type: System.Type with get
Evaluates to typeof<int> .
|
Static member | Description |
|
Example
Multiple items
namespace Microsoft.FSharp -------------------- namespace FSharp namespace Microsoft.FSharp.Quotations
Multiple items
val array: int array -------------------- type 'T array = 'T array Multiple items
type Expr = override Equals: obj: obj -> bool member GetFreeVars: unit -> seq<Var> member Substitute: substitution: (Var -> Expr option) -> Expr member ToString: full: bool -> string static member AddressOf: target: Expr -> Expr static member AddressSet: target: Expr * value: Expr -> Expr static member Application: functionExpr: Expr * argument: Expr -> Expr static member Applications: functionExpr: Expr * arguments: Expr list list -> Expr static member Call: methodInfo: MethodInfo * arguments: Expr list -> Expr + 1 overload static member CallWithWitnesses: methodInfo: MethodInfo * methodInfoWithWitnesses: MethodInfo * witnesses: Expr list * arguments: Expr list -> Expr + 1 overload ... -------------------- type Expr<'T> = inherit Expr member Raw: Expr static member Expr.AddressOf: target: Expr -> Expr
Evaluates to AddressOf (Call (None, GetArray, [PropertyGet (None, array, []), Value (1)])) .
|
|
Example
Multiple items
namespace Microsoft.FSharp -------------------- namespace FSharp namespace Microsoft.FSharp.Quotations
Multiple items
val array: int array -------------------- type 'T array = 'T array val addrExpr: Expr
Multiple items
type Expr = override Equals: obj: obj -> bool member GetFreeVars: unit -> seq<Var> member Substitute: substitution: (Var -> Expr option) -> Expr member ToString: full: bool -> string static member AddressOf: target: Expr -> Expr static member AddressSet: target: Expr * value: Expr -> Expr static member Application: functionExpr: Expr * argument: Expr -> Expr static member Applications: functionExpr: Expr * arguments: Expr list list -> Expr static member Call: methodInfo: MethodInfo * arguments: Expr list -> Expr + 1 overload static member CallWithWitnesses: methodInfo: MethodInfo * methodInfoWithWitnesses: MethodInfo * witnesses: Expr list * arguments: Expr list -> Expr + 1 overload ... -------------------- type Expr<'T> = inherit Expr member Raw: Expr static member Expr.AddressOf: target: Expr -> Expr
static member Expr.AddressSet: target: Expr * value: Expr -> Expr
Evaluates to AddressSet (AddressOf (Call (None, GetArray, [PropertyGet (None, array, []), Value (1)])), Value (4)) .
|
|
Example
Multiple items
namespace Microsoft.FSharp -------------------- namespace FSharp namespace Microsoft.FSharp.Quotations
val funcExpr: Expr<(int -> int)>
val x: int
val argExpr: Expr<int>
Multiple items
type Expr = override Equals: obj: obj -> bool member GetFreeVars: unit -> seq<Var> member Substitute: substitution: (Var -> Expr option) -> Expr member ToString: full: bool -> string static member AddressOf: target: Expr -> Expr static member AddressSet: target: Expr * value: Expr -> Expr static member Application: functionExpr: Expr * argument: Expr -> Expr static member Applications: functionExpr: Expr * arguments: Expr list list -> Expr static member Call: methodInfo: MethodInfo * arguments: Expr list -> Expr + 1 overload static member CallWithWitnesses: methodInfo: MethodInfo * methodInfoWithWitnesses: MethodInfo * witnesses: Expr list * arguments: Expr list -> Expr + 1 overload ... -------------------- type Expr<'T> = inherit Expr member Raw: Expr static member Expr.Application: functionExpr: Expr * argument: Expr -> Expr
Evaluates to a quotation with the same structure as <@ (fun x -> x + 1) 3 @> .
|
Example
Multiple items
namespace Microsoft.FSharp -------------------- namespace FSharp namespace Microsoft.FSharp.Quotations
val funcExpr: Expr<(int * int -> int -> int)>
val x: int
val y: int
val z: int
val curriedArgExprs: Expr<int> list list
Multiple items
type Expr = override Equals: obj: obj -> bool member GetFreeVars: unit -> seq<Var> member Substitute: substitution: (Var -> Expr option) -> Expr member ToString: full: bool -> string static member AddressOf: target: Expr -> Expr static member AddressSet: target: Expr * value: Expr -> Expr static member Application: functionExpr: Expr * argument: Expr -> Expr static member Applications: functionExpr: Expr * arguments: Expr list list -> Expr static member Call: methodInfo: MethodInfo * arguments: Expr list -> Expr + 1 overload static member CallWithWitnesses: methodInfo: MethodInfo * methodInfoWithWitnesses: MethodInfo * witnesses: Expr list * arguments: Expr list -> Expr + 1 overload ... -------------------- type Expr<'T> = inherit Expr member Raw: Expr static member Expr.Applications: functionExpr: Expr * arguments: Expr list list -> Expr
Evaluates to a quotation with the same structure as <@ (fun (x, y) z -> x + y + z) (1,2) 3 @> .
|
|
Full Usage:
Expr.Call(obj, methodInfo, arguments)
Parameters:
Expr
-
The input object.
methodInfo : MethodInfo
-
The description of the method to call.
arguments : Expr list
-
The list of arguments to the method.
Returns: Expr
The resulting expression.
|
Example
namespace System
namespace Microsoft.FSharp
namespace Microsoft.FSharp.Quotations
module Patterns
from Microsoft.FSharp.Quotations
val objExpr: Expr
val methInfo: Reflection.MethodInfo
type Console =
static member Beep: unit -> unit + 1 overload
static member Clear: unit -> unit
static member GetCursorPosition: unit -> struct (int * int)
static member MoveBufferArea: sourceLeft: int * sourceTop: int * sourceWidth: int * sourceHeight: int * targetLeft: int * targetTop: int -> unit + 1 overload
static member OpenStandardError: unit -> Stream + 1 overload
static member OpenStandardInput: unit -> Stream + 1 overload
static member OpenStandardOutput: unit -> Stream + 1 overload
static member Read: unit -> int
static member ReadKey: unit -> ConsoleKeyInfo + 1 overload
static member ReadLine: unit -> string
...
<summary>Represents the standard input, output, and error streams for console applications. This class cannot be inherited.</summary> property Console.Out: IO.TextWriter with get
<summary>Gets the standard output stream.</summary> <returns>A <see cref="T:System.IO.TextWriter" /> that represents the standard output stream.</returns> IO.TextWriter.WriteLine() : unit
(+0 other overloads) IO.TextWriter.WriteLine(value: uint64) : unit (+0 other overloads) IO.TextWriter.WriteLine(value: uint32) : unit (+0 other overloads) IO.TextWriter.WriteLine(value: Text.StringBuilder) : unit (+0 other overloads) IO.TextWriter.WriteLine(value: string) : unit (+0 other overloads) IO.TextWriter.WriteLine(value: float32) : unit (+0 other overloads) IO.TextWriter.WriteLine(buffer: ReadOnlySpan<char>) : unit (+0 other overloads) IO.TextWriter.WriteLine(value: obj) : unit (+0 other overloads) IO.TextWriter.WriteLine(value: int64) : unit (+0 other overloads) IO.TextWriter.WriteLine(value: int) : unit (+0 other overloads) active recognizer Call: Expr -> (Expr option * Reflection.MethodInfo * Expr list) option
union case Option.Some: Value: 'T -> Option<'T>
Multiple items
val obj: Expr -------------------- type obj = Object val mi: Reflection.MethodInfo
val failwith: message: string -> 'T
val argExpr: Expr<string>
Multiple items
type Expr = override Equals: obj: obj -> bool member GetFreeVars: unit -> seq<Var> member Substitute: substitution: (Var -> Expr option) -> Expr member ToString: full: bool -> string static member AddressOf: target: Expr -> Expr static member AddressSet: target: Expr * value: Expr -> Expr static member Application: functionExpr: Expr * argument: Expr -> Expr static member Applications: functionExpr: Expr * arguments: Expr list list -> Expr static member Call: methodInfo: MethodInfo * arguments: Expr list -> Expr + 1 overload static member CallWithWitnesses: methodInfo: MethodInfo * methodInfoWithWitnesses: MethodInfo * witnesses: Expr list * arguments: Expr list -> Expr + 1 overload ... -------------------- type Expr<'T> = inherit Expr member Raw: Expr static member Expr.Call: methodInfo: Reflection.MethodInfo * arguments: Expr list -> Expr
Evaluates to a quotation with the same structure as static member Expr.Call: obj: Expr * methodInfo: Reflection.MethodInfo * arguments: Expr list -> Expr <@ Console.Out.WriteLine("Hello World") @> .
|
Full Usage:
Expr.Call(methodInfo, arguments)
Parameters:
MethodInfo
-
The MethodInfo describing the method to call.
arguments : Expr list
-
The list of arguments to the method.
Returns: Expr
The resulting expression.
|
Example
namespace System
namespace Microsoft.FSharp
namespace Microsoft.FSharp.Quotations
module Patterns
from Microsoft.FSharp.Quotations
val methInfo: Reflection.MethodInfo
type Console =
static member Beep: unit -> unit + 1 overload
static member Clear: unit -> unit
static member GetCursorPosition: unit -> struct (int * int)
static member MoveBufferArea: sourceLeft: int * sourceTop: int * sourceWidth: int * sourceHeight: int * targetLeft: int * targetTop: int -> unit + 1 overload
static member OpenStandardError: unit -> Stream + 1 overload
static member OpenStandardInput: unit -> Stream + 1 overload
static member OpenStandardOutput: unit -> Stream + 1 overload
static member Read: unit -> int
static member ReadKey: unit -> ConsoleKeyInfo + 1 overload
static member ReadLine: unit -> string
...
<summary>Represents the standard input, output, and error streams for console applications. This class cannot be inherited.</summary> Console.WriteLine() : unit
(+0 other overloads) Console.WriteLine(value: uint64) : unit (+0 other overloads) Console.WriteLine(value: uint32) : unit (+0 other overloads) Console.WriteLine(value: string) : unit (+0 other overloads) Console.WriteLine(value: float32) : unit (+0 other overloads) Console.WriteLine(value: obj) : unit (+0 other overloads) Console.WriteLine(value: int64) : unit (+0 other overloads) Console.WriteLine(value: int) : unit (+0 other overloads) Console.WriteLine(value: float) : unit (+0 other overloads) Console.WriteLine(value: decimal) : unit (+0 other overloads) active recognizer Call: Expr -> (Expr option * Reflection.MethodInfo * Expr list) option
val mi: Reflection.MethodInfo
val failwith: message: string -> 'T
val argExpr: Expr<string>
Multiple items
type Expr = override Equals: obj: obj -> bool member GetFreeVars: unit -> seq<Var> member Substitute: substitution: (Var -> Expr option) -> Expr member ToString: full: bool -> string static member AddressOf: target: Expr -> Expr static member AddressSet: target: Expr * value: Expr -> Expr static member Application: functionExpr: Expr * argument: Expr -> Expr static member Applications: functionExpr: Expr * arguments: Expr list list -> Expr static member Call: methodInfo: MethodInfo * arguments: Expr list -> Expr + 1 overload static member CallWithWitnesses: methodInfo: MethodInfo * methodInfoWithWitnesses: MethodInfo * witnesses: Expr list * arguments: Expr list -> Expr + 1 overload ... -------------------- type Expr<'T> = inherit Expr member Raw: Expr static member Expr.Call: methodInfo: Reflection.MethodInfo * arguments: Expr list -> Expr
Evaluates to a quotation with the same structure as static member Expr.Call: obj: Expr * methodInfo: Reflection.MethodInfo * arguments: Expr list -> Expr <@ Console.WriteLine("Hello World") @> .
|
Full Usage:
Expr.CallWithWitnesses(obj, methodInfo, methodInfoWithWitnesses, witnesses, arguments)
Parameters:
Expr
-
The input object.
methodInfo : MethodInfo
-
The description of the method to call.
methodInfoWithWitnesses : MethodInfo
-
The additional MethodInfo describing the method to call, accepting witnesses.
witnesses : Expr list
-
The list of witnesses to the method.
arguments : Expr list
-
The list of arguments to the method.
Returns: Expr
The resulting expression.
|
ExampleSee examples for Call and CallWithWitnesses |
Full Usage:
Expr.CallWithWitnesses(methodInfo, methodInfoWithWitnesses, witnesses, arguments)
Parameters:
MethodInfo
-
The MethodInfo describing the method to call.
methodInfoWithWitnesses : MethodInfo
-
The additional MethodInfo describing the method to call, accepting witnesses.
witnesses : Expr list
-
The list of witnesses to the method.
arguments : Expr list
-
The list of arguments to the method.
Returns: Expr
The resulting expression.
|
ExampleIn this example, we show how to use a witness to cosntruct an `op_Addition` call for a type that doesn't support addition directly:
Multiple items
namespace Microsoft.FSharp -------------------- namespace FSharp namespace Microsoft.FSharp.Quotations
namespace Microsoft.FSharp
module Patterns
from Microsoft.FSharp.Quotations
val addMethInfoG: System.Reflection.MethodInfo
val addMethInfoGW: System.Reflection.MethodInfo
active recognizer CallWithWitnesses: Expr -> (Expr option * System.Reflection.MethodInfo * System.Reflection.MethodInfo * Expr list * Expr list) option
union case Option.None: Option<'T>
val mi: System.Reflection.MethodInfo
val miW: System.Reflection.MethodInfo
System.Reflection.MethodInfo.GetGenericMethodDefinition() : System.Reflection.MethodInfo
val failwith: message: string -> 'T
type C =
new: value: int -> C
member Value: int
val value: int
Multiple items
val int: value: 'T -> int (requires member op_Explicit) -------------------- type int = int32 -------------------- type int<'Measure> = int val x: C
val witnessExpr: Expr<(C -> C -> C)>
val y: C
new: value: int -> C
property C.Value: int with get
val argExpr1: Expr<C>
val argExpr2: Expr<C>
val addMethInfo: System.Reflection.MethodInfo
System.Reflection.MethodInfo.MakeGenericMethod([<System.ParamArray>] typeArguments: System.Type array) : System.Reflection.MethodInfo
val typeof<'T> : System.Type
val addMethInfoW: System.Reflection.MethodInfo
Multiple items
type Expr = override Equals: obj: obj -> bool member GetFreeVars: unit -> seq<Var> member Substitute: substitution: (Var -> Expr option) -> Expr member ToString: full: bool -> string static member AddressOf: target: Expr -> Expr static member AddressSet: target: Expr * value: Expr -> Expr static member Application: functionExpr: Expr * argument: Expr -> Expr static member Applications: functionExpr: Expr * arguments: Expr list list -> Expr static member Call: methodInfo: MethodInfo * arguments: Expr list -> Expr + 1 overload static member CallWithWitnesses: methodInfo: MethodInfo * methodInfoWithWitnesses: MethodInfo * witnesses: Expr list * arguments: Expr list -> Expr + 1 overload ... -------------------- type Expr<'T> = inherit Expr member Raw: Expr static member Expr.CallWithWitnesses: methodInfo: System.Reflection.MethodInfo * methodInfoWithWitnesses: System.Reflection.MethodInfo * witnesses: Expr list * arguments: Expr list -> Expr
Evaluates to a quotation with the same structure as static member Expr.CallWithWitnesses: obj: Expr * methodInfo: System.Reflection.MethodInfo * methodInfoWithWitnesses: System.Reflection.MethodInfo * witnesses: Expr list * arguments: Expr list -> Expr <@ Call (None, op_Addition, [NewObject (C, Value (4)), NewObject (C, Value (5))]) @> .
|
|
Example
Multiple items
namespace Microsoft.FSharp -------------------- namespace FSharp namespace Microsoft.FSharp.Quotations
val rawExpr: Expr<int>
Multiple items
type Expr = override Equals: obj: obj -> bool member GetFreeVars: unit -> seq<Var> member Substitute: substitution: (Var -> Expr option) -> Expr member ToString: full: bool -> string static member AddressOf: target: Expr -> Expr static member AddressSet: target: Expr * value: Expr -> Expr static member Application: functionExpr: Expr * argument: Expr -> Expr static member Applications: functionExpr: Expr * arguments: Expr list list -> Expr static member Call: methodInfo: MethodInfo * arguments: Expr list -> Expr + 1 overload static member CallWithWitnesses: methodInfo: MethodInfo * methodInfoWithWitnesses: MethodInfo * witnesses: Expr list * arguments: Expr list -> Expr + 1 overload ... -------------------- type Expr<'T> = inherit Expr member Raw: Expr static member Expr.Cast: source: Expr -> Expr<'T>
Multiple items
Evaluates with type val int: value: 'T -> int (requires member op_Explicit) -------------------- type int = int32 -------------------- type int<'Measure> = int Expr<int> .
|
|
Example
Multiple items
namespace Microsoft.FSharp -------------------- namespace FSharp namespace Microsoft.FSharp.Quotations
val expr: Expr<obj>
val box: value: 'T -> obj
Multiple items
type Expr = override Equals: obj: obj -> bool member GetFreeVars: unit -> seq<Var> member Substitute: substitution: (Var -> Expr option) -> Expr member ToString: full: bool -> string static member AddressOf: target: Expr -> Expr static member AddressSet: target: Expr * value: Expr -> Expr static member Application: functionExpr: Expr * argument: Expr -> Expr static member Applications: functionExpr: Expr * arguments: Expr list list -> Expr static member Call: methodInfo: MethodInfo * arguments: Expr list -> Expr + 1 overload static member CallWithWitnesses: methodInfo: MethodInfo * methodInfoWithWitnesses: MethodInfo * witnesses: Expr list * arguments: Expr list -> Expr + 1 overload ... -------------------- type Expr<'T> = inherit Expr member Raw: Expr static member Expr.Coerce: source: Expr * target: System.Type -> Expr
val typeof<'T> : System.Type
Multiple items
Evaluates to a quotation with the same structure as val string: value: 'T -> string -------------------- type string = System.String <@ (fun x -> x + 1) 3 @> .
|
|
Example
Multiple items
namespace Microsoft.FSharp -------------------- namespace FSharp namespace Microsoft.FSharp.Quotations
Multiple items
type Expr = override Equals: obj: obj -> bool member GetFreeVars: unit -> seq<Var> member Substitute: substitution: (Var -> Expr option) -> Expr member ToString: full: bool -> string static member AddressOf: target: Expr -> Expr static member AddressSet: target: Expr * value: Expr -> Expr static member Application: functionExpr: Expr * argument: Expr -> Expr static member Applications: functionExpr: Expr * arguments: Expr list list -> Expr static member Call: methodInfo: MethodInfo * arguments: Expr list -> Expr + 1 overload static member CallWithWitnesses: methodInfo: MethodInfo * methodInfoWithWitnesses: MethodInfo * witnesses: Expr list * arguments: Expr list -> Expr + 1 overload ... -------------------- type Expr<'T> = inherit Expr member Raw: Expr static member Expr.DefaultValue: expressionType: System.Type -> Expr
val typeof<'T> : System.Type
Multiple items
Evaluates to the quotation val int: value: 'T -> int (requires member op_Explicit) -------------------- type int = int32 -------------------- type int<'Measure> = int DefaultValue (Int32) .
|
Full Usage:
Expr.Deserialize(qualifyingType, spliceTypes, spliceExprs, bytes)
Parameters:
Type
-
A type in the assembly where the quotation occurs.
spliceTypes : Type list
-
The spliced types, to replace references to type variables.
spliceExprs : Expr list
-
The spliced expressions to replace references to spliced expressions.
bytes : byte[]
-
The serialized form of the quoted expression.
Returns: Expr
The resulting expression.
|
|
Full Usage:
Expr.Deserialize40(qualifyingType, referencedTypes, spliceTypes, spliceExprs, bytes)
Parameters:
Type
-
A type in the assembly where the quotation occurs.
referencedTypes : Type[]
-
The type definitions referenced.
spliceTypes : Type[]
-
The spliced types, to replace references to type variables.
spliceExprs : Expr[]
-
The spliced expressions to replace references to spliced expressions.
bytes : byte[]
-
The serialized form of the quoted expression.
Returns: Expr
The resulting expression.
|
|
|
Example
Multiple items
namespace Microsoft.FSharp -------------------- namespace FSharp namespace Microsoft.FSharp.Quotations
namespace Microsoft.FSharp
module Patterns
from Microsoft.FSharp.Quotations
val fieldInfo: System.Reflection.FieldInfo
val typeof<'T> : System.Type
Multiple items
val int: value: 'T -> int (requires member op_Explicit) -------------------- type int = int32 -------------------- type int<'Measure> = int Multiple items
val ref: value: 'T -> 'T ref -------------------- type 'T ref = Ref<'T> val refValue: int ref
val refExpr: Expr<int ref>
Multiple items
type Expr = override Equals: obj: obj -> bool member GetFreeVars: unit -> seq<Var> member Substitute: substitution: (Var -> Expr option) -> Expr member ToString: full: bool -> string static member AddressOf: target: Expr -> Expr static member AddressSet: target: Expr * value: Expr -> Expr static member Application: functionExpr: Expr * argument: Expr -> Expr static member Applications: functionExpr: Expr * arguments: Expr list list -> Expr static member Call: methodInfo: MethodInfo * arguments: Expr list -> Expr + 1 overload static member CallWithWitnesses: methodInfo: MethodInfo * methodInfoWithWitnesses: MethodInfo * witnesses: Expr list * arguments: Expr list -> Expr + 1 overload ... -------------------- type Expr<'T> = inherit Expr member Raw: Expr static member Expr.FieldGet: fieldInfo: System.Reflection.FieldInfo -> Expr
Evaluates to static member Expr.FieldGet: obj: Expr * fieldInfo: System.Reflection.FieldInfo -> Expr FieldGet (Some (PropertyGet (None, refValue, [])), contents@) .
Note that for technical reasons the quotation <@ refValue.contents @> evaluates to a different quotation
accessing the contents field via a property.
|
|
Example
Multiple items
namespace Microsoft.FSharp -------------------- namespace FSharp namespace Microsoft.FSharp.Quotations
namespace Microsoft.FSharp
module Patterns
from Microsoft.FSharp.Quotations
val fieldInfo: System.Reflection.FieldInfo
val typeof<'T> : System.Type
namespace System
[<Struct>]
type DayOfWeek =
| Sunday = 0
| Monday = 1
| Tuesday = 2
| Wednesday = 3
| Thursday = 4
| Friday = 5
| Saturday = 6
<summary>Specifies the day of the week.</summary> Multiple items
type Expr = override Equals: obj: obj -> bool member GetFreeVars: unit -> seq<Var> member Substitute: substitution: (Var -> Expr option) -> Expr member ToString: full: bool -> string static member AddressOf: target: Expr -> Expr static member AddressSet: target: Expr * value: Expr -> Expr static member Application: functionExpr: Expr * argument: Expr -> Expr static member Applications: functionExpr: Expr * arguments: Expr list list -> Expr static member Call: methodInfo: MethodInfo * arguments: Expr list -> Expr + 1 overload static member CallWithWitnesses: methodInfo: MethodInfo * methodInfoWithWitnesses: MethodInfo * witnesses: Expr list * arguments: Expr list -> Expr + 1 overload ... -------------------- type Expr<'T> = inherit Expr member Raw: Expr static member Expr.FieldGet: fieldInfo: System.Reflection.FieldInfo -> Expr
Evaluates to static member Expr.FieldGet: obj: Expr * fieldInfo: System.Reflection.FieldInfo -> Expr FieldGet (None, Monday) . Note that for technical reasons the quotation <@ System.DayOfWeek.Monday @> evaluates to a different quotation containing a constant enum value Value (Monday) .
|
|
ExampleCreate an expression setting a reference cell via the public backing field:
Multiple items
namespace Microsoft.FSharp -------------------- namespace FSharp namespace Microsoft.FSharp.Quotations
namespace Microsoft.FSharp
module Patterns
from Microsoft.FSharp.Quotations
val fieldInfo: System.Reflection.FieldInfo
val typeof<'T> : System.Type
Multiple items
val int: value: 'T -> int (requires member op_Explicit) -------------------- type int = int32 -------------------- type int<'Measure> = int Multiple items
val ref: value: 'T -> 'T ref -------------------- type 'T ref = Ref<'T> val refValue: int ref
val refExpr: Expr<int ref>
val valueExpr: Expr<int>
Multiple items
type Expr = override Equals: obj: obj -> bool member GetFreeVars: unit -> seq<Var> member Substitute: substitution: (Var -> Expr option) -> Expr member ToString: full: bool -> string static member AddressOf: target: Expr -> Expr static member AddressSet: target: Expr * value: Expr -> Expr static member Application: functionExpr: Expr * argument: Expr -> Expr static member Applications: functionExpr: Expr * arguments: Expr list list -> Expr static member Call: methodInfo: MethodInfo * arguments: Expr list -> Expr + 1 overload static member CallWithWitnesses: methodInfo: MethodInfo * methodInfoWithWitnesses: MethodInfo * witnesses: Expr list * arguments: Expr list -> Expr + 1 overload ... -------------------- type Expr<'T> = inherit Expr member Raw: Expr static member Expr.FieldSet: fieldInfo: System.Reflection.FieldInfo * value: Expr -> Expr
Evaluates to static member Expr.FieldSet: obj: Expr * fieldInfo: System.Reflection.FieldInfo * value: Expr -> Expr FieldSet (Some (PropertyGet (None, refValue, [])), contents@, Value (6)) .
Note that for technical reasons the quotation <@ refValue.contents <- 6 @> evaluates to a slightly different quotation
accessing the contents field via a property.
|
|
|
Full Usage:
Expr.ForIntegerRangeLoop(loopVariable, start, endExpr, body)
Parameters:
Var
-
The sub-expression declaring the loop variable.
start : Expr
-
The sub-expression setting the initial value of the loop variable.
endExpr : Expr
-
The sub-expression declaring the final value of the loop variable.
body : Expr
-
The sub-expression representing the body of the loop.
Returns: Expr
The resulting expression.
|
Example
Multiple items
namespace Microsoft.FSharp -------------------- namespace FSharp namespace Microsoft.FSharp.Quotations
val loopVariable: Var
Multiple items
type Var = interface IComparable new: name: string * typ: Type * ?isMutable: bool -> Var static member Global: name: string * typ: Type -> Var member IsMutable: bool member Name: string member Type: Type -------------------- new: name: string * typ: System.Type * ?isMutable: bool -> Var val typeof<'T> : System.Type
Multiple items
val int: value: 'T -> int (requires member op_Explicit) -------------------- type int = int32 -------------------- type int<'Measure> = int val startExpr: Expr<int>
val endExpr: Expr<int>
val body: Expr<unit>
namespace System
type Console =
static member Beep: unit -> unit + 1 overload
static member Clear: unit -> unit
static member GetCursorPosition: unit -> struct (int * int)
static member MoveBufferArea: sourceLeft: int * sourceTop: int * sourceWidth: int * sourceHeight: int * targetLeft: int * targetTop: int -> unit + 1 overload
static member OpenStandardError: unit -> Stream + 1 overload
static member OpenStandardInput: unit -> Stream + 1 overload
static member OpenStandardOutput: unit -> Stream + 1 overload
static member Read: unit -> int
static member ReadKey: unit -> ConsoleKeyInfo + 1 overload
static member ReadLine: unit -> string
...
<summary>Represents the standard input, output, and error streams for console applications. This class cannot be inherited.</summary> System.Console.WriteLine() : unit
(+0 other overloads) System.Console.WriteLine(value: uint64) : unit (+0 other overloads) System.Console.WriteLine(value: uint32) : unit (+0 other overloads) System.Console.WriteLine(value: string) : unit (+0 other overloads) System.Console.WriteLine(value: float32) : unit (+0 other overloads) System.Console.WriteLine(value: obj) : unit (+0 other overloads) System.Console.WriteLine(value: int64) : unit (+0 other overloads) System.Console.WriteLine(value: int) : unit (+0 other overloads) System.Console.WriteLine(value: float) : unit (+0 other overloads) System.Console.WriteLine(value: decimal) : unit (+0 other overloads) Multiple items
type Expr = override Equals: obj: obj -> bool member GetFreeVars: unit -> seq<Var> member Substitute: substitution: (Var -> Expr option) -> Expr member ToString: full: bool -> string static member AddressOf: target: Expr -> Expr static member AddressSet: target: Expr * value: Expr -> Expr static member Application: functionExpr: Expr * argument: Expr -> Expr static member Applications: functionExpr: Expr * arguments: Expr list list -> Expr static member Call: methodInfo: MethodInfo * arguments: Expr list -> Expr + 1 overload static member CallWithWitnesses: methodInfo: MethodInfo * methodInfoWithWitnesses: MethodInfo * witnesses: Expr list * arguments: Expr list -> Expr + 1 overload ... -------------------- type Expr<'T> = inherit Expr member Raw: Expr static member Expr.ForIntegerRangeLoop: loopVariable: Var * start: Expr * endExpr: Expr * body: Expr -> Expr
Evaluates to a quotation with the same structure as <@ if 1 > 3 then 6 else 7 @> .
|
|
Example
Multiple items
namespace Microsoft.FSharp -------------------- namespace FSharp namespace Microsoft.FSharp.Quotations
val expr1: Expr<int>
Multiple items
type Expr = override Equals: obj: obj -> bool member GetFreeVars: unit -> seq<Var> member Substitute: substitution: (Var -> Expr option) -> Expr member ToString: full: bool -> string static member AddressOf: target: Expr -> Expr static member AddressSet: target: Expr * value: Expr -> Expr static member Application: functionExpr: Expr * argument: Expr -> Expr static member Applications: functionExpr: Expr * arguments: Expr list list -> Expr static member Call: methodInfo: MethodInfo * arguments: Expr list -> Expr + 1 overload static member CallWithWitnesses: methodInfo: MethodInfo * methodInfoWithWitnesses: MethodInfo * witnesses: Expr list * arguments: Expr list -> Expr + 1 overload ... -------------------- type Expr<'T> = inherit Expr member Raw: Expr static member Expr.GlobalVar: name: string -> Expr<'T>
Multiple items
val int: value: 'T -> int (requires member op_Explicit) -------------------- type int = int32 -------------------- type int<'Measure> = int val expr2: Expr<int>
Evaluates expr1 and expr2 to identical quotations.
|
|
Example
Multiple items
namespace Microsoft.FSharp -------------------- namespace FSharp namespace Microsoft.FSharp.Quotations
val guardExpr: Expr<bool>
val thenExpr: Expr<int>
val elseExpr: Expr<int>
Multiple items
type Expr = override Equals: obj: obj -> bool member GetFreeVars: unit -> seq<Var> member Substitute: substitution: (Var -> Expr option) -> Expr member ToString: full: bool -> string static member AddressOf: target: Expr -> Expr static member AddressSet: target: Expr * value: Expr -> Expr static member Application: functionExpr: Expr * argument: Expr -> Expr static member Applications: functionExpr: Expr * arguments: Expr list list -> Expr static member Call: methodInfo: MethodInfo * arguments: Expr list -> Expr + 1 overload static member CallWithWitnesses: methodInfo: MethodInfo * methodInfoWithWitnesses: MethodInfo * witnesses: Expr list * arguments: Expr list -> Expr + 1 overload ... -------------------- type Expr<'T> = inherit Expr member Raw: Expr static member Expr.IfThenElse: guard: Expr * thenExpr: Expr * elseExpr: Expr -> Expr
Evaluates to a quotation with the same structure as <@ if 1 > 3 then 6 else 7 @> .
|
|
Example
Multiple items
namespace Microsoft.FSharp -------------------- namespace FSharp namespace Microsoft.FSharp.Quotations
namespace Microsoft.FSharp
module Patterns
from Microsoft.FSharp.Quotations
val vVar: Var
Multiple items
active recognizer Var: Expr -> Var option -------------------- type Var = interface IComparable new: name: string * typ: Type * ?isMutable: bool -> Var static member Global: name: string * typ: Type -> Var member IsMutable: bool member Name: string member Type: Type -------------------- new: name: string * typ: System.Type * ?isMutable: bool -> Var val typeof<'T> : System.Type
Multiple items
val int: value: 'T -> int (requires member op_Explicit) -------------------- type int = int32 -------------------- type int<'Measure> = int val vExpr: Expr
Multiple items
type Expr = override Equals: obj: obj -> bool member GetFreeVars: unit -> seq<Var> member Substitute: substitution: (Var -> Expr option) -> Expr member ToString: full: bool -> string static member AddressOf: target: Expr -> Expr static member AddressSet: target: Expr * value: Expr -> Expr static member Application: functionExpr: Expr * argument: Expr -> Expr static member Applications: functionExpr: Expr * arguments: Expr list list -> Expr static member Call: methodInfo: MethodInfo * arguments: Expr list -> Expr + 1 overload static member CallWithWitnesses: methodInfo: MethodInfo * methodInfoWithWitnesses: MethodInfo * witnesses: Expr list * arguments: Expr list -> Expr + 1 overload ... -------------------- type Expr<'T> = inherit Expr member Raw: Expr static member Expr.Var: variable: Var -> Expr
static member Expr.Lambda: parameter: Var * body: Expr -> Expr
Evaluates to Lambda (v, v) .
|
|
Example
Multiple items
namespace Microsoft.FSharp -------------------- namespace FSharp namespace Microsoft.FSharp.Quotations
val vVar: Var
Multiple items
type Var = interface IComparable new: name: string * typ: Type * ?isMutable: bool -> Var static member Global: name: string * typ: Type -> Var member IsMutable: bool member Name: string member Type: Type -------------------- new: name: string * typ: System.Type * ?isMutable: bool -> Var val typeof<'T> : System.Type
Multiple items
val int: value: 'T -> int (requires member op_Explicit) -------------------- type int = int32 -------------------- type int<'Measure> = int val rhsExpr: Expr<int>
val vExpr: Expr
Multiple items
type Expr = override Equals: obj: obj -> bool member GetFreeVars: unit -> seq<Var> member Substitute: substitution: (Var -> Expr option) -> Expr member ToString: full: bool -> string static member AddressOf: target: Expr -> Expr static member AddressSet: target: Expr * value: Expr -> Expr static member Application: functionExpr: Expr * argument: Expr -> Expr static member Applications: functionExpr: Expr * arguments: Expr list list -> Expr static member Call: methodInfo: MethodInfo * arguments: Expr list -> Expr + 1 overload static member CallWithWitnesses: methodInfo: MethodInfo * methodInfoWithWitnesses: MethodInfo * witnesses: Expr list * arguments: Expr list -> Expr + 1 overload ... -------------------- type Expr<'T> = inherit Expr member Raw: Expr static member Expr.Var: variable: Var -> Expr
static member Expr.Let: letVariable: Var * letExpr: Expr * body: Expr -> Expr
Evaluates to a quotation with the same structure as <@ let v = 6 in v @> .
|
Example
Multiple items
namespace Microsoft.FSharp -------------------- namespace FSharp namespace Microsoft.FSharp.Quotations
namespace Microsoft.FSharp
module Patterns
from Microsoft.FSharp.Quotations
val fVar: Var
Multiple items
active recognizer Var: Expr -> Var option -------------------- type Var = interface IComparable new: name: string * typ: Type * ?isMutable: bool -> Var static member Global: name: string * typ: Type -> Var member IsMutable: bool member Name: string member Type: Type -------------------- new: name: string * typ: System.Type * ?isMutable: bool -> Var val typeof<'T> : System.Type
Multiple items
val int: value: 'T -> int (requires member op_Explicit) -------------------- type int = int32 -------------------- type int<'Measure> = int val gVar: Var
val fExpr: Expr
Multiple items
type Expr = override Equals: obj: obj -> bool member GetFreeVars: unit -> seq<Var> member Substitute: substitution: (Var -> Expr option) -> Expr member ToString: full: bool -> string static member AddressOf: target: Expr -> Expr static member AddressSet: target: Expr * value: Expr -> Expr static member Application: functionExpr: Expr * argument: Expr -> Expr static member Applications: functionExpr: Expr * arguments: Expr list list -> Expr static member Call: methodInfo: MethodInfo * arguments: Expr list -> Expr + 1 overload static member CallWithWitnesses: methodInfo: MethodInfo * methodInfoWithWitnesses: MethodInfo * witnesses: Expr list * arguments: Expr list -> Expr + 1 overload ... -------------------- type Expr<'T> = inherit Expr member Raw: Expr static member Expr.Var: variable: Var -> Expr
val gExpr: Expr
val fImplExpr: Expr<(int -> int)>
val x: int
val gImplExpr: Expr<(int -> int)>
val bodyExpr: Expr<int>
static member Expr.LetRecursive: bindings: (Var * Expr) list * body: Expr -> Expr
Evaluates to a quotation with the same structure as <@ let rec f x = g (x-1) + 1 and g x = if x > 0 then f (x - 1) else 0 in g 10 @> .
|
|
|
Example
Multiple items
namespace Microsoft.FSharp -------------------- namespace FSharp namespace Microsoft.FSharp.Quotations
Multiple items
type Expr = override Equals: obj: obj -> bool member GetFreeVars: unit -> seq<Var> member Substitute: substitution: (Var -> Expr option) -> Expr member ToString: full: bool -> string static member AddressOf: target: Expr -> Expr static member AddressSet: target: Expr * value: Expr -> Expr static member Application: functionExpr: Expr * argument: Expr -> Expr static member Applications: functionExpr: Expr * arguments: Expr list list -> Expr static member Call: methodInfo: MethodInfo * arguments: Expr list -> Expr + 1 overload static member CallWithWitnesses: methodInfo: MethodInfo * methodInfoWithWitnesses: MethodInfo * witnesses: Expr list * arguments: Expr list -> Expr + 1 overload ... -------------------- type Expr<'T> = inherit Expr member Raw: Expr static member Expr.NewArray: elementType: System.Type * elements: Expr list -> Expr
val typeof<'T> : System.Type
Multiple items
Evaluates to a quotation with the same structure as val int: value: 'T -> int (requires member op_Explicit) -------------------- type int = int32 -------------------- type int<'Measure> = int <@ [| 1; 2 |] @> .
|
|
Example
namespace System
namespace Microsoft.FSharp
namespace Microsoft.FSharp.Quotations
val vVar: Var
Multiple items
type Var = interface IComparable new: name: string * typ: Type * ?isMutable: bool -> Var static member Global: name: string * typ: Type -> Var member IsMutable: bool member Name: string member Type: Type -------------------- new: name: string * typ: Type * ?isMutable: bool -> Var val typeof<'T> : Type
Multiple items
val int: value: 'T -> int (requires member op_Explicit) -------------------- type int = int32 -------------------- type int<'Measure> = int val vExpr: Expr
Multiple items
type Expr = override Equals: obj: obj -> bool member GetFreeVars: unit -> seq<Var> member Substitute: substitution: (Var -> Expr option) -> Expr member ToString: full: bool -> string static member AddressOf: target: Expr -> Expr static member AddressSet: target: Expr * value: Expr -> Expr static member Application: functionExpr: Expr * argument: Expr -> Expr static member Applications: functionExpr: Expr * arguments: Expr list list -> Expr static member Call: methodInfo: MethodInfo * arguments: Expr list -> Expr + 1 overload static member CallWithWitnesses: methodInfo: MethodInfo * methodInfoWithWitnesses: MethodInfo * witnesses: Expr list * arguments: Expr list -> Expr + 1 overload ... -------------------- type Expr<'T> = inherit Expr member Raw: Expr static member Expr.Var: variable: Var -> Expr
static member Expr.NewDelegate: delegateType: Type * parameters: Var list * body: Expr -> Expr
Multiple items
Evaluates to a quotation with the same structure as type Func<'TResult> = new: object: obj * method: nativeint -> unit member BeginInvoke: callback: AsyncCallback * object: obj -> IAsyncResult member EndInvoke: result: IAsyncResult -> 'TResult member Invoke: unit -> 'TResult <summary>Encapsulates a method that has no parameters and returns a value of the type specified by the <typeparamref name="TResult" /> parameter.</summary> <typeparam name="TResult">The type of the return value of the method that this delegate encapsulates.</typeparam> <returns>The return value of the method that this delegate encapsulates.</returns> -------------------- type Func<'T,'TResult> = new: object: obj * method: nativeint -> unit member BeginInvoke: arg: 'T * callback: AsyncCallback * object: obj -> IAsyncResult member EndInvoke: result: IAsyncResult -> 'TResult member Invoke: arg: 'T -> 'TResult <summary>Encapsulates a method that has one parameter and returns a value of the type specified by the <typeparamref name="TResult" /> parameter.</summary> <param name="arg">The parameter of the method that this delegate encapsulates.</param> <typeparam name="T">The type of the parameter of the method that this delegate encapsulates.</typeparam> <typeparam name="TResult">The type of the return value of the method that this delegate encapsulates.</typeparam> <returns>The return value of the method that this delegate encapsulates.</returns> -------------------- type Func<'T1,'T2,'TResult> = new: object: obj * method: nativeint -> unit member BeginInvoke: arg1: 'T1 * arg2: 'T2 * callback: AsyncCallback * object: obj -> IAsyncResult member EndInvoke: result: IAsyncResult -> 'TResult member Invoke: arg1: 'T1 * arg2: 'T2 -> 'TResult <summary>Encapsulates a method that has two parameters and returns a value of the type specified by the <typeparamref name="TResult" /> parameter.</summary> <param name="arg1">The first parameter of the method that this delegate encapsulates.</param> <param name="arg2">The second parameter of the method that this delegate encapsulates.</param> <typeparam name="T1">The type of the first parameter of the method that this delegate encapsulates.</typeparam> <typeparam name="T2">The type of the second parameter of the method that this delegate encapsulates.</typeparam> <typeparam name="TResult">The type of the return value of the method that this delegate encapsulates.</typeparam> <returns>The return value of the method that this delegate encapsulates.</returns> -------------------- type Func<'T1,'T2,'T3,'TResult> = new: object: obj * method: nativeint -> unit member BeginInvoke: arg1: 'T1 * arg2: 'T2 * arg3: 'T3 * callback: AsyncCallback * object: obj -> IAsyncResult member EndInvoke: result: IAsyncResult -> 'TResult member Invoke: arg1: 'T1 * arg2: 'T2 * arg3: 'T3 -> 'TResult <summary>Encapsulates a method that has three parameters and returns a value of the type specified by the <typeparamref name="TResult" /> parameter.</summary> <param name="arg1">The first parameter of the method that this delegate encapsulates.</param> <param name="arg2">The second parameter of the method that this delegate encapsulates.</param> <param name="arg3">The third parameter of the method that this delegate encapsulates.</param> <typeparam name="T1">The type of the first parameter of the method that this delegate encapsulates.</typeparam> <typeparam name="T2">The type of the second parameter of the method that this delegate encapsulates.</typeparam> <typeparam name="T3">The type of the third parameter of the method that this delegate encapsulates.</typeparam> <typeparam name="TResult">The type of the return value of the method that this delegate encapsulates.</typeparam> <returns>The return value of the method that this delegate encapsulates.</returns> -------------------- type Func<'T1,'T2,'T3,'T4,'TResult> = new: object: obj * method: nativeint -> unit member BeginInvoke: arg1: 'T1 * arg2: 'T2 * arg3: 'T3 * arg4: 'T4 * callback: AsyncCallback * object: obj -> IAsyncResult member EndInvoke: result: IAsyncResult -> 'TResult member Invoke: arg1: 'T1 * arg2: 'T2 * arg3: 'T3 * arg4: 'T4 -> 'TResult <summary>Encapsulates a method that has four parameters and returns a value of the type specified by the <typeparamref name="TResult" /> parameter.</summary> <param name="arg1">The first parameter of the method that this delegate encapsulates.</param> <param name="arg2">The second parameter of the method that this delegate encapsulates.</param> <param name="arg3">The third parameter of the method that this delegate encapsulates.</param> <param name="arg4">The fourth parameter of the method that this delegate encapsulates.</param> <typeparam name="T1">The type of the first parameter of the method that this delegate encapsulates.</typeparam> <typeparam name="T2">The type of the second parameter of the method that this delegate encapsulates.</typeparam> <typeparam name="T3">The type of the third parameter of the method that this delegate encapsulates.</typeparam> <typeparam name="T4">The type of the fourth parameter of the method that this delegate encapsulates.</typeparam> <typeparam name="TResult">The type of the return value of the method that this delegate encapsulates.</typeparam> <returns>The return value of the method that this delegate encapsulates.</returns> -------------------- type Func<'T1,'T2,'T3,'T4,'T5,'TResult> = new: object: obj * method: nativeint -> unit member BeginInvoke: arg1: 'T1 * arg2: 'T2 * arg3: 'T3 * arg4: 'T4 * arg5: 'T5 * callback: AsyncCallback * object: obj -> IAsyncResult member EndInvoke: result: IAsyncResult -> 'TResult member Invoke: arg1: 'T1 * arg2: 'T2 * arg3: 'T3 * arg4: 'T4 * arg5: 'T5 -> 'TResult <summary>Encapsulates a method that has five parameters and returns a value of the type specified by the <typeparamref name="TResult" /> parameter.</summary> <param name="arg1">The first parameter of the method that this delegate encapsulates.</param> <param name="arg2">The second parameter of the method that this delegate encapsulates.</param> <param name="arg3">The third parameter of the method that this delegate encapsulates.</param> <param name="arg4">The fourth parameter of the method that this delegate encapsulates.</param> <param name="arg5">The fifth parameter of the method that this delegate encapsulates.</param> <typeparam name="T1">The type of the first parameter of the method that this delegate encapsulates.</typeparam> <typeparam name="T2">The type of the second parameter of the method that this delegate encapsulates.</typeparam> <typeparam name="T3">The type of the third parameter of the method that this delegate encapsulates.</typeparam> <typeparam name="T4">The type of the fourth parameter of the method that this delegate encapsulates.</typeparam> <typeparam name="T5">The type of the fifth parameter of the method that this delegate encapsulates.</typeparam> <typeparam name="TResult">The type of the return value of the method that this delegate encapsulates.</typeparam> <returns>The return value of the method that this delegate encapsulates.</returns> -------------------- type Func<'T1,'T2,'T3,'T4,'T5,'T6,'TResult> = new: object: obj * method: nativeint -> unit member BeginInvoke: arg1: 'T1 * arg2: 'T2 * arg3: 'T3 * arg4: 'T4 * arg5: 'T5 * arg6: 'T6 * callback: AsyncCallback * object: obj -> IAsyncResult member EndInvoke: result: IAsyncResult -> 'TResult member Invoke: arg1: 'T1 * arg2: 'T2 * arg3: 'T3 * arg4: 'T4 * arg5: 'T5 * arg6: 'T6 -> 'TResult <summary>Encapsulates a method that has six parameters and returns a value of the type specified by the <typeparamref name="TResult" /> parameter.</summary> <param name="arg1">The first parameter of the method that this delegate encapsulates.</param> <param name="arg2">The second parameter of the method that this delegate encapsulates.</param> <param name="arg3">The third parameter of the method that this delegate encapsulates.</param> <param name="arg4">The fourth parameter of the method that this delegate encapsulates.</param> <param name="arg5">The fifth parameter of the method that this delegate encapsulates.</param> <param name="arg6">The sixth parameter of the method that this delegate encapsulates.</param> <typeparam name="T1">The type of the first parameter of the method that this delegate encapsulates.</typeparam> <typeparam name="T2">The type of the second parameter of the method that this delegate encapsulates.</typeparam> <typeparam name="T3">The type of the third parameter of the method that this delegate encapsulates.</typeparam> <typeparam name="T4">The type of the fourth parameter of the method that this delegate encapsulates.</typeparam> <typeparam name="T5">The type of the fifth parameter of the method that this delegate encapsulates.</typeparam> <typeparam name="T6">The type of the sixth parameter of the method that this delegate encapsulates.</typeparam> <typeparam name="TResult">The type of the return value of the method that this delegate encapsulates.</typeparam> <returns>The return value of the method that this delegate encapsulates.</returns> -------------------- type Func<'T1,'T2,'T3,'T4,'T5,'T6,'T7,'TResult> = new: object: obj * method: nativeint -> unit member BeginInvoke: arg1: 'T1 * arg2: 'T2 * arg3: 'T3 * arg4: 'T4 * arg5: 'T5 * arg6: 'T6 * arg7: 'T7 * callback: AsyncCallback * object: obj -> IAsyncResult member EndInvoke: result: IAsyncResult -> 'TResult member Invoke: arg1: 'T1 * arg2: 'T2 * arg3: 'T3 * arg4: 'T4 * arg5: 'T5 * arg6: 'T6 * arg7: 'T7 -> 'TResult <summary>Encapsulates a method that has seven parameters and returns a value of the type specified by the <typeparamref name="TResult" /> parameter.</summary> <param name="arg1">The first parameter of the method that this delegate encapsulates.</param> <param name="arg2">The second parameter of the method that this delegate encapsulates.</param> <param name="arg3">The third parameter of the method that this delegate encapsulates.</param> <param name="arg4">The fourth parameter of the method that this delegate encapsulates.</param> <param name="arg5">The fifth parameter of the method that this delegate encapsulates.</param> <param name="arg6">The sixth parameter of the method that this delegate encapsulates.</param> <param name="arg7">The seventh parameter of the method that this delegate encapsulates.</param> <typeparam name="T1">The type of the first parameter of the method that this delegate encapsulates.</typeparam> <typeparam name="T2">The type of the second parameter of the method that this delegate encapsulates.</typeparam> <typeparam name="T3">The type of the third parameter of the method that this delegate encapsulates.</typeparam> <typeparam name="T4">The type of the fourth parameter of the method that this delegate encapsulates.</typeparam> <typeparam name="T5">The type of the fifth parameter of the method that this delegate encapsulates.</typeparam> <typeparam name="T6">The type of the sixth parameter of the method that this delegate encapsulates.</typeparam> <typeparam name="T7">The type of the seventh parameter of the method that this delegate encapsulates.</typeparam> <typeparam name="TResult">The type of the return value of the method that this delegate encapsulates.</typeparam> <returns>The return value of the method that this delegate encapsulates.</returns> -------------------- type Func<'T1,'T2,'T3,'T4,'T5,'T6,'T7,'T8,'TResult> = new: object: obj * method: nativeint -> unit member BeginInvoke: arg1: 'T1 * arg2: 'T2 * arg3: 'T3 * arg4: 'T4 * arg5: 'T5 * arg6: 'T6 * arg7: 'T7 * arg8: 'T8 * callback: AsyncCallback * object: obj -> IAsyncResult member EndInvoke: result: IAsyncResult -> 'TResult member Invoke: arg1: 'T1 * arg2: 'T2 * arg3: 'T3 * arg4: 'T4 * arg5: 'T5 * arg6: 'T6 * arg7: 'T7 * arg8: 'T8 -> 'TResult <summary>Encapsulates a method that has eight parameters and returns a value of the type specified by the <typeparamref name="TResult" /> parameter.</summary> <param name="arg1">The first parameter of the method that this delegate encapsulates.</param> <param name="arg2">The second parameter of the method that this delegate encapsulates.</param> <param name="arg3">The third parameter of the method that this delegate encapsulates.</param> <param name="arg4">The fourth parameter of the method that this delegate encapsulates.</param> <param name="arg5">The fifth parameter of the method that this delegate encapsulates.</param> <param name="arg6">The sixth parameter of the method that this delegate encapsulates.</param> <param name="arg7">The seventh parameter of the method that this delegate encapsulates.</param> <param name="arg8">The eighth parameter of the method that this delegate encapsulates.</param> <typeparam name="T1">The type of the first parameter of the method that this delegate encapsulates.</typeparam> <typeparam name="T2">The type of the second parameter of the method that this delegate encapsulates.</typeparam> <typeparam name="T3">The type of the third parameter of the method that this delegate encapsulates.</typeparam> <typeparam name="T4">The type of the fourth parameter of the method that this delegate encapsulates.</typeparam> <typeparam name="T5">The type of the fifth parameter of the method that this delegate encapsulates.</typeparam> <typeparam name="T6">The type of the sixth parameter of the method that this delegate encapsulates.</typeparam> <typeparam name="T7">The type of the seventh parameter of the method that this delegate encapsulates.</typeparam> <typeparam name="T8">The type of the eighth parameter of the method that this delegate encapsulates.</typeparam> <typeparam name="TResult">The type of the return value of the method that this delegate encapsulates.</typeparam> <returns>The return value of the method that this delegate encapsulates.</returns> -------------------- type Func<'T1,'T2,'T3,'T4,'T5,'T6,'T7,'T8,'T9,'TResult> = new: object: obj * method: nativeint -> unit member BeginInvoke: arg1: 'T1 * arg2: 'T2 * arg3: 'T3 * arg4: 'T4 * arg5: 'T5 * arg6: 'T6 * arg7: 'T7 * arg8: 'T8 * arg9: 'T9 * callback: AsyncCallback * object: obj -> IAsyncResult member EndInvoke: result: IAsyncResult -> 'TResult member Invoke: arg1: 'T1 * arg2: 'T2 * arg3: 'T3 * arg4: 'T4 * arg5: 'T5 * arg6: 'T6 * arg7: 'T7 * arg8: 'T8 * arg9: 'T9 -> 'TResult <summary>Encapsulates a method that has nine parameters and returns a value of the type specified by the <typeparamref name="TResult" /> parameter.</summary> <param name="arg1">The first parameter of the method that this delegate encapsulates.</param> <param name="arg2">The second parameter of the method that this delegate encapsulates.</param> <param name="arg3">The third parameter of the method that this delegate encapsulates.</param> <param name="arg4">The fourth parameter of the method that this delegate encapsulates.</param> <param name="arg5">The fifth parameter of the method that this delegate encapsulates.</param> <param name="arg6">The sixth parameter of the method that this delegate encapsulates.</param> <param name="arg7">The seventh parameter of the method that this delegate encapsulates.</param> <param name="arg8">The eighth parameter of the method that this delegate encapsulates.</param> <param name="arg9">The ninth parameter of the method that this delegate encapsulates.</param> <typeparam name="T1">The type of the first parameter of the method that this delegate encapsulates.</typeparam> <typeparam name="T2">The type of the second parameter of the method that this delegate encapsulates.</typeparam> <typeparam name="T3">The type of the third parameter of the method that this delegate encapsulates.</typeparam> <typeparam name="T4">The type of the fourth parameter of the method that this delegate encapsulates.</typeparam> <typeparam name="T5">The type of the fifth parameter of the method that this delegate encapsulates.</typeparam> <typeparam name="T6">The type of the sixth parameter of the method that this delegate encapsulates.</typeparam> <typeparam name="T7">The type of the seventh parameter of the method that this delegate encapsulates.</typeparam> <typeparam name="T8">The type of the eighth parameter of the method that this delegate encapsulates.</typeparam> <typeparam name="T9">The type of the ninth parameter of the method that this delegate encapsulates.</typeparam> <typeparam name="TResult">The type of the return value of the method that this delegate encapsulates.</typeparam> <returns>The return value of the method that this delegate encapsulates.</returns> -------------------- type Func<'T1,'T2,'T3,'T4,'T5,'T6,'T7,'T8,'T9,'T10,'TResult> = new: object: obj * method: nativeint -> unit member BeginInvoke: arg1: 'T1 * arg2: 'T2 * arg3: 'T3 * arg4: 'T4 * arg5: 'T5 * arg6: 'T6 * arg7: 'T7 * arg8: 'T8 * arg9: 'T9 * arg10: 'T10 * callback: AsyncCallback * object: obj -> IAsyncResult member EndInvoke: result: IAsyncResult -> 'TResult member Invoke: arg1: 'T1 * arg2: 'T2 * arg3: 'T3 * arg4: 'T4 * arg5: 'T5 * arg6: 'T6 * arg7: 'T7 * arg8: 'T8 * arg9: 'T9 * arg10: 'T10 -> 'TResult <summary>Encapsulates a method that has 10 parameters and returns a value of the type specified by the <typeparamref name="TResult" /> parameter.</summary> <param name="arg1">The first parameter of the method that this delegate encapsulates.</param> <param name="arg2">The second parameter of the method that this delegate encapsulates.</param> <param name="arg3">The third parameter of the method that this delegate encapsulates.</param> <param name="arg4">The fourth parameter of the method that this delegate encapsulates.</param> <param name="arg5">The fifth parameter of the method that this delegate encapsulates.</param> <param name="arg6">The sixth parameter of the method that this delegate encapsulates.</param> <param name="arg7">The seventh parameter of the method that this delegate encapsulates.</param> <param name="arg8">The eighth parameter of the method that this delegate encapsulates.</param> <param name="arg9">The ninth parameter of the method that this delegate encapsulates.</param> <param name="arg10">The tenth parameter of the method that this delegate encapsulates.</param> <typeparam name="T1">The type of the first parameter of the method that this delegate encapsulates.</typeparam> <typeparam name="T2">The type of the second parameter of the method that this delegate encapsulates.</typeparam> <typeparam name="T3">The type of the third parameter of the method that this delegate encapsulates.</typeparam> <typeparam name="T4">The type of the fourth parameter of the method that this delegate encapsulates.</typeparam> <typeparam name="T5">The type of the fifth parameter of the method that this delegate encapsulates.</typeparam> <typeparam name="T6">The type of the sixth parameter of the method that this delegate encapsulates.</typeparam> <typeparam name="T7">The type of the seventh parameter of the method that this delegate encapsulates.</typeparam> <typeparam name="T8">The type of the eighth parameter of the method that this delegate encapsulates.</typeparam> <typeparam name="T9">The type of the ninth parameter of the method that this delegate encapsulates.</typeparam> <typeparam name="T10">The type of the tenth parameter of the method that this delegate encapsulates.</typeparam> <typeparam name="TResult">The type of the return value of the method that this delegate encapsulates.</typeparam> <returns>The return value of the method that this delegate encapsulates.</returns> -------------------- type Func<'T1,'T2,'T3,'T4,'T5,'T6,'T7,'T8,'T9,'T10,'T11,'TResult> = new: object: obj * method: nativeint -> unit member BeginInvoke: arg1: 'T1 * arg2: 'T2 * arg3: 'T3 * arg4: 'T4 * arg5: 'T5 * arg6: 'T6 * arg7: 'T7 * arg8: 'T8 * arg9: 'T9 * arg10: 'T10 * arg11: 'T11 * callback: AsyncCallback * object: obj -> IAsyncResult member EndInvoke: result: IAsyncResult -> 'TResult member Invoke: arg1: 'T1 * arg2: 'T2 * arg3: 'T3 * arg4: 'T4 * arg5: 'T5 * arg6: 'T6 * arg7: 'T7 * arg8: 'T8 * arg9: 'T9 * arg10: 'T10 * arg11: 'T11 -> 'TResult <summary>Encapsulates a method that has 11 parameters and returns a value of the type specified by the <typeparamref name="TResult" /> parameter.</summary> <param name="arg1">The first parameter of the method that this delegate encapsulates.</param> <param name="arg2">The second parameter of the method that this delegate encapsulates.</param> <param name="arg3">The third parameter of the method that this delegate encapsulates.</param> <param name="arg4">The fourth parameter of the method that this delegate encapsulates.</param> <param name="arg5">The fifth parameter of the method that this delegate encapsulates.</param> <param name="arg6">The sixth parameter of the method that this delegate encapsulates.</param> <param name="arg7">The seventh parameter of the method that this delegate encapsulates.</param> <param name="arg8">The eighth parameter of the method that this delegate encapsulates.</param> <param name="arg9">The ninth parameter of the method that this delegate encapsulates.</param> <param name="arg10">The tenth parameter of the method that this delegate encapsulates.</param> <param name="arg11">The eleventh parameter of the method that this delegate encapsulates.</param> <typeparam name="T1">The type of the first parameter of the method that this delegate encapsulates.</typeparam> <typeparam name="T2">The type of the second parameter of the method that this delegate encapsulates.</typeparam> <typeparam name="T3">The type of the third parameter of the method that this delegate encapsulates.</typeparam> <typeparam name="T4">The type of the fourth parameter of the method that this delegate encapsulates.</typeparam> <typeparam name="T5">The type of the fifth parameter of the method that this delegate encapsulates.</typeparam> <typeparam name="T6">The type of the sixth parameter of the method that this delegate encapsulates.</typeparam> <typeparam name="T7">The type of the seventh parameter of the method that this delegate encapsulates.</typeparam> <typeparam name="T8">The type of the eighth parameter of the method that this delegate encapsulates.</typeparam> <typeparam name="T9">The type of the ninth parameter of the method that this delegate encapsulates.</typeparam> <typeparam name="T10">The type of the tenth parameter of the method that this delegate encapsulates.</typeparam> <typeparam name="T11">The type of the eleventh parameter of the method that this delegate encapsulates.</typeparam> <typeparam name="TResult">The type of the return value of the method that this delegate encapsulates.</typeparam> <returns>The return value of the method that this delegate encapsulates.</returns> -------------------- type Func<'T1,'T2,'T3,'T4,'T5,'T6,'T7,'T8,'T9,'T10,'T11,'T12,'TResult> = new: object: obj * method: nativeint -> unit member BeginInvoke: arg1: 'T1 * arg2: 'T2 * arg3: 'T3 * arg4: 'T4 * arg5: 'T5 * arg6: 'T6 * arg7: 'T7 * arg8: 'T8 * arg9: 'T9 * arg10: 'T10 * arg11: 'T11 * arg12: 'T12 * callback: AsyncCallback * object: obj -> IAsyncResult member EndInvoke: result: IAsyncResult -> 'TResult member Invoke: arg1: 'T1 * arg2: 'T2 * arg3: 'T3 * arg4: 'T4 * arg5: 'T5 * arg6: 'T6 * arg7: 'T7 * arg8: 'T8 * arg9: 'T9 * arg10: 'T10 * arg11: 'T11 * arg12: 'T12 -> 'TResult <summary>Encapsulates a method that has 12 parameters and returns a value of the type specified by the <typeparamref name="TResult" /> parameter.</summary> <param name="arg1">The first parameter of the method that this delegate encapsulates.</param> <param name="arg2">The second parameter of the method that this delegate encapsulates.</param> <param name="arg3">The third parameter of the method that this delegate encapsulates.</param> <param name="arg4">The fourth parameter of the method that this delegate encapsulates.</param> <param name="arg5">The fifth parameter of the method that this delegate encapsulates.</param> <param name="arg6">The sixth parameter of the method that this delegate encapsulates.</param> <param name="arg7">The seventh parameter of the method that this delegate encapsulates.</param> <param name="arg8">The eighth parameter of the method that this delegate encapsulates.</param> <param name="arg9">The ninth parameter of the method that this delegate encapsulates.</param> <param name="arg10">The tenth parameter of the method that this delegate encapsulates.</param> <param name="arg11">The eleventh parameter of the method that this delegate encapsulates.</param> <param name="arg12">The twelfth parameter of the method that this delegate encapsulates.</param> <typeparam name="T1">The type of the first parameter of the method that this delegate encapsulates.</typeparam> <typeparam name="T2">The type of the second parameter of the method that this delegate encapsulates.</typeparam> <typeparam name="T3">The type of the third parameter of the method that this delegate encapsulates.</typeparam> <typeparam name="T4">The type of the fourth parameter of the method that this delegate encapsulates.</typeparam> <typeparam name="T5">The type of the fifth parameter of the method that this delegate encapsulates.</typeparam> <typeparam name="T6">The type of the sixth parameter of the method that this delegate encapsulates.</typeparam> <typeparam name="T7">The type of the seventh parameter of the method that this delegate encapsulates.</typeparam> <typeparam name="T8">The type of the eighth parameter of the method that this delegate encapsulates.</typeparam> <typeparam name="T9">The type of the ninth parameter of the method that this delegate encapsulates.</typeparam> <typeparam name="T10">The type of the tenth parameter of the method that this delegate encapsulates.</typeparam> <typeparam name="T11">The type of the eleventh parameter of the method that this delegate encapsulates.</typeparam> <typeparam name="T12">The type of the twelfth parameter of the method that this delegate encapsulates.</typeparam> <typeparam name="TResult">The type of the return value of the method that this delegate encapsulates.</typeparam> <returns>The return value of the method that this delegate encapsulates.</returns> -------------------- type Func<'T1,'T2,'T3,'T4,'T5,'T6,'T7,'T8,'T9,'T10,'T11,'T12,'T13,'TResult> = new: object: obj * method: nativeint -> unit member BeginInvoke: arg1: 'T1 * arg2: 'T2 * arg3: 'T3 * arg4: 'T4 * arg5: 'T5 * arg6: 'T6 * arg7: 'T7 * arg8: 'T8 * arg9: 'T9 * arg10: 'T10 * arg11: 'T11 * arg12: 'T12 * arg13: 'T13 * callback: AsyncCallback * object: obj -> IAsyncResult member EndInvoke: result: IAsyncResult -> 'TResult member Invoke: arg1: 'T1 * arg2: 'T2 * arg3: 'T3 * arg4: 'T4 * arg5: 'T5 * arg6: 'T6 * arg7: 'T7 * arg8: 'T8 * arg9: 'T9 * arg10: 'T10 * arg11: 'T11 * arg12: 'T12 * arg13: 'T13 -> 'TResult <summary>Encapsulates a method that has 13 parameters and returns a value of the type specified by the <typeparamref name="TResult" /> parameter.</summary> <param name="arg1">The first parameter of the method that this delegate encapsulates.</param> <param name="arg2">The second parameter of the method that this delegate encapsulates.</param> <param name="arg3">The third parameter of the method that this delegate encapsulates.</param> <param name="arg4">The fourth parameter of the method that this delegate encapsulates.</param> <param name="arg5">The fifth parameter of the method that this delegate encapsulates.</param> <param name="arg6">The sixth parameter of the method that this delegate encapsulates.</param> <param name="arg7">The seventh parameter of the method that this delegate encapsulates.</param> <param name="arg8">The eighth parameter of the method that this delegate encapsulates.</param> <param name="arg9">The ninth parameter of the method that this delegate encapsulates.</param> <param name="arg10">The tenth parameter of the method that this delegate encapsulates.</param> <param name="arg11">The eleventh parameter of the method that this delegate encapsulates.</param> <param name="arg12">The twelfth parameter of the method that this delegate encapsulates.</param> <param name="arg13">The thirteenth parameter of the method that this delegate encapsulates.</param> <typeparam name="T1">The type of the first parameter of the method that this delegate encapsulates.</typeparam> <typeparam name="T2">The type of the second parameter of the method that this delegate encapsulates.</typeparam> <typeparam name="T3">The type of the third parameter of the method that this delegate encapsulates.</typeparam> <typeparam name="T4">The type of the fourth parameter of the method that this delegate encapsulates.</typeparam> <typeparam name="T5">The type of the fifth parameter of the method that this delegate encapsulates.</typeparam> <typeparam name="T6">The type of the sixth parameter of the method that this delegate encapsulates.</typeparam> <typeparam name="T7">The type of the seventh parameter of the method that this delegate encapsulates.</typeparam> <typeparam name="T8">The type of the eighth parameter of the method that this delegate encapsulates.</typeparam> <typeparam name="T9">The type of the ninth parameter of the method that this delegate encapsulates.</typeparam> <typeparam name="T10">The type of the tenth parameter of the method that this delegate encapsulates.</typeparam> <typeparam name="T11">The type of the eleventh parameter of the method that this delegate encapsulates.</typeparam> <typeparam name="T12">The type of the twelfth parameter of the method that this delegate encapsulates.</typeparam> <typeparam name="T13">The type of the thirteenth parameter of the method that this delegate encapsulates.</typeparam> <typeparam name="TResult">The type of the return value of the method that this delegate encapsulates.</typeparam> <returns>The return value of the method that this delegate encapsulates.</returns> -------------------- type Func<'T1,'T2,'T3,'T4,'T5,'T6,'T7,'T8,'T9,'T10,'T11,'T12,'T13,'T14,'TResult> = new: object: obj * method: nativeint -> unit member BeginInvoke: arg1: 'T1 * arg2: 'T2 * arg3: 'T3 * arg4: 'T4 * arg5: 'T5 * arg6: 'T6 * arg7: 'T7 * arg8: 'T8 * arg9: 'T9 * arg10: 'T10 * arg11: 'T11 * arg12: 'T12 * arg13: 'T13 * arg14: 'T14 * callback: AsyncCallback * object: obj -> IAsyncResult member EndInvoke: result: IAsyncResult -> 'TResult member Invoke: arg1: 'T1 * arg2: 'T2 * arg3: 'T3 * arg4: 'T4 * arg5: 'T5 * arg6: 'T6 * arg7: 'T7 * arg8: 'T8 * arg9: 'T9 * arg10: 'T10 * arg11: 'T11 * arg12: 'T12 * arg13: 'T13 * arg14: 'T14 -> 'TResult <summary>Encapsulates a method that has 14 parameters and returns a value of the type specified by the <typeparamref name="TResult" /> parameter.</summary> <param name="arg1">The first parameter of the method that this delegate encapsulates.</param> <param name="arg2">The second parameter of the method that this delegate encapsulates.</param> <param name="arg3">The third parameter of the method that this delegate encapsulates.</param> <param name="arg4">The fourth parameter of the method that this delegate encapsulates.</param> <param name="arg5">The fifth parameter of the method that this delegate encapsulates.</param> <param name="arg6">The sixth parameter of the method that this delegate encapsulates.</param> <param name="arg7">The seventh parameter of the method that this delegate encapsulates.</param> <param name="arg8">The eighth parameter of the method that this delegate encapsulates.</param> <param name="arg9">The ninth parameter of the method that this delegate encapsulates.</param> <param name="arg10">The tenth parameter of the method that this delegate encapsulates.</param> <param name="arg11">The eleventh parameter of the method that this delegate encapsulates.</param> <param name="arg12">The twelfth parameter of the method that this delegate encapsulates.</param> <param name="arg13">The thirteenth parameter of the method that this delegate encapsulates.</param> <param name="arg14">The fourteenth parameter of the method that this delegate encapsulates.</param> <typeparam name="T1">The type of the first parameter of the method that this delegate encapsulates.</typeparam> <typeparam name="T2">The type of the second parameter of the method that this delegate encapsulates.</typeparam> <typeparam name="T3">The type of the third parameter of the method that this delegate encapsulates.</typeparam> <typeparam name="T4">The type of the fourth parameter of the method that this delegate encapsulates.</typeparam> <typeparam name="T5">The type of the fifth parameter of the method that this delegate encapsulates.</typeparam> <typeparam name="T6">The type of the sixth parameter of the method that this delegate encapsulates.</typeparam> <typeparam name="T7">The type of the seventh parameter of the method that this delegate encapsulates.</typeparam> <typeparam name="T8">The type of the eighth parameter of the method that this delegate encapsulates.</typeparam> <typeparam name="T9">The type of the ninth parameter of the method that this delegate encapsulates.</typeparam> <typeparam name="T10">The type of the tenth parameter of the method that this delegate encapsulates.</typeparam> <typeparam name="T11">The type of the eleventh parameter of the method that this delegate encapsulates.</typeparam> <typeparam name="T12">The type of the twelfth parameter of the method that this delegate encapsulates.</typeparam> <typeparam name="T13">The type of the thirteenth parameter of the method that this delegate encapsulates.</typeparam> <typeparam name="T14">The type of the fourteenth parameter of the method that this delegate encapsulates.</typeparam> <typeparam name="TResult">The type of the return value of the method that this delegate encapsulates.</typeparam> <returns>The return value of the method that this delegate encapsulates.</returns> -------------------- type Func<'T1,'T2,'T3,'T4,'T5,'T6,'T7,'T8,'T9,'T10,'T11,'T12,'T13,'T14,'T15,'TResult> = new: object: obj * method: nativeint -> unit member BeginInvoke: arg1: 'T1 * arg2: 'T2 * arg3: 'T3 * arg4: 'T4 * arg5: 'T5 * arg6: 'T6 * arg7: 'T7 * arg8: 'T8 * arg9: 'T9 * arg10: 'T10 * arg11: 'T11 * arg12: 'T12 * arg13: 'T13 * arg14: 'T14 * arg15: 'T15 * callback: AsyncCallback * object: obj -> IAsyncResult member EndInvoke: result: IAsyncResult -> 'TResult member Invoke: arg1: 'T1 * arg2: 'T2 * arg3: 'T3 * arg4: 'T4 * arg5: 'T5 * arg6: 'T6 * arg7: 'T7 * arg8: 'T8 * arg9: 'T9 * arg10: 'T10 * arg11: 'T11 * arg12: 'T12 * arg13: 'T13 * arg14: 'T14 * arg15: 'T15 -> 'TResult <summary>Encapsulates a method that has 15 parameters and returns a value of the type specified by the <typeparamref name="TResult" /> parameter.</summary> <param name="arg1">The first parameter of the method that this delegate encapsulates.</param> <param name="arg2">The second parameter of the method that this delegate encapsulates.</param> <param name="arg3">The third parameter of the method that this delegate encapsulates.</param> <param name="arg4">The fourth parameter of the method that this delegate encapsulates.</param> <param name="arg5">The fifth parameter of the method that this delegate encapsulates.</param> <param name="arg6">The sixth parameter of the method that this delegate encapsulates.</param> <param name="arg7">The seventh parameter of the method that this delegate encapsulates.</param> <param name="arg8">The eighth parameter of the method that this delegate encapsulates.</param> <param name="arg9">The ninth parameter of the method that this delegate encapsulates.</param> <param name="arg10">The tenth parameter of the method that this delegate encapsulates.</param> <param name="arg11">The eleventh parameter of the method that this delegate encapsulates.</param> <param name="arg12">The twelfth parameter of the method that this delegate encapsulates.</param> <param name="arg13">The thirteenth parameter of the method that this delegate encapsulates.</param> <param name="arg14">The fourteenth parameter of the method that this delegate encapsulates.</param> <param name="arg15">The fifteenth parameter of the method that this delegate encapsulates.</param> <typeparam name="T1">The type of the first parameter of the method that this delegate encapsulates.</typeparam> <typeparam name="T2">The type of the second parameter of the method that this delegate encapsulates.</typeparam> <typeparam name="T3">The type of the third parameter of the method that this delegate encapsulates.</typeparam> <typeparam name="T4">The type of the fourth parameter of the method that this delegate encapsulates.</typeparam> <typeparam name="T5">The type of the fifth parameter of the method that this delegate encapsulates.</typeparam> <typeparam name="T6">The type of the sixth parameter of the method that this delegate encapsulates.</typeparam> <typeparam name="T7">The type of the seventh parameter of the method that this delegate encapsulates.</typeparam> <typeparam name="T8">The type of the eighth parameter of the method that this delegate encapsulates.</typeparam> <typeparam name="T9">The type of the ninth parameter of the method that this delegate encapsulates.</typeparam> <typeparam name="T10">The type of the tenth parameter of the method that this delegate encapsulates.</typeparam> <typeparam name="T11">The type of the eleventh parameter of the method that this delegate encapsulates.</typeparam> <typeparam name="T12">The type of the twelfth parameter of the method that this delegate encapsulates.</typeparam> <typeparam name="T13">The type of the thirteenth parameter of the method that this delegate encapsulates.</typeparam> <typeparam name="T14">The type of the fourteenth parameter of the method that this delegate encapsulates.</typeparam> <typeparam name="T15">The type of the fifteenth parameter of the method that this delegate encapsulates.</typeparam> <typeparam name="TResult">The type of the return value of the method that this delegate encapsulates.</typeparam> <returns>The return value of the method that this delegate encapsulates.</returns> -------------------- type Func<'T1,'T2,'T3,'T4,'T5,'T6,'T7,'T8,'T9,'T10,'T11,'T12,'T13,'T14,'T15,'T16,'TResult> = new: object: obj * method: nativeint -> unit member BeginInvoke: arg1: 'T1 * arg2: 'T2 * arg3: 'T3 * arg4: 'T4 * arg5: 'T5 * arg6: 'T6 * arg7: 'T7 * arg8: 'T8 * arg9: 'T9 * arg10: 'T10 * arg11: 'T11 * arg12: 'T12 * arg13: 'T13 * arg14: 'T14 * arg15: 'T15 * arg16: 'T16 * callback: AsyncCallback * object: obj -> IAsyncResult member EndInvoke: result: IAsyncResult -> 'TResult member Invoke: arg1: 'T1 * arg2: 'T2 * arg3: 'T3 * arg4: 'T4 * arg5: 'T5 * arg6: 'T6 * arg7: 'T7 * arg8: 'T8 * arg9: 'T9 * arg10: 'T10 * arg11: 'T11 * arg12: 'T12 * arg13: 'T13 * arg14: 'T14 * arg15: 'T15 * arg16: 'T16 -> 'TResult <summary>Encapsulates a method that has 16 parameters and returns a value of the type specified by the <typeparamref name="TResult" /> parameter.</summary> <param name="arg1">The first parameter of the method that this delegate encapsulates.</param> <param name="arg2">The second parameter of the method that this delegate encapsulates.</param> <param name="arg3">The third parameter of the method that this delegate encapsulates.</param> <param name="arg4">The fourth parameter of the method that this delegate encapsulates.</param> <param name="arg5">The fifth parameter of the method that this delegate encapsulates.</param> <param name="arg6">The sixth parameter of the method that this delegate encapsulates.</param> <param name="arg7">The seventh parameter of the method that this delegate encapsulates.</param> <param name="arg8">The eighth parameter of the method that this delegate encapsulates.</param> <param name="arg9">The ninth parameter of the method that this delegate encapsulates.</param> <param name="arg10">The tenth parameter of the method that this delegate encapsulates.</param> <param name="arg11">The eleventh parameter of the method that this delegate encapsulates.</param> <param name="arg12">The twelfth parameter of the method that this delegate encapsulates.</param> <param name="arg13">The thirteenth parameter of the method that this delegate encapsulates.</param> <param name="arg14">The fourteenth parameter of the method that this delegate encapsulates.</param> <param name="arg15">The fifteenth parameter of the method that this delegate encapsulates.</param> <param name="arg16">The sixteenth parameter of the method that this delegate encapsulates.</param> <typeparam name="T1">The type of the first parameter of the method that this delegate encapsulates.</typeparam> <typeparam name="T2">The type of the second parameter of the method that this delegate encapsulates.</typeparam> <typeparam name="T3">The type of the third parameter of the method that this delegate encapsulates.</typeparam> <typeparam name="T4">The type of the fourth parameter of the method that this delegate encapsulates.</typeparam> <typeparam name="T5">The type of the fifth parameter of the method that this delegate encapsulates.</typeparam> <typeparam name="T6">The type of the sixth parameter of the method that this delegate encapsulates.</typeparam> <typeparam name="T7">The type of the seventh parameter of the method that this delegate encapsulates.</typeparam> <typeparam name="T8">The type of the eighth parameter of the method that this delegate encapsulates.</typeparam> <typeparam name="T9">The type of the ninth parameter of the method that this delegate encapsulates.</typeparam> <typeparam name="T10">The type of the tenth parameter of the method that this delegate encapsulates.</typeparam> <typeparam name="T11">The type of the eleventh parameter of the method that this delegate encapsulates.</typeparam> <typeparam name="T12">The type of the twelfth parameter of the method that this delegate encapsulates.</typeparam> <typeparam name="T13">The type of the thirteenth parameter of the method that this delegate encapsulates.</typeparam> <typeparam name="T14">The type of the fourteenth parameter of the method that this delegate encapsulates.</typeparam> <typeparam name="T15">The type of the fifteenth parameter of the method that this delegate encapsulates.</typeparam> <typeparam name="T16">The type of the sixteenth parameter of the method that this delegate encapsulates.</typeparam> <typeparam name="TResult">The type of the return value of the method that this delegate encapsulates.</typeparam> <returns>The return value of the method that this delegate encapsulates.</returns> <@ new System.Func<int, int>(fun v -> v) @> .
|
Full Usage:
Expr.NewObject(constructorInfo, arguments)
Parameters:
ConstructorInfo
-
The description of the constructor.
arguments : Expr list
-
The list of arguments to the constructor.
Returns: Expr
The resulting expression.
|
Example
namespace System
namespace Microsoft.FSharp
namespace Microsoft.FSharp.Quotations
module Patterns
from Microsoft.FSharp.Quotations
val ctorInfo: Reflection.ConstructorInfo
Multiple items
[<Struct>] type DateTime = new: year: int * month: int * day: int -> unit + 14 overloads member Add: value: TimeSpan -> DateTime member AddDays: value: float -> DateTime member AddHours: value: float -> DateTime member AddMicroseconds: value: float -> DateTime member AddMilliseconds: value: float -> DateTime member AddMinutes: value: float -> DateTime member AddMonths: months: int -> DateTime member AddSeconds: value: float -> DateTime member AddTicks: value: int64 -> DateTime ... <summary>Represents an instant in time, typically expressed as a date and time of day.</summary> -------------------- DateTime () (+0 other overloads) DateTime(ticks: int64) : DateTime (+0 other overloads) DateTime(ticks: int64, kind: DateTimeKind) : DateTime (+0 other overloads) DateTime(year: int, month: int, day: int) : DateTime (+0 other overloads) DateTime(year: int, month: int, day: int, calendar: Globalization.Calendar) : DateTime (+0 other overloads) DateTime(year: int, month: int, day: int, hour: int, minute: int, second: int) : DateTime (+0 other overloads) DateTime(year: int, month: int, day: int, hour: int, minute: int, second: int, kind: DateTimeKind) : DateTime (+0 other overloads) DateTime(year: int, month: int, day: int, hour: int, minute: int, second: int, calendar: Globalization.Calendar) : DateTime (+0 other overloads) DateTime(year: int, month: int, day: int, hour: int, minute: int, second: int, millisecond: int) : DateTime (+0 other overloads) DateTime(year: int, month: int, day: int, hour: int, minute: int, second: int, millisecond: int, kind: DateTimeKind) : DateTime (+0 other overloads) active recognizer NewObject: Expr -> (Reflection.ConstructorInfo * Expr list) option
val ci: Reflection.ConstructorInfo
val failwith: message: string -> 'T
val argExpr: Expr<int64>
Multiple items
type Expr = override Equals: obj: obj -> bool member GetFreeVars: unit -> seq<Var> member Substitute: substitution: (Var -> Expr option) -> Expr member ToString: full: bool -> string static member AddressOf: target: Expr -> Expr static member AddressSet: target: Expr * value: Expr -> Expr static member Application: functionExpr: Expr * argument: Expr -> Expr static member Applications: functionExpr: Expr * arguments: Expr list list -> Expr static member Call: methodInfo: MethodInfo * arguments: Expr list -> Expr + 1 overload static member CallWithWitnesses: methodInfo: MethodInfo * methodInfoWithWitnesses: MethodInfo * witnesses: Expr list * arguments: Expr list -> Expr + 1 overload ... -------------------- type Expr<'T> = inherit Expr member Raw: Expr static member Expr.NewObject: constructorInfo: Reflection.ConstructorInfo * arguments: Expr list -> Expr
Evaluates to a quotation with the same structure as <@ NewObject (DateTime, Value (100000L)) @> .
|
|
Example
Multiple items
namespace Microsoft.FSharp -------------------- namespace FSharp namespace Microsoft.FSharp.Quotations
type R =
{
Y: int
X: string
}
R.Y: int
Multiple items
val int: value: 'T -> int (requires member op_Explicit) -------------------- type int = int32 -------------------- type int<'Measure> = int R.X: string
Multiple items
val string: value: 'T -> string -------------------- type string = System.String Multiple items
type Expr = override Equals: obj: obj -> bool member GetFreeVars: unit -> seq<Var> member Substitute: substitution: (Var -> Expr option) -> Expr member ToString: full: bool -> string static member AddressOf: target: Expr -> Expr static member AddressSet: target: Expr * value: Expr -> Expr static member Application: functionExpr: Expr * argument: Expr -> Expr static member Applications: functionExpr: Expr * arguments: Expr list list -> Expr static member Call: methodInfo: MethodInfo * arguments: Expr list -> Expr + 1 overload static member CallWithWitnesses: methodInfo: MethodInfo * methodInfoWithWitnesses: MethodInfo * witnesses: Expr list * arguments: Expr list -> Expr + 1 overload ... -------------------- type Expr<'T> = inherit Expr member Raw: Expr static member Expr.NewRecord: recordType: System.Type * elements: Expr list -> Expr
val typeof<'T> : System.Type
Evaluates to a quotation with the same structure as <@ { Y = 1; X = "a" } @> .
|
|
Example
Multiple items
namespace Microsoft.FSharp -------------------- namespace FSharp namespace Microsoft.FSharp.Quotations
Multiple items
type Expr = override Equals: obj: obj -> bool member GetFreeVars: unit -> seq<Var> member Substitute: substitution: (Var -> Expr option) -> Expr member ToString: full: bool -> string static member AddressOf: target: Expr -> Expr static member AddressSet: target: Expr * value: Expr -> Expr static member Application: functionExpr: Expr * argument: Expr -> Expr static member Applications: functionExpr: Expr * arguments: Expr list list -> Expr static member Call: methodInfo: MethodInfo * arguments: Expr list -> Expr + 1 overload static member CallWithWitnesses: methodInfo: MethodInfo * methodInfoWithWitnesses: MethodInfo * witnesses: Expr list * arguments: Expr list -> Expr + 1 overload ... -------------------- type Expr<'T> = inherit Expr member Raw: Expr static member Expr.NewStructTuple: asm: System.Reflection.Assembly * elements: Expr list -> Expr
Evaluates to a quotation with the same structure as <@ struct (1, "a") @> .
|
|
Example
Multiple items
namespace Microsoft.FSharp -------------------- namespace FSharp namespace Microsoft.FSharp.Quotations
Multiple items
type Expr = override Equals: obj: obj -> bool member GetFreeVars: unit -> seq<Var> member Substitute: substitution: (Var -> Expr option) -> Expr member ToString: full: bool -> string static member AddressOf: target: Expr -> Expr static member AddressSet: target: Expr * value: Expr -> Expr static member Application: functionExpr: Expr * argument: Expr -> Expr static member Applications: functionExpr: Expr * arguments: Expr list list -> Expr static member Call: methodInfo: MethodInfo * arguments: Expr list -> Expr + 1 overload static member CallWithWitnesses: methodInfo: MethodInfo * methodInfoWithWitnesses: MethodInfo * witnesses: Expr list * arguments: Expr list -> Expr + 1 overload ... -------------------- type Expr<'T> = inherit Expr member Raw: Expr static member Expr.NewStructTuple: asm: System.Reflection.Assembly * elements: Expr list -> Expr
val typeof<'T> : System.Type
Multiple items
Evaluates to a quotation with the same structure as val int: value: 'T -> int (requires member op_Explicit) -------------------- type int = int32 -------------------- type int<'Measure> = int <@ struct (1, "a") @> .
|
|
Example
Multiple items
namespace Microsoft.FSharp -------------------- namespace FSharp namespace Microsoft.FSharp.Quotations
Multiple items
type Expr = override Equals: obj: obj -> bool member GetFreeVars: unit -> seq<Var> member Substitute: substitution: (Var -> Expr option) -> Expr member ToString: full: bool -> string static member AddressOf: target: Expr -> Expr static member AddressSet: target: Expr * value: Expr -> Expr static member Application: functionExpr: Expr * argument: Expr -> Expr static member Applications: functionExpr: Expr * arguments: Expr list list -> Expr static member Call: methodInfo: MethodInfo * arguments: Expr list -> Expr + 1 overload static member CallWithWitnesses: methodInfo: MethodInfo * methodInfoWithWitnesses: MethodInfo * witnesses: Expr list * arguments: Expr list -> Expr + 1 overload ... -------------------- type Expr<'T> = inherit Expr member Raw: Expr static member Expr.NewTuple: elements: Expr list -> Expr
Evaluates to a quotation with the same structure as <@ (1, "a") @> .
|
Full Usage:
Expr.NewUnionCase(unionCase, arguments)
Parameters:
UnionCaseInfo
-
The description of the union case.
arguments : Expr list
-
The list of arguments for the case.
Returns: Expr
The resulting expression.
|
Example
namespace System
namespace Microsoft.FSharp
namespace Microsoft.FSharp.Quotations
namespace Microsoft.FSharp.Reflection
val ucCons: UnionCaseInfo
type FSharpType =
static member GetExceptionFields: exceptionType: Type * ?bindingFlags: BindingFlags -> PropertyInfo array
static member GetFunctionElements: functionType: Type -> Type * Type
static member GetRecordFields: recordType: Type * ?bindingFlags: BindingFlags -> PropertyInfo array
static member GetTupleElements: tupleType: Type -> Type array
static member GetUnionCases: unionType: Type * ?bindingFlags: BindingFlags -> UnionCaseInfo array
static member IsExceptionRepresentation: exceptionType: Type * ?bindingFlags: BindingFlags -> bool
static member IsFunction: typ: Type -> bool
static member IsModule: typ: Type -> bool
static member IsRecord: typ: Type * ?bindingFlags: BindingFlags -> bool
static member IsTuple: typ: Type -> bool
...
static member FSharpType.GetUnionCases: unionType: Type * ?allowAccessToPrivateRepresentation: bool -> UnionCaseInfo array
static member FSharpType.GetUnionCases: unionType: Type * ?bindingFlags: Reflection.BindingFlags -> UnionCaseInfo array val typeof<'T> : Type
Multiple items
val int: value: 'T -> int (requires member op_Explicit) -------------------- type int = int32 -------------------- type int<'Measure> = int type 'T list = List<'T>
Multiple items
type Expr = override Equals: obj: obj -> bool member GetFreeVars: unit -> seq<Var> member Substitute: substitution: (Var -> Expr option) -> Expr member ToString: full: bool -> string static member AddressOf: target: Expr -> Expr static member AddressSet: target: Expr * value: Expr -> Expr static member Application: functionExpr: Expr * argument: Expr -> Expr static member Applications: functionExpr: Expr * arguments: Expr list list -> Expr static member Call: methodInfo: MethodInfo * arguments: Expr list -> Expr + 1 overload static member CallWithWitnesses: methodInfo: MethodInfo * methodInfoWithWitnesses: MethodInfo * witnesses: Expr list * arguments: Expr list -> Expr + 1 overload ... -------------------- type Expr<'T> = inherit Expr member Raw: Expr static member Expr.NewUnionCase: unionCase: UnionCaseInfo * arguments: Expr list -> Expr
Evaluates to a quotation with the same structure as <@ 10 :: [11] @> .
|
Full Usage:
Expr.PropertyGet(property, ?indexerArgs)
Parameters:
PropertyInfo
-
The description of the property.
?indexerArgs : Expr list
-
List of indices for the property if it is an indexed property.
Returns: Expr
The resulting expression.
|
Example
namespace System
namespace Microsoft.FSharp
namespace Microsoft.FSharp.Quotations
module Patterns
from Microsoft.FSharp.Quotations
val propInfo: Reflection.PropertyInfo
type Console =
static member Beep: unit -> unit + 1 overload
static member Clear: unit -> unit
static member GetCursorPosition: unit -> struct (int * int)
static member MoveBufferArea: sourceLeft: int * sourceTop: int * sourceWidth: int * sourceHeight: int * targetLeft: int * targetTop: int -> unit + 1 overload
static member OpenStandardError: unit -> Stream + 1 overload
static member OpenStandardInput: unit -> Stream + 1 overload
static member OpenStandardOutput: unit -> Stream + 1 overload
static member Read: unit -> int
static member ReadKey: unit -> ConsoleKeyInfo + 1 overload
static member ReadLine: unit -> string
...
<summary>Represents the standard input, output, and error streams for console applications. This class cannot be inherited.</summary> property Console.Out: IO.TextWriter with get
<summary>Gets the standard output stream.</summary> <returns>A <see cref="T:System.IO.TextWriter" /> that represents the standard output stream.</returns> active recognizer PropertyGet: Expr -> (Expr option * Reflection.PropertyInfo * Expr list) option
union case Option.None: Option<'T>
val pi: Reflection.PropertyInfo
val failwith: message: string -> 'T
Multiple items
type Expr = override Equals: obj: obj -> bool member GetFreeVars: unit -> seq<Var> member Substitute: substitution: (Var -> Expr option) -> Expr member ToString: full: bool -> string static member AddressOf: target: Expr -> Expr static member AddressSet: target: Expr * value: Expr -> Expr static member Application: functionExpr: Expr * argument: Expr -> Expr static member Applications: functionExpr: Expr * arguments: Expr list list -> Expr static member Call: methodInfo: MethodInfo * arguments: Expr list -> Expr + 1 overload static member CallWithWitnesses: methodInfo: MethodInfo * methodInfoWithWitnesses: MethodInfo * witnesses: Expr list * arguments: Expr list -> Expr + 1 overload ... -------------------- type Expr<'T> = inherit Expr member Raw: Expr static member Expr.PropertyGet: property: Reflection.PropertyInfo * ?indexerArgs: Expr list -> Expr
Evaluates to a quotation with the same structure as static member Expr.PropertyGet: obj: Expr * property: Reflection.PropertyInfo * ?indexerArgs: Expr list -> Expr <@ Console.Out @> .
|
Full Usage:
Expr.PropertyGet(obj, property, ?indexerArgs)
Parameters:
Expr
-
The input object.
property : PropertyInfo
-
The description of the property.
?indexerArgs : Expr list
-
List of indices for the property if it is an indexed property.
Returns: Expr
The resulting expression.
|
Example
namespace System
namespace Microsoft.FSharp
namespace Microsoft.FSharp.Quotations
module Patterns
from Microsoft.FSharp.Quotations
val propInfo: Reflection.PropertyInfo
active recognizer PropertyGet: Expr -> (Expr option * Reflection.PropertyInfo * Expr list) option
union case Option.Some: Value: 'T -> Option<'T>
val pi: Reflection.PropertyInfo
val failwith: message: string -> 'T
val objExpr: Expr<string>
Multiple items
type Expr = override Equals: obj: obj -> bool member GetFreeVars: unit -> seq<Var> member Substitute: substitution: (Var -> Expr option) -> Expr member ToString: full: bool -> string static member AddressOf: target: Expr -> Expr static member AddressSet: target: Expr * value: Expr -> Expr static member Application: functionExpr: Expr * argument: Expr -> Expr static member Applications: functionExpr: Expr * arguments: Expr list list -> Expr static member Call: methodInfo: MethodInfo * arguments: Expr list -> Expr + 1 overload static member CallWithWitnesses: methodInfo: MethodInfo * methodInfoWithWitnesses: MethodInfo * witnesses: Expr list * arguments: Expr list -> Expr + 1 overload ... -------------------- type Expr<'T> = inherit Expr member Raw: Expr static member Expr.PropertyGet: property: Reflection.PropertyInfo * ?indexerArgs: Expr list -> Expr
Evaluates to a quotation with the same structure as static member Expr.PropertyGet: obj: Expr * property: Reflection.PropertyInfo * ?indexerArgs: Expr list -> Expr <@ "bb".Length @> .
|
Full Usage:
Expr.PropertySet(property, value, ?indexerArgs)
Parameters:
PropertyInfo
-
The description of the property.
value : Expr
-
The value to set.
?indexerArgs : Expr list
-
List of indices for the property if it is an indexed property.
Returns: Expr
The resulting expression.
|
Example
namespace System
namespace System.Collections
namespace System.Collections.Generic
namespace Microsoft.FSharp
namespace Microsoft.FSharp.Quotations
module Patterns
from Microsoft.FSharp.Quotations
val propInfo: Reflection.PropertyInfo
type Console =
static member Beep: unit -> unit + 1 overload
static member Clear: unit -> unit
static member GetCursorPosition: unit -> struct (int * int)
static member MoveBufferArea: sourceLeft: int * sourceTop: int * sourceWidth: int * sourceHeight: int * targetLeft: int * targetTop: int -> unit + 1 overload
static member OpenStandardError: unit -> Stream + 1 overload
static member OpenStandardInput: unit -> Stream + 1 overload
static member OpenStandardOutput: unit -> Stream + 1 overload
static member Read: unit -> int
static member ReadKey: unit -> ConsoleKeyInfo + 1 overload
static member ReadLine: unit -> string
...
<summary>Represents the standard input, output, and error streams for console applications. This class cannot be inherited.</summary> property Console.BackgroundColor: ConsoleColor with get, set
<summary>Gets or sets the background color of the console.</summary> <exception cref="T:System.ArgumentException">The color specified in a set operation is not a valid member of <see cref="T:System.ConsoleColor" />.</exception> <exception cref="T:System.Security.SecurityException">The user does not have permission to perform this action.</exception> <exception cref="T:System.IO.IOException">An I/O error occurred.</exception> <returns>A value that specifies the background color of the console; that is, the color that appears behind each character. The default is black.</returns> [<Struct>]
type ConsoleColor =
| Black = 0
| DarkBlue = 1
| DarkGreen = 2
| DarkCyan = 3
| DarkRed = 4
| DarkMagenta = 5
| DarkYellow = 6
| Gray = 7
| DarkGray = 8
| Blue = 9
...
<summary>Specifies constants that define foreground and background colors for the console.</summary> field ConsoleColor.Red: ConsoleColor = 12
active recognizer PropertySet: Expr -> (Expr option * Reflection.PropertyInfo * Expr list * Expr) option
union case Option.None: Option<'T>
val pi: Reflection.PropertyInfo
val failwith: message: string -> 'T
Multiple items
type Expr = override Equals: obj: obj -> bool member GetFreeVars: unit -> seq<Var> member Substitute: substitution: (Var -> Expr option) -> Expr member ToString: full: bool -> string static member AddressOf: target: Expr -> Expr static member AddressSet: target: Expr * value: Expr -> Expr static member Application: functionExpr: Expr * argument: Expr -> Expr static member Applications: functionExpr: Expr * arguments: Expr list list -> Expr static member Call: methodInfo: MethodInfo * arguments: Expr list -> Expr + 1 overload static member CallWithWitnesses: methodInfo: MethodInfo * methodInfoWithWitnesses: MethodInfo * witnesses: Expr list * arguments: Expr list -> Expr + 1 overload ... -------------------- type Expr<'T> = inherit Expr member Raw: Expr static member Expr.PropertySet: property: Reflection.PropertyInfo * value: Expr * ?indexerArgs: Expr list -> Expr
static member Expr.PropertySet: obj: Expr * property: Reflection.PropertyInfo * value: Expr * ?indexerArgs: Expr list -> Expr field ConsoleColor.Blue: ConsoleColor = 9
Evaluates to a quotation with the same structure as <@ Console.BackgroundColor <- ConsoleColor.Blue @> .
|
Full Usage:
Expr.PropertySet(obj, property, value, ?indexerArgs)
Parameters:
Expr
-
The input object.
property : PropertyInfo
-
The description of the property.
value : Expr
-
The value to set.
?indexerArgs : Expr list
-
List of indices for the property if it is an indexed property.
Returns: Expr
The resulting expression.
|
Example
namespace System
namespace System.Collections
namespace System.Collections.Generic
namespace Microsoft.FSharp
namespace Microsoft.FSharp.Quotations
module Patterns
from Microsoft.FSharp.Quotations
val propInfo: Reflection.PropertyInfo
Multiple items
type List<'T> = interface ICollection<'T> interface IEnumerable<'T> interface IEnumerable interface IList<'T> interface IReadOnlyCollection<'T> interface IReadOnlyList<'T> interface ICollection interface IList new: unit -> unit + 2 overloads member Add: item: 'T -> unit ... <summary>Represents a strongly typed list of objects that can be accessed by index. Provides methods to search, sort, and manipulate lists.</summary> <typeparam name="T">The type of elements in the list.</typeparam> -------------------- List() : List<'T> List(collection: IEnumerable<'T>) : List<'T> List(capacity: int) : List<'T> Multiple items
val int: value: 'T -> int (requires member op_Explicit) -------------------- type int = int32 -------------------- type int<'Measure> = int active recognizer PropertyGet: Expr -> (Expr option * Reflection.PropertyInfo * Expr list) option
union case Option.Some: Value: 'T -> Option<'T>
val pi: Reflection.PropertyInfo
val failwith: message: string -> 'T
val objExpr: Expr<List<int>>
Multiple items
type Expr = override Equals: obj: obj -> bool member GetFreeVars: unit -> seq<Var> member Substitute: substitution: (Var -> Expr option) -> Expr member ToString: full: bool -> string static member AddressOf: target: Expr -> Expr static member AddressSet: target: Expr * value: Expr -> Expr static member Application: functionExpr: Expr * argument: Expr -> Expr static member Applications: functionExpr: Expr * arguments: Expr list list -> Expr static member Call: methodInfo: MethodInfo * arguments: Expr list -> Expr + 1 overload static member CallWithWitnesses: methodInfo: MethodInfo * methodInfoWithWitnesses: MethodInfo * witnesses: Expr list * arguments: Expr list -> Expr + 1 overload ... -------------------- type Expr<'T> = inherit Expr member Raw: Expr static member Expr.PropertySet: property: Reflection.PropertyInfo * value: Expr * ?indexerArgs: Expr list -> Expr
Evaluates to a quotation with the same structure as static member Expr.PropertySet: obj: Expr * property: Reflection.PropertyInfo * value: Expr * ?indexerArgs: Expr list -> Expr <@ (new List<int>()).Capacity <- 6 @> .
|
|
Example
Multiple items
namespace Microsoft.FSharp -------------------- namespace FSharp namespace Microsoft.FSharp.Quotations
Multiple items
type Expr = override Equals: obj: obj -> bool member GetFreeVars: unit -> seq<Var> member Substitute: substitution: (Var -> Expr option) -> Expr member ToString: full: bool -> string static member AddressOf: target: Expr -> Expr static member AddressSet: target: Expr * value: Expr -> Expr static member Application: functionExpr: Expr * argument: Expr -> Expr static member Applications: functionExpr: Expr * arguments: Expr list list -> Expr static member Call: methodInfo: MethodInfo * arguments: Expr list -> Expr + 1 overload static member CallWithWitnesses: methodInfo: MethodInfo * methodInfoWithWitnesses: MethodInfo * witnesses: Expr list * arguments: Expr list -> Expr + 1 overload ... -------------------- type Expr<'T> = inherit Expr member Raw: Expr static member Expr.QuoteRaw: inner: Expr -> Expr
Evaluates to a quotation with the same structure as <@ <@ 1 @> @> .
|
|
Example
Multiple items
namespace Microsoft.FSharp -------------------- namespace FSharp namespace Microsoft.FSharp.Quotations
Multiple items
type Expr = override Equals: obj: obj -> bool member GetFreeVars: unit -> seq<Var> member Substitute: substitution: (Var -> Expr option) -> Expr member ToString: full: bool -> string static member AddressOf: target: Expr -> Expr static member AddressSet: target: Expr * value: Expr -> Expr static member Application: functionExpr: Expr * argument: Expr -> Expr static member Applications: functionExpr: Expr * arguments: Expr list list -> Expr static member Call: methodInfo: MethodInfo * arguments: Expr list -> Expr + 1 overload static member CallWithWitnesses: methodInfo: MethodInfo * methodInfoWithWitnesses: MethodInfo * witnesses: Expr list * arguments: Expr list -> Expr + 1 overload ... -------------------- type Expr<'T> = inherit Expr member Raw: Expr static member Expr.QuoteTyped: inner: Expr -> Expr
Evaluates to a quotation with the same structure as <@ <@ 1 @> @> .
|
Full Usage:
Expr.RegisterReflectedDefinitions(assembly, resource, serializedValue, referencedTypes)
Parameters:
Assembly
-
The assembly associated with the resource.
resource : string
-
The unique name for the resources being added.
serializedValue : byte[]
-
The serialized resource to register with the environment.
referencedTypes : Type[]
-
The type definitions referenced.
|
|
Full Usage:
Expr.RegisterReflectedDefinitions(assembly, resource, serializedValue)
Parameters:
Assembly
-
The assembly associated with the resource.
resource : string
-
The unique name for the resources being added.
serializedValue : byte[]
-
The serialized resource to register with the environment.
|
|
|
Example
namespace System
namespace Microsoft.FSharp
namespace Microsoft.FSharp.Quotations
Multiple items
type Expr = override Equals: obj: obj -> bool member GetFreeVars: unit -> seq<Var> member Substitute: substitution: (Var -> Expr option) -> Expr member ToString: full: bool -> string static member AddressOf: target: Expr -> Expr static member AddressSet: target: Expr * value: Expr -> Expr static member Application: functionExpr: Expr * argument: Expr -> Expr static member Applications: functionExpr: Expr * arguments: Expr list list -> Expr static member Call: methodInfo: MethodInfo * arguments: Expr list -> Expr + 1 overload static member CallWithWitnesses: methodInfo: MethodInfo * methodInfoWithWitnesses: MethodInfo * witnesses: Expr list * arguments: Expr list -> Expr + 1 overload ... -------------------- type Expr<'T> = inherit Expr member Raw: Expr static member Expr.Sequential: first: Expr * second: Expr -> Expr
type Console =
static member Beep: unit -> unit + 1 overload
static member Clear: unit -> unit
static member GetCursorPosition: unit -> struct (int * int)
static member MoveBufferArea: sourceLeft: int * sourceTop: int * sourceWidth: int * sourceHeight: int * targetLeft: int * targetTop: int -> unit + 1 overload
static member OpenStandardError: unit -> Stream + 1 overload
static member OpenStandardInput: unit -> Stream + 1 overload
static member OpenStandardOutput: unit -> Stream + 1 overload
static member Read: unit -> int
static member ReadKey: unit -> ConsoleKeyInfo + 1 overload
static member ReadLine: unit -> string
...
<summary>Represents the standard input, output, and error streams for console applications. This class cannot be inherited.</summary> Console.WriteLine() : unit
Evaluates to a quotation with the same structure as (+0 other overloads) Console.WriteLine(value: uint64) : unit (+0 other overloads) Console.WriteLine(value: uint32) : unit (+0 other overloads) Console.WriteLine(value: string) : unit (+0 other overloads) Console.WriteLine(value: float32) : unit (+0 other overloads) Console.WriteLine(value: obj) : unit (+0 other overloads) Console.WriteLine(value: int64) : unit (+0 other overloads) Console.WriteLine(value: int) : unit (+0 other overloads) Console.WriteLine(value: float) : unit (+0 other overloads) Console.WriteLine(value: decimal) : unit (+0 other overloads) <@ Console.WriteLine("a"); Console.WriteLine("b") @> .
|
|
Example
namespace System
namespace Microsoft.FSharp
namespace Microsoft.FSharp.Quotations
Multiple items
type Expr = override Equals: obj: obj -> bool member GetFreeVars: unit -> seq<Var> member Substitute: substitution: (Var -> Expr option) -> Expr member ToString: full: bool -> string static member AddressOf: target: Expr -> Expr static member AddressSet: target: Expr * value: Expr -> Expr static member Application: functionExpr: Expr * argument: Expr -> Expr static member Applications: functionExpr: Expr * arguments: Expr list list -> Expr static member Call: methodInfo: MethodInfo * arguments: Expr list -> Expr + 1 overload static member CallWithWitnesses: methodInfo: MethodInfo * methodInfoWithWitnesses: MethodInfo * witnesses: Expr list * arguments: Expr list -> Expr + 1 overload ... -------------------- type Expr<'T> = inherit Expr member Raw: Expr static member Expr.TryFinally: body: Expr * compensation: Expr -> Expr
type Console =
static member Beep: unit -> unit + 1 overload
static member Clear: unit -> unit
static member GetCursorPosition: unit -> struct (int * int)
static member MoveBufferArea: sourceLeft: int * sourceTop: int * sourceWidth: int * sourceHeight: int * targetLeft: int * targetTop: int -> unit + 1 overload
static member OpenStandardError: unit -> Stream + 1 overload
static member OpenStandardInput: unit -> Stream + 1 overload
static member OpenStandardOutput: unit -> Stream + 1 overload
static member Read: unit -> int
static member ReadKey: unit -> ConsoleKeyInfo + 1 overload
static member ReadLine: unit -> string
...
<summary>Represents the standard input, output, and error streams for console applications. This class cannot be inherited.</summary> Console.WriteLine() : unit
Evaluates to a quotation with the same structure as (+0 other overloads) Console.WriteLine(value: uint64) : unit (+0 other overloads) Console.WriteLine(value: uint32) : unit (+0 other overloads) Console.WriteLine(value: string) : unit (+0 other overloads) Console.WriteLine(value: float32) : unit (+0 other overloads) Console.WriteLine(value: obj) : unit (+0 other overloads) Console.WriteLine(value: int64) : unit (+0 other overloads) Console.WriteLine(value: int) : unit (+0 other overloads) Console.WriteLine(value: float) : unit (+0 other overloads) Console.WriteLine(value: decimal) : unit (+0 other overloads) <@ try 1+1 finally Console.WriteLine("finally") @> .
|
Full Usage:
Expr.TryGetReflectedDefinition(methodBase)
Parameters:
MethodBase
-
The description of the method to find.
Returns: Expr option
The reflection definition or None if a match could not be found.
|
Example
Multiple items
namespace Microsoft.FSharp -------------------- namespace FSharp namespace Microsoft.FSharp.Quotations
namespace Microsoft.FSharp
module Patterns
from Microsoft.FSharp.Quotations
Multiple items
type ReflectedDefinitionAttribute = inherit Attribute new: unit -> ReflectedDefinitionAttribute + 1 overload member IncludeValue: bool -------------------- new: unit -> ReflectedDefinitionAttribute new: includeValue: bool -> ReflectedDefinitionAttribute val f: x: int -> int
val x: int
val methInfo: System.Reflection.MethodInfo
active recognizer Call: Expr -> (Expr option * System.Reflection.MethodInfo * Expr list) option
val mi: System.Reflection.MethodInfo
val failwith: message: string -> 'T
Multiple items
type Expr = override Equals: obj: obj -> bool member GetFreeVars: unit -> seq<Var> member Substitute: substitution: (Var -> Expr option) -> Expr member ToString: full: bool -> string static member AddressOf: target: Expr -> Expr static member AddressSet: target: Expr * value: Expr -> Expr static member Application: functionExpr: Expr * argument: Expr -> Expr static member Applications: functionExpr: Expr * arguments: Expr list list -> Expr static member Call: methodInfo: MethodInfo * arguments: Expr list -> Expr + 1 overload static member CallWithWitnesses: methodInfo: MethodInfo * methodInfoWithWitnesses: MethodInfo * witnesses: Expr list * arguments: Expr list -> Expr + 1 overload ... -------------------- type Expr<'T> = inherit Expr member Raw: Expr static member Expr.TryGetReflectedDefinition: methodBase: System.Reflection.MethodBase -> Expr option
Evaluates to a quotation with the same structure as <@ fun x -> x + 1 @> , which is the implementation of the
method f .
Example
Multiple items
namespace Microsoft.FSharp -------------------- namespace FSharp namespace Microsoft.FSharp.Quotations
namespace Microsoft.FSharp
module Patterns
from Microsoft.FSharp.Quotations
Multiple items
type ReflectedDefinitionAttribute = inherit Attribute new: unit -> ReflectedDefinitionAttribute + 1 overload member IncludeValue: bool -------------------- new: unit -> ReflectedDefinitionAttribute new: includeValue: bool -> ReflectedDefinitionAttribute val f: x: 'a -> 'a * 'a
val x: 'a
val methInfoGeneric: System.Reflection.MethodInfo
module Methods
from document
active recognizer Call: Expr -> (Expr option * System.Reflection.MethodInfo * Expr list) option
val mi: System.Reflection.MethodInfo
System.Reflection.MethodInfo.GetGenericMethodDefinition() : System.Reflection.MethodInfo
val failwith: message: string -> 'T
val methInfoAtString: System.Reflection.MethodInfo
System.Reflection.MethodInfo.MakeGenericMethod([<System.ParamArray>] typeArguments: System.Type array) : System.Reflection.MethodInfo
val typeof<'T> : System.Type
Multiple items
val string: value: 'T -> string -------------------- type string = System.String Multiple items
type Expr = override Equals: obj: obj -> bool member GetFreeVars: unit -> seq<Var> member Substitute: substitution: (Var -> Expr option) -> Expr member ToString: full: bool -> string static member AddressOf: target: Expr -> Expr static member AddressSet: target: Expr * value: Expr -> Expr static member Application: functionExpr: Expr * argument: Expr -> Expr static member Applications: functionExpr: Expr * arguments: Expr list list -> Expr static member Call: methodInfo: MethodInfo * arguments: Expr list -> Expr + 1 overload static member CallWithWitnesses: methodInfo: MethodInfo * methodInfoWithWitnesses: MethodInfo * witnesses: Expr list * arguments: Expr list -> Expr + 1 overload ... -------------------- type Expr<'T> = inherit Expr member Raw: Expr static member Expr.TryGetReflectedDefinition: methodBase: System.Reflection.MethodBase -> Expr option
Evaluates to a quotation with the same structure as <@ fun (x: string) -> (x, x) @> , which is the implementation of the
generic method f instanatiated at type string .
|
Full Usage:
Expr.TryWith(body, filterVar, filterBody, catchVar, catchBody)
Parameters:
Expr
-
The body of the try expression.
filterVar : Var
-
filterBody : Expr
-
catchVar : Var
-
The variable to bind to a caught exception.
catchBody : Expr
-
The expression evaluated when an exception is caught.
Returns: Expr
The resulting expression.
|
Example
namespace System
namespace Microsoft.FSharp
namespace Microsoft.FSharp.Quotations
val exnVar: Var
Multiple items
type Var = interface IComparable new: name: string * typ: Type * ?isMutable: bool -> Var static member Global: name: string * typ: Type -> Var member IsMutable: bool member Name: string member Type: Type -------------------- new: name: string * typ: Type * ?isMutable: bool -> Var val typeof<'T> : Type
type exn = Exception
Multiple items
type Expr = override Equals: obj: obj -> bool member GetFreeVars: unit -> seq<Var> member Substitute: substitution: (Var -> Expr option) -> Expr member ToString: full: bool -> string static member AddressOf: target: Expr -> Expr static member AddressSet: target: Expr * value: Expr -> Expr static member Application: functionExpr: Expr * argument: Expr -> Expr static member Applications: functionExpr: Expr * arguments: Expr list list -> Expr static member Call: methodInfo: MethodInfo * arguments: Expr list -> Expr + 1 overload static member CallWithWitnesses: methodInfo: MethodInfo * methodInfoWithWitnesses: MethodInfo * witnesses: Expr list * arguments: Expr list -> Expr + 1 overload ... -------------------- type Expr<'T> = inherit Expr member Raw: Expr static member Expr.TryWith: body: Expr * filterVar: Var * filterBody: Expr * catchVar: Var * catchBody: Expr -> Expr
Evaluates to a quotation with the same structure as <@ try 1+1 with exn -> 2+2 @> .
|
|
Example
Multiple items
namespace Microsoft.FSharp -------------------- namespace FSharp namespace Microsoft.FSharp.Quotations
val tupExpr: Expr<int * int * int>
Multiple items
type Expr = override Equals: obj: obj -> bool member GetFreeVars: unit -> seq<Var> member Substitute: substitution: (Var -> Expr option) -> Expr member ToString: full: bool -> string static member AddressOf: target: Expr -> Expr static member AddressSet: target: Expr * value: Expr -> Expr static member Application: functionExpr: Expr * argument: Expr -> Expr static member Applications: functionExpr: Expr * arguments: Expr list list -> Expr static member Call: methodInfo: MethodInfo * arguments: Expr list -> Expr + 1 overload static member CallWithWitnesses: methodInfo: MethodInfo * methodInfoWithWitnesses: MethodInfo * witnesses: Expr list * arguments: Expr list -> Expr + 1 overload ... -------------------- type Expr<'T> = inherit Expr member Raw: Expr static member Expr.TupleGet: tuple: Expr * index: int -> Expr
Evaluates to quotation that displays as TupleGet (NewTuple (Value (1), Value (2), Value (3)), 1) .
|
|
Example
Multiple items
namespace Microsoft.FSharp -------------------- namespace FSharp namespace Microsoft.FSharp.Quotations
Multiple items
val obj: obj -------------------- type obj = System.Object val box: value: 'T -> obj
Multiple items
type Expr = override Equals: obj: obj -> bool member GetFreeVars: unit -> seq<Var> member Substitute: substitution: (Var -> Expr option) -> Expr member ToString: full: bool -> string static member AddressOf: target: Expr -> Expr static member AddressSet: target: Expr * value: Expr -> Expr static member Application: functionExpr: Expr * argument: Expr -> Expr static member Applications: functionExpr: Expr * arguments: Expr list list -> Expr static member Call: methodInfo: MethodInfo * arguments: Expr list -> Expr + 1 overload static member CallWithWitnesses: methodInfo: MethodInfo * methodInfoWithWitnesses: MethodInfo * witnesses: Expr list * arguments: Expr list -> Expr + 1 overload ... -------------------- type Expr<'T> = inherit Expr member Raw: Expr static member Expr.TypeTest: source: Expr * target: System.Type -> Expr
val typeof<'T> : System.Type
Multiple items
Evaluates to quotation that displays as val int: value: 'T -> int (requires member op_Explicit) -------------------- type int = int32 -------------------- type int<'Measure> = int TypeTest (Int32, PropertyGet (None, obj, [])) .
|
Full Usage:
Expr.UnionCaseTest(source, unionCase)
Parameters:
Expr
-
The expression to test.
unionCase : UnionCaseInfo
-
The description of the union case.
Returns: Expr
The resulting expression.
|
Example
namespace System
namespace Microsoft.FSharp
namespace Microsoft.FSharp.Quotations
namespace Microsoft.FSharp.Reflection
val ucCons: UnionCaseInfo
type FSharpType =
static member GetExceptionFields: exceptionType: Type * ?bindingFlags: BindingFlags -> PropertyInfo array
static member GetFunctionElements: functionType: Type -> Type * Type
static member GetRecordFields: recordType: Type * ?bindingFlags: BindingFlags -> PropertyInfo array
static member GetTupleElements: tupleType: Type -> Type array
static member GetUnionCases: unionType: Type * ?bindingFlags: BindingFlags -> UnionCaseInfo array
static member IsExceptionRepresentation: exceptionType: Type * ?bindingFlags: BindingFlags -> bool
static member IsFunction: typ: Type -> bool
static member IsModule: typ: Type -> bool
static member IsRecord: typ: Type * ?bindingFlags: BindingFlags -> bool
static member IsTuple: typ: Type -> bool
...
static member FSharpType.GetUnionCases: unionType: Type * ?allowAccessToPrivateRepresentation: bool -> UnionCaseInfo array
static member FSharpType.GetUnionCases: unionType: Type * ?bindingFlags: Reflection.BindingFlags -> UnionCaseInfo array val typeof<'T> : Type
Multiple items
val int: value: 'T -> int (requires member op_Explicit) -------------------- type int = int32 -------------------- type int<'Measure> = int type 'T list = List<'T>
Multiple items
type Expr = override Equals: obj: obj -> bool member GetFreeVars: unit -> seq<Var> member Substitute: substitution: (Var -> Expr option) -> Expr member ToString: full: bool -> string static member AddressOf: target: Expr -> Expr static member AddressSet: target: Expr * value: Expr -> Expr static member Application: functionExpr: Expr * argument: Expr -> Expr static member Applications: functionExpr: Expr * arguments: Expr list list -> Expr static member Call: methodInfo: MethodInfo * arguments: Expr list -> Expr + 1 overload static member CallWithWitnesses: methodInfo: MethodInfo * methodInfoWithWitnesses: MethodInfo * witnesses: Expr list * arguments: Expr list -> Expr + 1 overload ... -------------------- type Expr<'T> = inherit Expr member Raw: Expr static member Expr.UnionCaseTest: source: Expr * unionCase: UnionCaseInfo -> Expr
Evaluates to a quotation that displays as UnionCaseTest (NewUnionCase (Cons, Value (11), NewUnionCase (Empty)), Cons) .
|
|
Example
Multiple items
namespace Microsoft.FSharp -------------------- namespace FSharp namespace Microsoft.FSharp.Quotations
Multiple items
type Expr = override Equals: obj: obj -> bool member GetFreeVars: unit -> seq<Var> member Substitute: substitution: (Var -> Expr option) -> Expr member ToString: full: bool -> string static member AddressOf: target: Expr -> Expr static member AddressSet: target: Expr * value: Expr -> Expr static member Application: functionExpr: Expr * argument: Expr -> Expr static member Applications: functionExpr: Expr * arguments: Expr list list -> Expr static member Call: methodInfo: MethodInfo * arguments: Expr list -> Expr + 1 overload static member CallWithWitnesses: methodInfo: MethodInfo * methodInfoWithWitnesses: MethodInfo * witnesses: Expr list * arguments: Expr list -> Expr + 1 overload ... -------------------- type Expr<'T> = inherit Expr member Raw: Expr static member Expr.Value: value: 'T -> Expr
Evaluates to a quotation with the same structure as static member Expr.Value: value: obj * expressionType: System.Type -> Expr <@ 1 @> .
|
|
Example
Multiple items
namespace Microsoft.FSharp -------------------- namespace FSharp namespace Microsoft.FSharp.Quotations
Multiple items
type Expr = override Equals: obj: obj -> bool member GetFreeVars: unit -> seq<Var> member Substitute: substitution: (Var -> Expr option) -> Expr member ToString: full: bool -> string static member AddressOf: target: Expr -> Expr static member AddressSet: target: Expr * value: Expr -> Expr static member Application: functionExpr: Expr * argument: Expr -> Expr static member Applications: functionExpr: Expr * arguments: Expr list list -> Expr static member Call: methodInfo: MethodInfo * arguments: Expr list -> Expr + 1 overload static member CallWithWitnesses: methodInfo: MethodInfo * methodInfoWithWitnesses: MethodInfo * witnesses: Expr list * arguments: Expr list -> Expr + 1 overload ... -------------------- type Expr<'T> = inherit Expr member Raw: Expr static member Expr.Value: value: 'T -> Expr
static member Expr.Value: value: obj * expressionType: System.Type -> Expr val box: value: 'T -> obj
val typeof<'T> : System.Type
Multiple items
Evaluates to a quotation with the same structure as val int: value: 'T -> int (requires member op_Explicit) -------------------- type int = int32 -------------------- type int<'Measure> = int <@ 1 @> .
|
|
Example
Multiple items
namespace Microsoft.FSharp -------------------- namespace FSharp namespace Microsoft.FSharp.Quotations
Multiple items
type Expr = override Equals: obj: obj -> bool member GetFreeVars: unit -> seq<Var> member Substitute: substitution: (Var -> Expr option) -> Expr member ToString: full: bool -> string static member AddressOf: target: Expr -> Expr static member AddressSet: target: Expr * value: Expr -> Expr static member Application: functionExpr: Expr * argument: Expr -> Expr static member Applications: functionExpr: Expr * arguments: Expr list list -> Expr static member Call: methodInfo: MethodInfo * arguments: Expr list -> Expr + 1 overload static member CallWithWitnesses: methodInfo: MethodInfo * methodInfoWithWitnesses: MethodInfo * witnesses: Expr list * arguments: Expr list -> Expr + 1 overload ... -------------------- type Expr<'T> = inherit Expr member Raw: Expr static member Expr.ValueWithName: value: 'T * name: string -> Expr
static member Expr.ValueWithName: value: obj * expressionType: System.Type * name: string -> Expr val box: value: 'T -> obj
val typeof<'T> : System.Type
Multiple items
Evaluates to a quotation with the same structure as val int: value: 'T -> int (requires member op_Explicit) -------------------- type int = int32 -------------------- type int<'Measure> = int <@ 1 @> and associated information that the name of the value is "name" .
|
|
Example
Multiple items
namespace Microsoft.FSharp -------------------- namespace FSharp namespace Microsoft.FSharp.Quotations
Multiple items
type Expr = override Equals: obj: obj -> bool member GetFreeVars: unit -> seq<Var> member Substitute: substitution: (Var -> Expr option) -> Expr member ToString: full: bool -> string static member AddressOf: target: Expr -> Expr static member AddressSet: target: Expr * value: Expr -> Expr static member Application: functionExpr: Expr * argument: Expr -> Expr static member Applications: functionExpr: Expr * arguments: Expr list list -> Expr static member Call: methodInfo: MethodInfo * arguments: Expr list -> Expr + 1 overload static member CallWithWitnesses: methodInfo: MethodInfo * methodInfoWithWitnesses: MethodInfo * witnesses: Expr list * arguments: Expr list -> Expr + 1 overload ... -------------------- type Expr<'T> = inherit Expr member Raw: Expr static member Expr.ValueWithName: value: 'T * name: string -> Expr
Evaluates to a quotation with the same structure as static member Expr.ValueWithName: value: obj * expressionType: System.Type * name: string -> Expr <@ 1 @> and associated information that the name of the value is "name" .
|
|
Example
Multiple items
namespace Microsoft.FSharp -------------------- namespace FSharp namespace Microsoft.FSharp.Quotations
val vVar: Var
Multiple items
type Var = interface IComparable new: name: string * typ: Type * ?isMutable: bool -> Var static member Global: name: string * typ: Type -> Var member IsMutable: bool member Name: string member Type: Type -------------------- new: name: string * typ: System.Type * ?isMutable: bool -> Var val typeof<'T> : System.Type
Multiple items
val int: value: 'T -> int (requires member op_Explicit) -------------------- type int = int32 -------------------- type int<'Measure> = int Multiple items
type Expr = override Equals: obj: obj -> bool member GetFreeVars: unit -> seq<Var> member Substitute: substitution: (Var -> Expr option) -> Expr member ToString: full: bool -> string static member AddressOf: target: Expr -> Expr static member AddressSet: target: Expr * value: Expr -> Expr static member Application: functionExpr: Expr * argument: Expr -> Expr static member Applications: functionExpr: Expr * arguments: Expr list list -> Expr static member Call: methodInfo: MethodInfo * arguments: Expr list -> Expr + 1 overload static member CallWithWitnesses: methodInfo: MethodInfo * methodInfoWithWitnesses: MethodInfo * witnesses: Expr list * arguments: Expr list -> Expr + 1 overload ... -------------------- type Expr<'T> = inherit Expr member Raw: Expr static member Expr.Var: variable: Var -> Expr
Evaluates to a quotation displayed as v .
|
|
Example
Multiple items
namespace Microsoft.FSharp -------------------- namespace FSharp namespace Microsoft.FSharp.Quotations
val vVar: Var
Multiple items
type Var = interface IComparable new: name: string * typ: Type * ?isMutable: bool -> Var static member Global: name: string * typ: Type -> Var member IsMutable: bool member Name: string member Type: Type -------------------- new: name: string * typ: System.Type * ?isMutable: bool -> Var val typeof<'T> : System.Type
Multiple items
val int: value: 'T -> int (requires member op_Explicit) -------------------- type int = int32 -------------------- type int<'Measure> = int Multiple items
type Expr = override Equals: obj: obj -> bool member GetFreeVars: unit -> seq<Var> member Substitute: substitution: (Var -> Expr option) -> Expr member ToString: full: bool -> string static member AddressOf: target: Expr -> Expr static member AddressSet: target: Expr * value: Expr -> Expr static member Application: functionExpr: Expr * argument: Expr -> Expr static member Applications: functionExpr: Expr * arguments: Expr list list -> Expr static member Call: methodInfo: MethodInfo * arguments: Expr list -> Expr + 1 overload static member CallWithWitnesses: methodInfo: MethodInfo * methodInfoWithWitnesses: MethodInfo * witnesses: Expr list * arguments: Expr list -> Expr + 1 overload ... -------------------- type Expr<'T> = inherit Expr member Raw: Expr static member Expr.VarSet: variable: Var * value: Expr -> Expr
Evaluates to a quotation displayed as VarSet (v, Value (5)) .
|
|
Example
Multiple items
namespace Microsoft.FSharp -------------------- namespace FSharp namespace Microsoft.FSharp.Quotations
val guardExpr: Expr<bool>
val bodyExpr: Expr<unit>
Multiple items
type Expr = override Equals: obj: obj -> bool member GetFreeVars: unit -> seq<Var> member Substitute: substitution: (Var -> Expr option) -> Expr member ToString: full: bool -> string static member AddressOf: target: Expr -> Expr static member AddressSet: target: Expr * value: Expr -> Expr static member Application: functionExpr: Expr * argument: Expr -> Expr static member Applications: functionExpr: Expr * arguments: Expr list list -> Expr static member Call: methodInfo: MethodInfo * arguments: Expr list -> Expr + 1 overload static member CallWithWitnesses: methodInfo: MethodInfo * methodInfoWithWitnesses: MethodInfo * witnesses: Expr list * arguments: Expr list -> Expr + 1 overload ... -------------------- type Expr<'T> = inherit Expr member Raw: Expr static member Expr.WhileLoop: guard: Expr * body: Expr -> Expr
Evaluates to a quotation with the same structure as <@ while true do () @> .
|
|
Example
Multiple items
namespace Microsoft.FSharp -------------------- namespace FSharp namespace Microsoft.FSharp.Quotations
Multiple items
type Expr = override Equals: obj: obj -> bool member GetFreeVars: unit -> seq<Var> member Substitute: substitution: (Var -> Expr option) -> Expr member ToString: full: bool -> string static member AddressOf: target: Expr -> Expr static member AddressSet: target: Expr * value: Expr -> Expr static member Application: functionExpr: Expr * argument: Expr -> Expr static member Applications: functionExpr: Expr * arguments: Expr list list -> Expr static member Call: methodInfo: MethodInfo * arguments: Expr list -> Expr + 1 overload static member CallWithWitnesses: methodInfo: MethodInfo * methodInfoWithWitnesses: MethodInfo * witnesses: Expr list * arguments: Expr list -> Expr + 1 overload ... -------------------- type Expr<'T> = inherit Expr member Raw: Expr static member Expr.WithValue: value: 'T * definition: Expr<'T> -> Expr<'T>
static member Expr.WithValue: value: obj * expressionType: System.Type * definition: Expr -> Expr val box: value: 'T -> obj
val typeof<'T> : System.Type
Multiple items
Evaluates to a quotation that displays as val int: value: 'T -> int (requires member op_Explicit) -------------------- type int = int32 -------------------- type int<'Measure> = int WithValue (1, Call (None, op_Subtraction, [Value (2), Value (1)])) .
|
|
Example
Multiple items
namespace Microsoft.FSharp -------------------- namespace FSharp namespace Microsoft.FSharp.Quotations
Multiple items
type Expr = override Equals: obj: obj -> bool member GetFreeVars: unit -> seq<Var> member Substitute: substitution: (Var -> Expr option) -> Expr member ToString: full: bool -> string static member AddressOf: target: Expr -> Expr static member AddressSet: target: Expr * value: Expr -> Expr static member Application: functionExpr: Expr * argument: Expr -> Expr static member Applications: functionExpr: Expr * arguments: Expr list list -> Expr static member Call: methodInfo: MethodInfo * arguments: Expr list -> Expr + 1 overload static member CallWithWitnesses: methodInfo: MethodInfo * methodInfoWithWitnesses: MethodInfo * witnesses: Expr list * arguments: Expr list -> Expr + 1 overload ... -------------------- type Expr<'T> = inherit Expr member Raw: Expr static member Expr.WithValue: value: 'T * definition: Expr<'T> -> Expr<'T>
Evaluates to a quotation that displays as static member Expr.WithValue: value: obj * expressionType: System.Type * definition: Expr -> Expr WithValue (1, Call (None, op_Subtraction, [Value (2), Value (1)])) .
|