docs
API
Generated with
docs/scalus/scalus.compiler/scalus.compiler.intrinsics/UplcConstrOptionReprRules

UplcConstrOptionReprRules

scalus.compiler.intrinsics.UplcConstrOptionReprRules
object UplcConstrOptionReprRules

Repr rules for native UplcConstr Option intrinsics (IntrinsicsUplcConstrOption).

Mirrors UplcConstrListReprRules — each rule returns the output representation given the call site's concrete output type and the self argument's lowered representation.

Attributes

Graph
Supertypes
class Object
trait Matchable
class Any
Self type

Members list

Value members

Concrete fields

val getOrElseRule: ReprRule

For getOrElse: Option[A] -> A -> A. Produces LambdaRepresentation with element repr.

For getOrElse: Option[A] -> A -> A. Produces LambdaRepresentation with element repr.

Attributes

val getRule: ReprRule

For get: Option[A] -> A. Returns the Some's stored field repr.

For get: Option[A] -> A. Returns the Some's stored field repr.

Attributes

val rules: Map[String, ReprRule]
val scalarRule: ReprRule

For operations returning a scalar (Boolean, etc.): use the output type's default repr.

For operations returning a scalar (Boolean, etc.): use the output type's default repr.

Attributes

Generated with