docs
API
Generated with
docs/scalus/scalus.cardano/scalus.cardano.ledger/Value

Value

scalus.cardano.ledger.Value
See theValue companion class
object Value

Attributes

Companion
class
Graph
Supertypes
trait Product
trait Mirror
class Object
trait Matchable
class Any
Self type
Value.type

Members list

Type members

Classlikes

object given_CommutativeGroup_Value extends CommutativeGroup[Value]

Attributes

Supertypes
trait CommutativeGroup[Value]
trait CommutativeMonoid[Value]
trait CommutativeSemigroup[Value]
trait Group[Value]
trait Monoid[Value]
trait Semigroup[Value]
trait Serializable
class Object
trait Matchable
class Any
Show all
Self type
object given_Decoder_Value extends Decoder[Value]

CBOR decoder for Value

CBOR decoder for Value

Attributes

Supertypes
trait Decoder[Value]
class Object
trait Matchable
class Any
Self type
object given_Encoder_Value extends Encoder[Value]

CBOR encoder for Value

CBOR encoder for Value

Attributes

Supertypes
trait Encoder[Value]
class Object
trait Matchable
class Any
Self type
object given_Pretty_Value extends Pretty[Value]

Pretty prints Value in Lucid flat style:

Pretty prints Value in Lucid flat style:

  • ADA-only: { ada: X.XXXXXX }
  • With assets: vertically indented entries with ada first

Attributes

Supertypes
trait Pretty[Value]
class Object
trait Matchable
class Any
Self type

Inherited and Abstract types

type MirroredElemLabels <: Tuple

The names of the product elements

The names of the product elements

Attributes

Inherited from:
Mirror
type MirroredLabel <: String

The name of the type

The name of the type

Attributes

Inherited from:
Mirror

Value members

Concrete methods

def ada(amount: Long): Value

Create a pure ADA value

Create a pure ADA value

Attributes

def asset(policyId: PolicyId, assetName: AssetName, amount: Long, lovelace: Coin = ...): Value

Create a Value with a single asset and ADA

Create a Value with a single asset and ADA

Attributes

def assets(assets: Map[PolicyId, Map[AssetName, Long]], lovelace: Coin = ...): Value

Create a Value from a map of assets with ADA

Create a Value from a map of assets with ADA

Attributes

def combine(values: IterableOnce[Value]): Value

Combine multiple values into one

Combine multiple values into one

Attributes

def combine(values: Value*): Value

Combine multiple values into one (varargs)

Combine multiple values into one (varargs)

Attributes

def fromPolicy(policyId: PolicyId, assets: Map[AssetName, Long], lovelace: Coin = ...): Value

Create a Value from assets under a single policy with ADA

Create a Value from assets under a single policy with ADA

Attributes

def lovelace(amount: Long): Value

Create a pure lovelace value

Create a pure lovelace value

Attributes

Concrete fields

val zero: Value

Zero value (0 ADA, no assets)

Zero value (0 ADA, no assets)

Attributes

Givens

Givens

given given_Decoder_Value: given_Decoder_Value

CBOR decoder for Value

CBOR decoder for Value

Attributes

given given_Encoder_Value: given_Encoder_Value

CBOR encoder for Value

CBOR encoder for Value

Attributes

given given_Pretty_Value: given_Pretty_Value

Pretty prints Value in Lucid flat style:

Pretty prints Value in Lucid flat style:

  • ADA-only: { ada: X.XXXXXX }
  • With assets: vertically indented entries with ada first

Attributes

Extensions

Extensions

extension (v: Value)
def asset(policyId: PolicyId, assetName: AssetName): Long

Get amount of specific asset (0 if not present)

Get amount of specific asset (0 if not present)

Attributes

def hasAsset(policyId: PolicyId, assetName: AssetName): Boolean

Check if value contains a specific asset

Check if value contains a specific asset

Attributes

Generated with