Packages

object Value extends CidContainer1[Value] with Serializable

Linear Supertypes
Serializable, CidContainer1[Value], AnyRef, Any
Ordering
  1. Alphabetic
  2. By Inheritance
Inherited
  1. Value
  2. Serializable
  3. CidContainer1
  4. AnyRef
  5. Any
  1. Hide All
  2. Show All
Visibility
  1. Public
  2. Protected

Type Members

  1. sealed abstract class ContractId extends Product with Serializable
  2. 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.

  3. type Key = Value[Nothing]

    * Keys cannot contain contract ids

  4. type LookupVariantEnum = (Identifier) => Option[ImmArray[Name]]

    The data constructors of a variant or enum, if defined.

  5. type NodeIdx = Int
  6. final case class ValueBool(value: Boolean) extends ValueCidlessLeaf with Product with Serializable
  7. sealed abstract class ValueCidlessLeaf extends Value[Nothing]

    The parent of all Value cases that cannot possibly have a Cid.

    The parent of all Value cases that cannot possibly have a Cid. NB: use only in pattern-matching Value; the type of a cid-less Value is Value[Nothing].

  8. final case class ValueContractId[+Cid](value: Cid) extends Value[Cid] with Product with Serializable
  9. final case class ValueDate(value: Date) extends ValueCidlessLeaf with Product with Serializable
  10. final case class ValueEnum(tycon: Option[Identifier], value: Name) extends ValueCidlessLeaf with Product with Serializable
  11. final case class ValueGenMap[+Cid](entries: ImmArray[(Value[Cid], Value[Cid])]) extends Value[Cid] with Product with Serializable
  12. final case class ValueInt64(value: Long) extends ValueCidlessLeaf with Product with Serializable
  13. 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.

  14. final case class ValueNumeric(value: Numeric) extends ValueCidlessLeaf with Product with Serializable
  15. final case class ValueOptional[+Cid](value: Option[Value[Cid]]) extends Value[Cid] with Product with Serializable
  16. final case class ValueParty(value: Party) extends ValueCidlessLeaf with Product with Serializable
  17. final case class ValueRecord[+Cid](tycon: Option[Identifier], fields: ImmArray[(Option[Name], Value[Cid])]) extends Value[Cid] with Product with Serializable
  18. final case class ValueText(value: String) extends ValueCidlessLeaf with Product with Serializable
  19. final case class ValueTextMap[+Cid](value: SortedLookupList[Value[Cid]]) extends Value[Cid] with Product with Serializable
  20. final case class ValueTimestamp(value: Timestamp) extends ValueCidlessLeaf with Product with Serializable
  21. final case class ValueVariant[+Cid](tycon: Option[Identifier], variant: Name, value: Value[Cid]) extends Value[Cid] with Product with Serializable
  22. final case class VersionedValue[+Cid](version: TransactionVersion, value: Value[Cid]) extends CidContainer[VersionedValue[Cid]] with Product with Serializable

Value Members

  1. final def !=(arg0: Any): Boolean
    Definition Classes
    AnyRef → Any
  2. final def ##: Int
    Definition Classes
    AnyRef → Any
  3. final def ==(arg0: Any): Boolean
    Definition Classes
    AnyRef → Any
  4. 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.

  5. implicit def Value Equal instance[Cid](implicit arg0: Equal[Cid]): Equal[Value[Cid]]
  6. val ValueFalse: ValueBool
  7. val ValueNil: ValueList[Nothing]
  8. val ValueNone: ValueOptional[Nothing]
  9. val ValueTrue: ValueBool
  10. final def asInstanceOf[T0]: T0
    Definition Classes
    Any
  11. 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
  12. implicit final def cidSuffixerInstance[A1, A2](implicit resolver1: CidSuffixer[A1, A2]): CidSuffixer[Value[A1], Value[A2]]
    Definition Classes
    CidContainer1
  13. def clone(): AnyRef
    Attributes
    protected[lang]
    Definition Classes
    AnyRef
    Annotations
    @throws(classOf[java.lang.CloneNotSupportedException]) @native()
  14. final def eq(arg0: AnyRef): Boolean
    Definition Classes
    AnyRef
  15. def equals(arg0: AnyRef): Boolean
    Definition Classes
    AnyRef → Any
  16. def finalize(): Unit
    Attributes
    protected[lang]
    Definition Classes
    AnyRef
    Annotations
    @throws(classOf[java.lang.Throwable])
  17. final def getClass(): Class[_ <: AnyRef]
    Definition Classes
    AnyRef → Any
    Annotations
    @native()
  18. def hashCode(): Int
    Definition Classes
    AnyRef → Any
    Annotations
    @native()
  19. final def isInstanceOf[T0]: Boolean
    Definition Classes
    Any
  20. final def ne(arg0: AnyRef): Boolean
    Definition Classes
    AnyRef
  21. implicit final def noCidCheckerInstance[A1, A2](implicit checker1: NoCidChecker[A1, A2]): NoCidChecker[Value[A1], Value[A2]]
    Definition Classes
    CidContainer1
  22. final def notify(): Unit
    Definition Classes
    AnyRef
    Annotations
    @native()
  23. final def notifyAll(): Unit
    Definition Classes
    AnyRef
    Annotations
    @native()
  24. 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.

  25. final def synchronized[T0](arg0: => T0): T0
    Definition Classes
    AnyRef
  26. def toString(): String
    Definition Classes
    AnyRef → Any
  27. final def wait(): Unit
    Definition Classes
    AnyRef
    Annotations
    @throws(classOf[java.lang.InterruptedException])
  28. final def wait(arg0: Long, arg1: Int): Unit
    Definition Classes
    AnyRef
    Annotations
    @throws(classOf[java.lang.InterruptedException])
  29. final def wait(arg0: Long): Unit
    Definition Classes
    AnyRef
    Annotations
    @throws(classOf[java.lang.InterruptedException]) @native()
  30. object ContractId extends Serializable
  31. object ContractInst extends CidContainer1[ContractInst] with Serializable
  32. object ValueArithmeticError
  33. object ValueBool extends Serializable
  34. case object ValueUnit extends ValueCidlessLeaf with Product with Serializable
  35. object VersionedValue extends CidContainer1[VersionedValue] with Serializable

Inherited from Serializable

Inherited from CidContainer1[Value]

Inherited from AnyRef

Inherited from Any

Ungrouped