Context
Namespace
Brahma.FSharp.OpenCL.Translator.QuotationTransformersFunctions and values
| Function or value | Signature | Description | |
|---|---|---|---|
| # | empty | Context | |
| # | getFunctionFreeVariables oldFuncVar ctx | oldFuncVar:Var -> ctx:Context -> List<Var> option | |
| # | getFunctionSubstitution oldFuncVar ctx | oldFuncVar:Var -> ctx:Context -> Expr option | |
| # | makeApplication head args | head:Var -> args:List<Var> -> Expr * Var | |
| # | setFunctionFreeVariables(...) | oldFuncVar:Var -> extendedParams:List<Var> -> ctx:Context -> Context | |
| # | setFunctionSubstitution(...) | oldFuncVar:Var -> substitution:Expr -> ctx:Context -> Context |
head: t, args: [x1: t1; x2: t2; x3: t3] result: (newHead: t1 -> t2 -> t3 -> t) x1 x2 x3