[Home] Module Microsoft.FSharp.Quotations.Raw.Unchecked


Contains construction functions that don't perform type-checking

Values

ValueDescription
val MkApp : Expr * Expr -> Expr
Build expression applications
val MkApps : (Expr * Expr list) -> Expr
Build an iterated series of function applications f x1 ... xN
val MkBool : bool -> Expr
Build constant boolean expressions
val MkByte : byte -> Expr
val MkChar : char -> Expr
Build constant unicode character expressions
val MkCoerce : Type * Expr -> Expr
Build coercion expressions, resulting from implicit coercions at object-model calls and explicit coercions elsewhere.
val MkCond : Expr * Expr * Expr -> Expr
Build 'if ... then ... else' expressions
val MkCtorCall : ConstructorInfo * Expr list -> Expr
Build new-object calls to constructors in the .NET obejct model
val MkDouble : float -> Expr
Build constant 64-bit floating point number expressions
val MkEncodedForLoop : Expr * Expr * Expr -> Expr
Build for-loop expressions, where the body of the for-loop is encoded as a lambda.
val MkEncodedWhileLoop : Expr * Expr -> Expr
Build while-loop expressions, where the body of the loop is encoded as a lambda.
val MkEquality : Expr * Expr -> Expr
Build equality tests, resulting primarily from the compilation of pattern matching
val MkFieldGet : FieldInfo * Expr -> Expr
Build .NET IL field-fetches in the .NET object model
val MkGenericTopDefnApp : Expr -> (Type list * Expr list -> Expr)
Build expressions corresponding to uses and applications of a particular a module-bound value or function (i.e. one defined using 'let' or 'let rec'). e.g. MkGenericTopDefnApp (<@ List.map @>) ([(type int); (type int)], [<@ (fun x -> x + 1) @> <@ [1;2] @>]
val MkGetAddr : Expr -> Expr
Build address-access expressions.
val MkHole : Type -> Expr
Build holes in quotation templates
val MkInt16 : int16 -> Expr
val MkInt32 : int32 -> Expr
val MkInt64 : int64 -> Expr
val MkLambda : ExprVar * Expr -> Expr
Build lambda (abstraction) expressions
val MkLambdas : (ExprVar list * Expr) -> Expr
Build an iterated series of lambdas abstractions
val MkLet : (ExprVar * Expr) * Expr -> Expr
Build expressions associated with 'let' constructs
val MkLetRec : (ExprVar * Expr) list * Expr -> Expr
Build recursives expressions associated with 'let rec' constructs
val MkLiftedValue : obj * Type -> Expr
Build expressions made up of arbitrary reified (lifted) values
val MkMethodCall : MethodInfo * Expr list -> Expr
Build calls to the .NET obejct model, excluding property accesses etc.
val MkNewArray : Type * Expr list -> Expr
Build array construction expressions
val MkNewDelegate : Type * Expr -> Expr
Build calls to construct delegate values in the .NET obejct model
val MkPropGet : PropertyInfo * Expr -> Expr
Build calls to property accessors or field-fetches in the .NET object model
val MkQuote : Expr -> Expr
Build quoted expressions (for inner quotations)
val MkRecd : Type * Expr list -> Expr
Build record-construction expressions
val MkRecdGet : Type * string * Expr -> Expr
Build record-access expressions
val MkRecdSet : Type * string * Expr * Expr -> Expr
Build record-access expressions
val MkSByte : sbyte -> Expr
Build constant signed 8-bit integers
val MkSeq : Expr * Expr -> Expr
Build sequence expressions "a;b"
val MkSingle : float32 -> Expr
Build constant 32-bit floating point number expressions
val MkString : string -> Expr
Build constant string expressions
val MkSum : Type * string * Expr list -> Expr
Build discriminated-union construction expressions
val MkSumFieldGet : Type * string * int * Expr -> Expr
Build discriminated-union access expressions, resulting primarily from the compilation of pattern matches
val MkSumTagTest : Type * string * Expr -> Expr
Build discriminated-union discrimination test expressions, resulting primarily from the compilation of pattern matches
val MkTuple : Type * Expr list -> Expr
Build tuple-expressions
val MkTupleGet : Type * int * Expr -> Expr
Build tuple access expressions
val MkUInt16 : uint16 -> Expr
val MkUInt32 : uint32 -> Expr
val MkUInt64 : uint64 -> Expr
val MkUnit : unit -> Expr
Build 'unit' constant expressions
val MkVar : ExprVarName -> Expr
Build variable expressions

See Also

Microsoft.FSharp.Quotations.Raw


Documentation for assembly FSharp.Core, version 1.9.4.19, generated using F# version 1.9.4.19