Quotations.Patterns-Modul (F#)
Enthält einem Satz primitiver aktiver F#-Muster zur Analyse von F#-Ausdrucksobjekten.
Namespace/Modulpfad: Microsoft.FSharp.Quotations
Assembly: FSharp.Core (in FSharp.Core.dll)
module Patterns
Aktive Muster
Aktives Muster |
Beschreibung |
|---|---|
AddressOf : Expr -> Expr option |
Erkennt Ausdrücke, die das Abrufen der Adresse eines Werts darstellen. |
AddressSet : Expr -> (Expr * Expr) option |
Erkennt Ausdrücke, die das Festlegen des Werts in einer Adresse darstellen. |
Anwendung : Expr -> (Expr * Expr) option |
Erkennt Ausdrücke, die Anwendungen von Funktionswerten erster Klasse darstellen. |
Call : Expr -> (Expr option * MethodInfo * Expr list) option |
Erkennt Ausdrücke, die Aufrufe von statischen Methoden und Instanzenmethoden sowie Funktionen darstellen, die in Modulen definiert wurden. |
Coerce : Expr -> (Expr * Type) option |
Erkennt Ausdrücke, die Umwandlungen von einem Typ in einen anderen darstellen. |
DefaultValue : Expr -> Type option |
Erkennt Ausdrücke, die Aufrufe des Standardkonstruktors einer Struktur darstellen. |
FieldGet : Expr -> (Expr option * FieldInfo) |
Erkennt Ausdrücke, die das Abrufen eines statischen Felds oder eines Instanzenfelds darstellen. |
FieldSet : Expr -> (Expr option * FieldInfo * Expr) option |
Erkennt Ausdrücke, die das Festlegen eines statischen Felds oder eines Instanzenfelds darstellen. |
ForIntegerRangeLoop : Expr -> (Var * Expr * Expr * Expr) option |
Erkennt Ausdrücke, die Schleifen für ganzzahlige Bereiche darstellen. |
IfThenElse : Expr -> (Expr * Expr * Expr) option |
Erkennt Ausdrücke, die Bedingungen darstellen. |
Lambda : Expr -> (Var * Expr) option |
Erkennt Ausdrücke, die Funktionswerte erster Klasse darstellen. |
LetRecursive : Expr -> ((Var * Expr) list * Expr) option |
Erkennt Ausdrücke, die rekursive let-Bindungen einer oder mehreren Variablen darstellen. |
Let : Expr -> (Var * Expr * Expr) option |
Erkennt Ausdrücke, die let-Bindungen darstellen. |
NewArray : Expr -> (Type * Expr list) option |
Erkennt Ausdrücke, die die Konstruktion von Arrays darstellen. |
NewDelegate : Expr -> (Type * Var list * Expr) option |
Erkennt Ausdrücke, die die Konstruktion von Delegatwerten darstellen. |
NewObject : Expr -> (ConstructorInfo * Expr list) option |
Erkennt Ausdrücke, die den Aufruf von Objektkonstruktoren darstellen. |
NewRecord : Expr -> (Type * Expr list) option |
Erkennt Ausdrücke, die die Konstruktion von Datensatzwerten darstellen. |
NewTuple : Expr -> (Expr list) option |
Erkennt Ausdrücke, die die Konstruktion von Tupelwerten darstellen. |
NewUnionCase : Expr -> (UnionCaseInfo * Expr list) option |
Erkennt Ausdrücke, die die Konstruktion bestimmter Union-Fallwerte darstellen. |
PropertyGet : Expr -> (Expr option * PropertyInfo * Expr list) option |
Erkennt Ausdrücke, die das Lesen einer statischen Eigenschaft, einer Instanzeneigenschaft oder eines nicht funktionsbasierten Werts darstellen, der in einem Modul deklariert wurde. |
PropertySet : Expr -> (Expr option * PropertyInfo * Expr list * Expr) option |
Erkennt Ausdrücke, die das Festlegen einer statischen Eigenschaft, einer Instanzeneigenschaft oder eines nicht funktionsbasierten Werts darstellen, der in einem Modul deklariert wurde. |
Quote : Expr -> Expr option |
Erkennt Ausdrücke, die ein geschachteltes Quotation-Literal darstellen. |
Sequential : Expr -> (Expr * Expr) option |
Erkennt Ausdrücke, die die sequenzielle Ausführung aufeinander folgender Ausdrücke darstellen. |
TryFinally : Expr -> (Expr * Expr) option |
Erkennt Ausdrücke, die ein try...finally-Konstrukt darstellen. |
TryWith : Expr -> (Expr * Var * Expr * Var * Expr) option |
Erkennt Ausdrücke, die ein try...with-Konstrukt für das Filtern und Abfangen von Ausnahmen darstellen. |
TupleGet : Expr -> (Expr * int) option |
Erkennt Ausdrücke, die das Abrufen eines Tupelfelds darstellen. |
TypeTest : Expr -> (Expr * Type) option |
Erkennt Ausdrücke, die einen dynamischen Typtest darstellen. |
UnionCaseTest : Expr -> (Expr * UnionCaseInfo) option |
Erkennt Ausdrücke, die einen Test darstellen, ob ein Wert ein bestimmter Union-Fall ist. |
Value : Expr -> (obj * Type) option |
Erkennt Ausdrücke, die einen konstanten Wert darstellen. |
VarSet : Expr -> (Var * Expr) option |
Erkennt Ausdrücke, die das Festlegen einer änderbaren Variablen darstellen. |
Var : Expr -> Var option |
Erkennt Ausdrücke, die eine Variable darstellen. |
WhileLoop : Expr -> (Expr * Expr) option |
Erkennt Ausdrücke, die while-Schleifen darstellen. |
Plattformen
Windows 7, Windows Vista SP2, Windows XP SP3, Windows XP x64 SP2, Windows Server 2008 R2, Windows Server 2008 SP2, Windows Server 2003 SP2
Versionsinformationen
F#-Runtime
Unterstützt in: 2.0, 4.0
Silverlight
Unterstützt in: 3