constrain: Generate Type Constraint Set from Expression
In duncantl/RTypeInference: Infer Types of Inputs and Outputs for R Expressions
Description
Usage
Arguments
Value
Description
This function generates a set of type constraints from the given expression,
which can then be solved to infer types for the expression.
Usage
1
Arguments
node
(ASTNode) An expression from which to generate type constraints.
map
(SymbolMap) A mapping between program variables and type
variables.
Value
An S4 Result object, with slots contraints and map. The former
is the list of constraints, and the latter is the mapping between program
variables and type variables.
duncantl/RTypeInference documentation built on Jan. 16, 2021, 12:30 a.m.
R Package Documentation
Browse R Packages
We want your feedback!
Note that we can't provide technical support on individual packages. You should contact the package authors for that.
Description Usage Arguments Value
Description
This function generates a set of type constraints from the given expression, which can then be solved to infer types for the expression.
Usage
1 |
Arguments
node |
(ASTNode) An expression from which to generate type constraints. |
map |
(SymbolMap) A mapping between program variables and type variables. |
Value
An S4 Result object, with slots contraints and map. The former
is the list of constraints, and the latter is the mapping between program
variables and type variables.
R Package Documentation
Browse R Packages
We want your feedback!
Note that we can't provide technical support on individual packages. You should contact the package authors for that.
Embedding an R snippet on your website
Add the following code to your website.
For more information on customizing the embed code, read Embedding Snippets.