ComplexLoweredValue
ComplexLoweredValue is a base trait for lowered values that consist of multiple subvalues. ownVars - var that used in subvalues but defined in this value. (i.e. not propagated up in dominatedUplevelVars)
Attributes
- Graph
-
- Supertypes
- Known subtypes
-
class MapMatchLoweredValueclass ListMatchLoweredValueclass ApplyLoweredValueclass BuiltinApplyLoweredValueclass BuilinApply1LoweredValeclass BuilinApply2LoweredValeclass IfThenElseLoweredValueclass LambdaLoweredValueclass LetNonRecLoweredValueclass LetRecLoweredValueShow 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
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
Attributes
- Inherited from:
- LoweredValue
The type of representation of this value.
Attributes
- Inherited from:
- LoweredValue
Generates the term for this value.
Concrete fields
Uplevel variables, that shoule be generated before generation of term
Uplevel variables, that shoule be generated before generation of term