Quotations.Patterns (Módulo de F#)
Contiene un conjunto de modelos activos primitivos de F# para analizar objetos de expresión de F#.
Espacio de nombres/Ruta de acceso del módulo: Microsoft.FSharp.Quotations
Ensamblado: FSharp.Core (en FSharp.Core.dll)
module Patterns
Modelos activos
Modelo activo |
Descripción |
---|---|
AddressOf : Expr -> Expr option |
Reconoce expresiones que representan la obtención de la dirección de un valor. |
AddressSet : Expr -> (Expr * Expr) option |
Reconoce expresiones que representan el establecimiento de un valor contenido en una dirección. |
Aplicación : Expr -> (Expr * Expr) option |
Reconoce las expresiones que representan aplicaciones de valores de función de primera clase. |
Call : Expr -> (Expr option * MethodInfo * Expr list) option |
Reconoce expresiones que representan llamadas a métodos estáticos y de instancia, así como funciones definidas en módulos. |
Coerce : Expr -> (Expr * Type) option |
Reconoce expresiones que representan conversiones de un tipo a otro. |
DefaultValue : Expr -> Type option |
Reconoce expresiones que representan invocaciones de un constructor predeterminado de una estructura |
FieldGet : Expr -> (Expr option * FieldInfo) |
Reconoce expresiones que representan la obtención de un campo estático o de instancia. |
FieldSet : Expr -> (Expr option * FieldInfo * Expr) option |
Reconoce expresiones que representan el establecimiento de un campo estático o de instancia. |
ForIntegerRangeLoop : Expr -> (Var * Expr * Expr * Expr) option |
Reconoce expresiones que representan bucles con intervalos de enteros. |
IfThenElse : Expr -> (Expr * Expr * Expr) option |
Reconoce expresiones que representan condicionales. |
Lambda : Expr -> (Var * Expr) option |
Reconoce las expresiones que representan valores de función de primera clase. |
LetRecursive : Expr -> ((Var * Expr) list * Expr) option |
Reconoce expresiones que representan enlaces let recursivos de una o más variables. |
Let : Expr -> (Var * Expr * Expr) option |
Reconoce expresiones que representan enlaces let. |
NewArray : Expr -> (Type * Expr list) option |
Reconoce expresiones que representan la construcción de matrices. |
NewDelegate : Expr -> (Type * Var list * Expr) option |
Reconoce expresiones que representan la construcción de valores de delegado. |
NewObject : Expr -> (ConstructorInfo * Expr list) option |
Reconoce expresiones que representan la invocación de constructores de objetos. |
NewRecord : Expr -> (Type * Expr list) option |
Reconoce expresiones que representan la construcción de valores de registro. |
NewTuple : Expr -> (Expr list) option |
Reconoce expresiones que representan la construcción de valores de tupla. |
NewUnionCase : Expr -> (UnionCaseInfo * Expr list) option |
Reconoce expresiones que representan la construcción de valores de caso de unión concretos. |
PropertyGet : Expr -> (Expr option * PropertyInfo * Expr list) option |
Reconoce expresiones que representan la lectura de una propiedad estática o de instancia, o un valor que no es de función declarado en un módulo. |
PropertySet : Expr -> (Expr option * PropertyInfo * Expr list * Expr) option |
Reconoce expresiones que representan el establecimiento de una propiedad estática o de instancia, o de un valor que no es de función declarado en un módulo. |
Quote : Expr -> Expr option |
Reconoce expresiones que representan un literal anidado de expresión de código delimitada. |
Secuencial : Expr -> (Expr * Expr) option |
Reconoce expresiones que representan la ejecución secuencial de una expresión seguida de otra. |
TryFinally : Expr -> (Expr * Expr) option |
Reconoce expresiones que representan una construcción try...finally. |
TryWith : Expr -> (Expr * Var * Expr * Var * Expr) option |
Reconoce expresiones que representan una construcción try...with para el filtrado y la detección de excepciones. |
TupleGet : Expr -> (Expr * int) option |
Reconoce expresiones que representan la obtención de un campo de tupla. |
TypeTest : Expr -> (Expr * Type) option |
Reconoce expresiones que representan una prueba de tipo dinámico. |
UnionCaseTest : Expr -> (Expr * UnionCaseInfo) option |
Reconoce expresiones que representan la comprobación de si un valor es de un caso de unión determinado. |
Valor : Expr -> (obj * Type) option |
Reconoce expresiones que representan un valor constante. |
VarSet : Expr -> (Var * Expr) option |
Reconoce expresiones que representan el establecimiento de una variable mutable. |
Var : Expr -> Var option |
Reconoce expresiones que representan una variable. |
WhileLoop : Expr -> (Expr * Expr) option |
Reconoce expresiones que representan bucles while. |
Plataformas
Windows 7, Windows Vista SP2, Windows XP SP3, Windows XP x64 SP2, Windows Server 2008 R2, Windows Server 2008 SP2, Windows Server 2003 SP2
Información de versiones
Runtime de F#
Se admite en las versiones: 2.0, 4.0
Silverlight
Se admite en la versión: 3