Expr
Namespace: MBrace.Runtime.Utils
Parent Module: Reflection
Functions and values
| Function or value | Description |
erase(e)
Signature: e:Expr -> Expr
|
erases reflected type information from expression |
fold(foldF state expr)
Signature: foldF:('State -> Expr -> 'State) -> state:'State -> expr:Expr -> 'State
Type parameters: 'State |
Runs folding function over nodes of a given quotation |
getReflectedDefinitions(expr)
Signature: expr:Expr -> (Choice<MethodInfo,PropertyInfo> * Expr) list
|
gathers all reflected definitions used within given expression tree |
iter(iterF expr)
Signature: iterF:(Expr -> unit) -> expr:Expr -> unit
|
iterates through a quotation |
substitute(patchF expr)
Signature: patchF:(Expr -> Expr option) -> expr:Expr -> Expr
|
recursively substitutes the branches of a quotation based on given rule |
var
Signature: Var
Type parameters: 'T |
Define a unique variable name |
