LeafLoweredValue
Leaf values have no subvalues and no uplevel variable dependencies. Constants, errors, and builtin refs are all leaves.
Attributes
- Graph
-
- Supertypes
- Known subtypes
Members list
Value members
Concrete methods
add identifiable variable to be updated from this variable
add identifiable variable to be updated from this variable
Attributes
- Definition Classes
Uplevel variables, that should be generated before generation of term
Uplevel variables, that should be generated before generation of term
Attributes
- Definition Classes
Attributes
- Definition Classes
Internal variables, that are used inside this value.
Variables, that are directly defined in this value.
Uplevel variables, that are used in this value.
Inherited methods
Whether this value is (or wraps) a compile-time constant. Propagates through proxies and variable bindings.
Whether this value is (or wraps) a compile-time constant. Propagates through proxies and variable bindings.
Attributes
- Inherited from:
- LoweredValue
Upcast the value to the target type if needed.
Attributes
- Inherited from:
- LoweredValue
Attributes
- Inherited from:
- LoweredValue
Attributes
- Inherited from:
- LoweredValue
The UPLC term that represents this value, wrapped in vars if needed.
The UPLC term that represents this value, wrapped in vars if needed.
Value parameters
- gctx
-
- context for term generation
Attributes
- Returns
-
generated term wrapped in lambdas with definition of needed uplevel variables
- Inherited from:
- LoweredValue
Convert this value to the giveb representation,
Attributes
- Inherited from:
- LoweredValue
Inherited and Abstract methods
Pretty print this value with all definitona
Pretty print this value with all definitona
Value parameters
- style
-
- style of printing
Attributes
- Inherited from:
- LoweredValue
Pretty print reference to value
Pretty print reference to value
Value parameters
- style
-
- style of printing
Attributes
- Inherited from:
- LoweredValue
Is this value effort-less to compute (i.e. constant or variable or lambda)
Is this value effort-less to compute (i.e. constant or variable or lambda)
Attributes
- Inherited from:
- LoweredValue
Attributes
- Inherited from:
- LoweredValue
The type of representation of this value.
Attributes
- Inherited from:
- LoweredValue
Generates the term for this value.