vars: Get Variables
In nick-ulle/typesys: General-purpose Abstract Type System
Description
Usage
Arguments
Details
Value
Description
This function returns a list of all variables in a term or constrain.
Usage
1
Arguments
term
(Term|Constraint) The term to search for variables.
generic
(logical) Should generic variables be included in the list?
Details
In an ImplicitInstance constraint, some variables in the right-hand term may
be generic rather than monomorphic. Generic variables are replaced with new
variables when a constraint is solved, whereas monomorphic variables are
not. The generic parameter controls whether generic variable are included
in returned the list of variables.
Value
A list of Variable objects.
nick-ulle/typesys documentation built on Jan. 21, 2020, 5:13 p.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 Details Value
Description
This function returns a list of all variables in a term or constrain.
Usage
1 |
Arguments
term |
(Term|Constraint) The term to search for variables. |
generic |
(logical) Should generic variables be included in the list? |
Details
In an ImplicitInstance constraint, some variables in the right-hand term may
be generic rather than monomorphic. Generic variables are replaced with new
variables when a constraint is solved, whereas monomorphic variables are
not. The generic parameter controls whether generic variable are included
in returned the list of variables.
Value
A list of Variable objects.
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.