Quotations.Patterns, module (F#)
Contient un ensemble de modèles actifs F# primitifs pour l'analyse des objets Expression F#.
Espace de noms/Chemin du module : Microsoft.FSharp.Quotations
Assembly : FSharp.Core (in FSharp.Core.dll)
module Patterns
Modèles actifs
Modèle actif |
Description |
|---|---|
AddressOf : Expr -> Expr option |
Reconnaît les expressions qui représentent l'obtention de l'adresse d'une valeur |
AddressSet : Expr -> (Expr * Expr) option |
Reconnaît les expressions qui représentent la définition de la valeur conservée à une adresse donnée. |
Application : Expr -> (Expr * Expr) option |
Reconnaît les expressions qui représentent des applications de valeurs de fonction de première classe. |
Call : Expr -> (Expr option * MethodInfo * Expr list) option |
Reconnaît les expressions qui représentent des appels aux méthodes d'instances et statiques et des fonctions définies dans les modules |
Coerce : Expr -> (Expr * Type) option |
Reconnaît les expressions qui représentent des forçages d'un type en un autre. |
DefaultValue : Expr -> Type option |
Reconnaît les expressions qui représentent des appels d'un constructeur par défaut d'une structure. |
FieldGet : Expr -> (Expr option * FieldInfo) |
Reconnaît les expressions qui représentent l'obtention d'un champ d'instance ou statique. |
FieldSet : Expr -> (Expr option * FieldInfo * Expr) option |
Reconnaît les expressions qui représentent la définition d'un champ d'instance ou statique. |
ForIntegerRangeLoop : Expr -> (Var * Expr * Expr * Expr) option |
Reconnaît les expressions qui représentent des boucles sur des plages d'entiers |
IfThenElse : Expr -> (Expr * Expr * Expr) option |
Reconnaît les expressions qui représentent des conditions. |
Lambda : Expr -> (Var * Expr) option |
Reconnaît les expressions qui représentent des valeurs de fonction de première classe. |
LetRecursive : Expr -> ((Var * Expr) list * Expr) option |
Reconnaît les expressions qui représentent des liaisons let récursives d'une ou de plusieurs variables |
Let : Expr -> (Var * Expr * Expr) option |
Reconnaît les expressions qui représentent des liaisons let. |
NewArray : Expr -> (Type * Expr list) option |
Reconnaît les expressions qui représentent la construction de tableaux. |
NewDelegate : Expr -> (Type * Var list * Expr) option |
Reconnaît les expressions qui représentent la construction de valeurs déléguées |
NewObject : Expr -> (ConstructorInfo * Expr list) option |
Reconnaît les expressions qui représentent un appel de constructeurs d'objets |
NewRecord : Expr -> (Type * Expr list) option |
Reconnaît les expressions qui représentent la construction de valeurs des enregistrements |
NewTuple : Expr -> (Expr list) option |
Reconnaît les expressions qui représentent la construction de valeurs basées sur des tuples |
NewUnionCase : Expr -> (UnionCaseInfo * Expr list) option |
Reconnaît les expressions qui représentent la construction de valeurs de cas d'union particuliers |
PropertyGet : Expr -> (Expr option * PropertyInfo * Expr list) option |
Reconnaît les expressions qui représentent la lecture d'une propriété statique ou d'instance, ou une valeur sans fonction déclarée dans un module |
PropertySet : Expr -> (Expr option * PropertyInfo * Expr list * Expr) option |
Reconnaît les expressions qui représentent la définition d'une propriété statique ou d'instance, ou une valeur sans fonction déclarée dans un module |
Quote : Expr -> Expr option |
Reconnaît les expressions qui représentent un littéral de quotation imbriqué. |
Séquentiel : Expr -> (Expr * Expr) option |
Reconnaît les expressions qui représentent l'exécution séquentielle d'une expression suivie d'une autre |
TryFinally : Expr -> (Expr * Expr) option |
Reconnaît les expressions qui représentent une construction try...finally. |
TryWith : Expr -> (Expr * Var * Expr * Var * Expr) option |
Reconnaît les expressions qui représentent une construction try...with pour le filtrage et l'interception des exceptions. |
TupleGet : Expr -> (Expr * int) option |
Reconnaît les expressions qui représentent l'obtention d'un champ de tuple. |
TypeTest : Expr -> (Expr * Type) option |
Reconnaît les expressions qui représentent un test de type dynamic. |
UnionCaseTest : Expr -> (Expr * UnionCaseInfo) option |
Reconnaît les expressions qui représentent un test si une valeur est d'un cas d'union particulier |
Valeur : Expr -> (obj * Type) option |
Reconnaît les expressions qui représentent une valeur de constante. |
VarSet : Expr -> (Var * Expr) option |
Reconnaît les expressions qui représentent la définition d'une variable mutable |
Var : Expr -> Var option |
Reconnaît les expressions qui représentent une variable. |
WhileLoop : Expr -> (Expr * Expr) option |
Reconnaît les expressions qui représentent des boucles while |
Plateformes
Windows 7, Windows Vista SP2, Windows XP SP3, Windows XP x64 SP2, Windows Server 2008 R2, Windows Server 2008 SP2, Windows Server 2003 SP2
Informations de version
Runtime F#
Pris en charge dans : 2.0, 4.0
Silverlight
Prise en charge dans : 3