BuiltinValueSirTypeGenerator
Generator for BuiltinValue (CIP-0153 MaryEraValue).
Unlike BLS12_381_MlResult, BuiltinValue supports Data conversion via valueData/unValueData.
Attributes
- Graph
-
- Supertypes
- Self type
Members list
Value members
Concrete methods
Attributes
- Definition Classes
Attributes
- Definition Classes
Inherited methods
Attributes
- Inherited from:
- PrimitiveSirTypeGenerator
Get default representation for data representation of this type. This representation is used when converting to data instrucutres, which holds value as data.
Get default representation for data representation of this type. This representation is used when converting to data instrucutres, which holds value as data.
Attributes
- Inherited from:
- PrimitiveSirTypeGenerator
Get default representation. Assumed that input parameters of functions and vars and are in this representation.
Get default representation. Assumed that input parameters of functions and vars and are in this representation.
Attributes
- Inherited from:
- PrimitiveSirTypeGenerator
Get default representation for type variable. This representation is used when converting to parameters of scala functions with type parameters. (Usually the same as defaultDataRepresentation, except Lambdas).
Get default representation for type variable. This representation is used when converting to parameters of scala functions with type parameters. (Usually the same as defaultDataRepresentation, except Lambdas).
Attributes
- Inherited from:
- PrimitiveSirTypeGenerator
Convenience entry point — pre-lowers constr.args and delegates to genConstrLowered. Use this when the caller hasn't already lowered the arguments; callers that have pre-lowered arguments (like the main lowering driver) should call genConstrLowered directly to avoid double-lowering. Marked final so all dispatch decisions live in genConstrLowered and its overrides.
Convenience entry point — pre-lowers constr.args and delegates to genConstrLowered. Use this when the caller hasn't already lowered the arguments; callers that have pre-lowered arguments (like the main lowering driver) should call genConstrLowered directly to avoid double-lowering. Marked final so all dispatch decisions live in genConstrLowered and its overrides.
Attributes
- Inherited from:
- SirTypeUplcGenerator
Generate constructor for this type — the workhorse, takes pre-lowered arguments. Implementations override this. Always called on DataDecl.tp (or a more specific case-class type for Sum→Product dispatch).
Generate constructor for this type — the workhorse, takes pre-lowered arguments. Implementations override this. Always called on DataDecl.tp (or a more specific case-class type for Sum→Product dispatch).
Value parameters
- constr
-
- constructor SIR node (carries name, decl, parentTypeArgs, anns, tp)
- loweredArgs
-
- already-lowered constructor arguments, in declaration order. Length matches
constr.args.
- already-lowered constructor arguments, in declaration order. Length matches
- optTargetType
-
- optional target type (e.g., for Nil typing where the constr's declared
tpisList[Nothing]).
- optional target type (e.g., for Nil typing where the constr's declared
Attributes
- Definition Classes
- Inherited from:
- PrimitiveSirTypeGenerator
Attributes
- Definition Classes
- Inherited from:
- PrimitiveSirTypeGenerator
Attributes
- Definition Classes
- Inherited from:
- PrimitiveSirTypeGenerator
Attributes
- Inherited from:
- PrimitiveSirTypeGenerator
Attributes
- Definition Classes
- Inherited from:
- PrimitiveSirTypeGenerator