TypeVarSirTypeGenerator
We assume that type variable can be converted to data, and it is impossible to do something meaningful with it in the UPLC, except pass the value as an argument in unchanged form.
Attributes
- Graph
-
- Supertypes
- Self type
Members list
Value members
Concrete methods
Get default representation for data representation of this type. This representation is used when converting to data.
Get default representation for data representation of this type. This representation is used when converting to data.
Attributes
- Definition Classes
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
- Definition Classes
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
- Definition Classes
Generate constructor for this type. Always called on DataDecl.tp
Generate constructor for this type. Always called on DataDecl.tp
Value parameters
- constr
-
- constructor, which we should generate
- targetType
-
- type of the generated value, which should be a subtype of constr.tp
Attributes
- Definition Classes
Attributes
- Definition Classes
Attributes
- Definition Classes
Attributes
- Definition Classes
Attributes
- Definition Classes
Attributes
- Definition Classes