_Variable
A free variable: a symbolic atom that is not yet a concrete value.
eval returns Right only when variable is bound to a _Value in the environment; otherwise it stays Left(this).
Value parameters
- variable
-
the variable name
Attributes
- Graph
-
- Supertypes
-
trait Serializabletrait Producttrait Equalstrait _Expressionclass Objecttrait Matchableclass AnyShow all
Members list
Value members
Concrete methods
Sub-expressions subject to recursive structural traversal. Binder positions (e.g. the differentiation variable) are excluded.
Sub-expressions subject to recursive structural traversal. Binder positions (e.g. the differentiation variable) are excluded.
Attributes
- Definition Classes
Looks up this variable in env and delegates eval to the bound value if found.
Looks up this variable in env and delegates eval to the bound value if found.
Value parameters
- env
-
variable bindings; this variable's name is the lookup key
Attributes
- Definition Classes
Reconstructs the same node shape with replacement sub-expressions.
Reconstructs the same node shape with replacement sub-expressions.
Value parameters
- newChildren
-
replacements in the same order and count as
children
Attributes
- Definition Classes
Returns a string representation of the object.
Returns a string representation of the object.
The default representation is platform dependent.
Attributes
- Returns
-
a string representation of the object.
- Definition Classes
-
Any
Inherited methods
Attributes
- Inherited from:
- Product
Attributes
- Inherited from:
- Product
Concrete fields
Cached set of free variable names; O(1) after the first access.
Cached set of free variable names; O(1) after the first access.