Модуль Quotations.Patterns (F#)
Содержит набор активных шаблонов-примитивов F#, предназначенных для анализа объектов выражений F#.
Пространство имен/путь к модулю: Microsoft.FSharp.Quotations
Сборка: FSharp.Core (в FSharp.Core.dll)
module Patterns
Активные шаблоны
Активный шаблон |
Описание |
|---|---|
AddressOf : Expr -> Expr option |
Распознает выражения, представляющие получение адреса значения. |
AddressSet : Expr -> (Expr * Expr) option |
Распознает выражения, представляющие задание значения, которое содержится по какому-либо адресу. |
Приложение : Expr -> (Expr * Expr) option |
Распознает выражения, представляющие приложения значений функций первого класса. |
Call : Expr -> (Expr option * MethodInfo * Expr list) option |
Распознает выражения, представляющие вызовы, которые обращены к статическим методам, методам экземпляра, и выражения, представляющие функции, определяемые в модулях. |
Coerce : Expr -> (Expr * Type) option |
Распознает выражения, представляющие приведение одного типа к другому. |
DefaultValue : Expr -> Type option |
Распознает выражения, представляющие вызовы конструктора структуры по умолчанию. |
FieldGet : Expr -> (Expr option * FieldInfo) |
Распознает выражения, представляющие получение статического поля или поля экземпляра. |
FieldSet : Expr -> (Expr option * FieldInfo * Expr) option |
Распознает выражения, представляющие задание статического поля или поля экземпляра. |
ForIntegerRangeLoop : Expr -> (Var * Expr * Expr * Expr) option |
Распознает выражения, представляющие применение циклов к диапазонам целых чисел. |
IfThenElse : Expr -> (Expr * Expr * Expr) option |
Распознает выражения, представляющие условия. |
Lambda : Expr -> (Var * Expr) option |
Распознает выражения, представляющие значения функций первого класса. |
LetRecursive : Expr -> ((Var * Expr) list * Expr) option |
Распознает выражения, представляющие рекурсивные привязки let одной или нескольких переменных. |
Let : Expr -> (Var * Expr * Expr) option |
Распознает выражения, представляющие привязки let. |
NewArray : Expr -> (Type * Expr list) option |
Распознает выражения, представляющие формирование массивов. |
NewDelegate : Expr -> (Type * Var list * Expr) option |
Распознает выражения, представляющие формирование значений делегатов. |
NewObject : Expr -> (ConstructorInfo * Expr list) option |
Распознает выражения, представляющие вызов конструкторов объектов. |
NewRecord : Expr -> (Type * Expr list) option |
Распознает выражения, представляющие формирование значений записей. |
NewTuple : Expr -> (Expr list) option |
Распознает выражения, представляющие формирование значений кортежа. |
NewUnionCase : Expr -> (UnionCaseInfo * Expr list) option |
Распознает выражения, представляющие формирование значений конкретных вариантов объединения. |
PropertyGet : Expr -> (Expr option * PropertyInfo * Expr list) option |
Распознает выражения, представляющие чтение какого-либо статического свойства, свойства экземпляра или нефункционального значения, объявленного в модуле. |
PropertySet : Expr -> (Expr option * PropertyInfo * Expr list * Expr) option |
Распознает выражения, представляющие задание статического свойства, свойства экземпляра или нефункционального значения, объявленного в модуле. |
Quote : Expr -> Expr option |
Распознает выражения, представляющие вложенный литерал цитирования. |
Последовательный : Expr -> (Expr * Expr) option |
Распознает выражения, представляющие последовательное выполнение одного выражения за другим. |
TryFinally : Expr -> (Expr * Expr) option |
Распознает выражения, представляющие конструкцию try...finally. |
TryWith : Expr -> (Expr * Var * Expr * Var * Expr) option |
Распознает выражения, представляющие конструкцию try...with для фильтрации и перехвата исключений. |
TupleGet : Expr -> (Expr * int) option |
Распознает выражения, представляющие получение поля кортежа. |
TypeTest : Expr -> (Expr * Type) option |
Распознает выражения, представляющие тест динамического типа. |
UnionCaseTest : Expr -> (Expr * UnionCaseInfo) option |
Распознает выражения, представляющие проверку принадлежности значения к конкретному варианту объединения. |
Значение : Expr -> (obj * Type) option |
Распознает выражения, представляющие константное значение. |
VarSet : Expr -> (Var * Expr) option |
Распознают выражения, представляющие задание изменяемой переменной. |
Var : Expr -> Var option |
Распознает выражения, представляющие переменную. |
WhileLoop : Expr -> (Expr * Expr) option |
Распознает выражения, представляющие циклы while. |
Платформы
Windows 8, Windows 7, Windows Server 2012, Windows 2008 Server R2
Сведения о версии
Основной версии библиотеки F#
Поддерживается в: 2.0, 4.0, портативное