Value | Description |
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
|