Modulo Quotations.Patterns (F#)
Contiene un set di criteri attivi F# primitivi per analizzare gli oggetti di espressioni F#.
Percorso spazio dei nomi/modulo: Microsoft.FSharp.Quotations
Assembly: FSharp.Core (in FSharp.Core.dll)
module Patterns
Criteri attivi
Criterio attivo |
Descrizione |
|---|---|
AddressOf : Expr -> Expr option |
Riconosce espressioni che rappresentano il recupero dell'indirizzo di un valore. |
AddressSet : Expr -> (Expr * Expr) option |
Riconosce espressioni che rappresentano l'impostazione del valore contenuto in un indirizzo. |
Applicazione : Expr -> (Expr * Expr) option |
Riconosce espressioni che rappresentano applicazioni di valori di funzione di prima classe. |
Call : Expr -> (Expr option * MethodInfo * Expr list) option |
Riconosce espressioni che rappresentano chiamate a metodi statici e di istanza, nonché funzioni definite nei moduli. |
Coerce : Expr -> (Expr * Type) option |
Riconosce espressioni che rappresentano coercizioni da un tipo a un altro. |
DefaultValue : Expr -> Type option |
Riconosce espressioni che rappresentano chiamate di un costruttore predefinito di una struttura. |
FieldGet : Expr -> (Expr option * FieldInfo) |
Riconosce espressioni che rappresentano il recupero di un campo statico o di istanza. |
FieldSet : Expr -> (Expr option * FieldInfo * Expr) option |
Riconosce espressioni che rappresentano l'impostazione di un campo statico o di istanza. |
ForIntegerRangeLoop : Expr -> (Var * Expr * Expr * Expr) option |
Riconosce espressioni che rappresentano cicli su intervalli Integer. |
IfThenElse : Expr -> (Expr * Expr * Expr) option |
Riconosce espressioni che rappresentano istruzioni condizionali. |
Lambda : Expr -> (Var * Expr) option |
Riconosce espressioni che rappresentano valori di funzione di prima classe. |
LetRecursive : Expr -> ((Var * Expr) list * Expr) option |
Riconosce espressioni che rappresentano associazioni let ricorsive di una o più variabili. |
Let : Expr -> (Var * Expr * Expr) option |
Riconosce espressioni che rappresentano associazioni let. |
NewArray : Expr -> (Type * Expr list) option |
Riconosce espressioni che rappresentano la costruzione di matrici. |
NewDelegate : Expr -> (Type * Var list * Expr) option |
Riconosce espressioni che rappresentano la costruzione di valori delegati. |
NewObject : Expr -> (ConstructorInfo * Expr list) option |
Riconosce espressioni che rappresentano la chiamata di costruttori di oggetti. |
NewRecord : Expr -> (Type * Expr list) option |
Riconosce espressioni che rappresentano la costruzione di valori di record. |
NewTuple : Expr -> (Expr list) option |
Riconosce espressioni che rappresentano la costruzione di valori di tupla. |
NewUnionCase : Expr -> (UnionCaseInfo * Expr list) option |
Riconosce espressioni che rappresentano la costruzione di valori di case di unione particolari. |
PropertyGet : Expr -> (Expr option * PropertyInfo * Expr list) option |
Riconosce espressioni che rappresentano la lettura di una proprietà statica o di istanza oppure un valore non di funzione dichiarato in un modulo. |
PropertySet : Expr -> (Expr option * PropertyInfo * Expr list * Expr) option |
Riconosce espressioni che rappresentano l'impostazione di una proprietà statica o di istanza oppure un valore non di funzione dichiarato in un modulo. |
Quote : Expr -> Expr option |
Riconosce espressioni che rappresentano un valore letterale di quotation annidato. |
Sequenziale : Expr -> (Expr * Expr) option |
Riconosce espressioni che rappresentano l'esecuzione sequenziale di un'espressione seguita da un'altra. |
TryFinally : Expr -> (Expr * Expr) option |
Riconosce espressioni che rappresentano un costrutto try...finally. |
TryWith : Expr -> (Expr * Var * Expr * Var * Expr) option |
Riconosce espressioni che rappresentano un costrutto try...with per il filtraggio e l'intercettazione delle eccezioni. |
TupleGet : Expr -> (Expr * int) option |
Riconosce espressioni che rappresentano il recupero di un campo di tupla. |
TypeTest : Expr -> (Expr * Type) option |
Riconosce espressioni che rappresentano un test di tipo dinamico. |
UnionCaseTest : Expr -> (Expr * UnionCaseInfo) option |
Riconosce espressioni che rappresentano un test se un valore è di un particolare case di unione. |
Value : Expr -> (obj * Type) option |
Riconosce espressioni che rappresentano un valore costante. |
VarSet : Expr -> (Var * Expr) option |
Riconosce espressioni che rappresentano l'impostazione di una variabile modificabile. |
Var : Expr -> Var option |
Riconosce espressioni che rappresentano una variabile. |
WhileLoop : Expr -> (Expr * Expr) option |
Riconosce espressioni che rappresentano cicli while. |
Piattaforme
Windows 7, Windows Vista SP2, Windows XP SP3, Windows XP x64 SP2, Windows Server 2008 R2, Windows Server 2008 SP2, Windows Server 2003 SP2.
Informazioni sulla versione
F# Runtime
Supportato in: 2.0, 4.0
Silverlight
Supportato in: 3