it.grypho.scala.leonardo.core._Value
Marker trait for a fully-reduced, concrete result — a number, a matrix, or a boolean — as opposed to a symbolic atom (free variable) that is not yet concrete.
Attributes
Graph
Reset zoom Hide graph Show graph
Supertypes
class Object
trait Matchable
class Any
Known subtypes
Members list
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
Inherited from:
_Expression
Reduces this expression in the given environment.
Reduces this expression in the given environment.
Value parameters
env
variable bindings and display precision
Attributes
Returns
Right(v) when all free variables resolved to concrete values; Left(e) when reduction is partial or impossible
Inherited from:
_Expression
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
Inherited from:
_Expression
Cached set of free variable names; O(1) after the first access.
Cached set of free variable names; O(1) after the first access.
Attributes
Inherited from:
_Expression
