ProxyLoweredValue
Attributes
- Graph
-
- Supertypes
- Known subtypes
-
class ArgProxyLoweredValueclass WrappedArgclass DelayLoweredValueclass ForceLoweredValueShow all
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
Pretty print reference to value
Pretty print reference to value
Value parameters
- style
-
- style of printing
Attributes
- Definition Classes
Uplevel variables, that shoule be generated before generation of term
Uplevel variables, that shoule be generated before generation of term
Attributes
- Definition Classes
Attributes
- Definition Classes
Attributes
- Definition Classes
The type of representation of this value.
Attributes
- Definition Classes
Uplevel variables, that are used in this value.
Inherited methods
Upcast the value to the target type if needed.
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
Generates the term for this value.