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

ValueIntrinsicsV11

scalus.compiler.intrinsics.ValueIntrinsicsV11
object ValueIntrinsicsV11

PV11 (vanRossem) intrinsic lowerings for plutus.v1.Value operations via the CIP-153 MaryEraValue builtins. Registered in IntrinsicResolver.registry with minPV = 11; at PV10 the linked SIR bodies are used unchanged.

Semantics note: unValueData requires canonical form (strictly ascending keys, no zero amounts, no empty inner maps, keys <= 32 bytes, amounts within the signed 128-bit range) and fails otherwise; unionValue/scaleValue fail on 128-bit overflow. See the design doc docs/superpowers/specs/2026-08-18-t7-value-builtins-lowering-design.md.

Attributes

Graph
Supertypes
class Object
trait Matchable
class Any
Self type

Members list

Value members

Concrete methods

def containsAtLeast(v: Value, other: Value): Boolean
def insertCoin(v: Value, cs: ByteString, tn: ByteString, amount: BigInt): Value
def minus(a: Value, b: Value): Value
def multiply(v: Value, factor: BigInt): Value
def negate(v: Value): Value
def plus(a: Value, b: Value): Value
def quantityOf(v: Value, cs: ByteString, tn: ByteString): BigInt

Concrete fields

lazy val sirDeps: List[SIRModuleWithDeps]
lazy val sirModule: Module
Generated with