it.grypho.scala.leonardo.scalar._ToBase
tobase(n, b) — reads n as an integer written in base b.
Evaluates to a core._Based, which is the number and additionally remembers its base for display. There is no inverse node: a _Based already reads as its value through _Number's widening extractor, so tobase(255, 16) + 0 is 255.
Stays symbolic when n is not a whole number or b is not an integer in _Based.MinBase .. _Based.MaxBase — the smart factory would collapse those to a plain _Number, which would silently discard the request rather than refuse it.
Value parameters
base
the radix
e
the value to re-base
Attributes
Graph
Reset zoom Hide graph Show graph
Supertypes
trait Serializable
trait Product
trait Equals
class Object
trait Matchable
class Any
Show all
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
Definition Classes
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
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
Attributes
Inherited from:
Product
Attributes
Inherited from:
Product
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
