object Value extends CidContainer1[Value] with Serializable
- Alphabetic
- By Inheritance
- Value
- Serializable
- CidContainer1
- AnyRef
- Any
- Hide All
- Show All
- Public
- Protected
Type Members
- sealed abstract class ContractId extends Product with Serializable
- final case class ContractInst[+Val](template: Identifier, arg: Val, agreementText: String) extends CidContainer[ContractInst[Val]] with Product with Serializable
A contract instance is a value plus the template that originated it.
- type Key = Value[Nothing]
* Keys cannot contain contract ids
- type LookupVariantEnum = (Identifier) => Option[ImmArray[Name]]
The data constructors of a variant or enum, if defined.
- type NodeIdx = Int
- final case class ValueBool(value: Boolean) extends ValueCidlessLeaf with Product with Serializable
- sealed abstract class ValueCidlessLeaf extends Value[Nothing]
The parent of all Value cases that cannot possibly have a Cid.
- final case class ValueContractId[+Cid](value: Cid) extends Value[Cid] with Product with Serializable
- final case class ValueDate(value: Date) extends ValueCidlessLeaf with Product with Serializable
- final case class ValueEnum(tycon: Option[Identifier], value: Name) extends ValueCidlessLeaf with Product with Serializable
- final case class ValueGenMap[+Cid](entries: ImmArray[(Value[Cid], Value[Cid])]) extends Value[Cid] with Product with Serializable
- final case class ValueInt64(value: Long) extends ValueCidlessLeaf with Product with Serializable
- final case class ValueList[+Cid](values: FrontStack[Value[Cid]]) extends Value[Cid] with Product with Serializable
Daml-LF lists are basically linked lists.
Daml-LF lists are basically linked lists. However we use FrontQueue since we store list-literals in the Daml-LF packages and FrontQueue lets prepend chunks rather than only one element.
- final case class ValueNumeric(value: Numeric) extends ValueCidlessLeaf with Product with Serializable
- final case class ValueOptional[+Cid](value: Option[Value[Cid]]) extends Value[Cid] with Product with Serializable
- final case class ValueParty(value: Party) extends ValueCidlessLeaf with Product with Serializable
- final case class ValueRecord[+Cid](tycon: Option[Identifier], fields: ImmArray[(Option[Name], Value[Cid])]) extends Value[Cid] with Product with Serializable
- final case class ValueText(value: String) extends ValueCidlessLeaf with Product with Serializable
- final case class ValueTextMap[+Cid](value: SortedLookupList[Value[Cid]]) extends Value[Cid] with Product with Serializable
- final case class ValueTimestamp(value: Timestamp) extends ValueCidlessLeaf with Product with Serializable
- final case class ValueVariant[+Cid](tycon: Option[Identifier], variant: Name, value: Value[Cid]) extends Value[Cid] with Product with Serializable
- final case class VersionedValue[+Cid](version: TransactionVersion, value: Value[Cid]) extends CidContainer[VersionedValue[Cid]] with Product with Serializable
Value Members
- final def !=(arg0: Any): Boolean
- Definition Classes
- AnyRef → Any
- final def ##: Int
- Definition Classes
- AnyRef → Any
- final def ==(arg0: Any): Boolean
- Definition Classes
- AnyRef → Any
- val MAXIMUM_NESTING: Int
the maximum nesting level for Daml-LF serializable values.
the maximum nesting level for Daml-LF serializable values. we put this limitation to be able to reliably implement stack safe programs with it. right now it's 100 to be conservative -- it's in the same order of magnitude as the default maximum nesting value of protobuf.
encoders and decoders should check this to make sure values do not exceed this level of nesting.
- implicit def Value Equal instance[Cid](implicit arg0: Equal[Cid]): Equal[Value[Cid]]
- val ValueFalse: ValueBool
- val ValueNil: ValueList[Nothing]
- val ValueNone: ValueOptional[Nothing]
- val ValueTrue: ValueBool
- final def asInstanceOf[T0]: T0
- Definition Classes
- Any
- final def cidMapperInstance[A1, A2, In, Out](implicit mapper: CidMapper[A1, A2, In, Out]): CidMapper[Value[A1], Value[A2], In, Out]
- Attributes
- protected
- Definition Classes
- CidContainer1
- implicit final def cidSuffixerInstance[A1, A2](implicit resolver1: CidSuffixer[A1, A2]): CidSuffixer[Value[A1], Value[A2]]
- Definition Classes
- CidContainer1
- def clone(): AnyRef
- Attributes
- protected[lang]
- Definition Classes
- AnyRef
- Annotations
- @throws(classOf[java.lang.CloneNotSupportedException]) @native()
- final def eq(arg0: AnyRef): Boolean
- Definition Classes
- AnyRef
- def equals(arg0: AnyRef): Boolean
- Definition Classes
- AnyRef → Any
- def finalize(): Unit
- Attributes
- protected[lang]
- Definition Classes
- AnyRef
- Annotations
- @throws(classOf[java.lang.Throwable])
- final def getClass(): Class[_ <: AnyRef]
- Definition Classes
- AnyRef → Any
- Annotations
- @native()
- def hashCode(): Int
- Definition Classes
- AnyRef → Any
- Annotations
- @native()
- final def isInstanceOf[T0]: Boolean
- Definition Classes
- Any
- final def ne(arg0: AnyRef): Boolean
- Definition Classes
- AnyRef
- implicit final def noCidCheckerInstance[A1, A2](implicit checker1: NoCidChecker[A1, A2]): NoCidChecker[Value[A1], Value[A2]]
- Definition Classes
- CidContainer1
- final def notify(): Unit
- Definition Classes
- AnyRef
- Annotations
- @native()
- final def notifyAll(): Unit
- Definition Classes
- AnyRef
- Annotations
- @native()
- def orderInstance[Cid](Scope: LookupVariantEnum)(implicit arg0: Order[Cid]): Order[@@[Value[Cid], Scope.type]]
This comparison assumes that you are comparing values of matching type, and, like the lf-value-json decoder, all variants and enums contain their identifier.
This comparison assumes that you are comparing values of matching type, and, like the lf-value-json decoder, all variants and enums contain their identifier. Moreover, the
Scope
must include all of those identifiers. - final def synchronized[T0](arg0: => T0): T0
- Definition Classes
- AnyRef
- def toString(): String
- Definition Classes
- AnyRef → Any
- final def wait(): Unit
- Definition Classes
- AnyRef
- Annotations
- @throws(classOf[java.lang.InterruptedException])
- final def wait(arg0: Long, arg1: Int): Unit
- Definition Classes
- AnyRef
- Annotations
- @throws(classOf[java.lang.InterruptedException])
- final def wait(arg0: Long): Unit
- Definition Classes
- AnyRef
- Annotations
- @throws(classOf[java.lang.InterruptedException]) @native()
- object ContractId extends Serializable
- object ContractInst extends CidContainer1[ContractInst] with Serializable
- object ValueArithmeticError
- object ValueBool extends Serializable
- case object ValueUnit extends ValueCidlessLeaf with Product with Serializable
- object VersionedValue extends CidContainer1[VersionedValue] with Serializable