Packages

abstract class Empty[T] extends TemplateCompanion[T]

Linear Supertypes
TemplateCompanion[T], ViaFields[T], ContractTypeCompanion[T], ValueRefCompanion, AnyRef, Any
Ordering
  1. Alphabetic
  2. By Inheritance
Inherited
  1. Empty
  2. TemplateCompanion
  3. ViaFields
  4. ContractTypeCompanion
  5. ValueRefCompanion
  6. AnyRef
  7. Any
  1. Hide All
  2. Show All
Visibility
  1. Public
  2. Protected

Instance Constructors

  1. new Empty()(implicit isTemplate: <:<[T, Template[T]])

Type Members

  1. type ContractId = Primitive.ContractId[T]

    Alias for contract IDs for this template or interface.

    Alias for contract IDs for this template or interface. Can be used interchangeably with its expansion.

    Definition Classes
    ContractTypeCompanion
  2. type key = Nothing

    The template's key type, or Nothing if there is no key type.

    The template's key type, or Nothing if there is no key type.

    Definition Classes
    Empty → TemplateCompanion
  3. type view[C[_]] = encoding.RecordView.Empty[C]

    The fields of T's associated record type, each in some type constructor C.

    The fields of T's associated record type, each in some type constructor C.

    Definition Classes
    Empty → ViaFields
    Note

    Lowercase because T.View is a valid Daml type name, and this trait describes codegen output.

  4. abstract class Value ValueRef[A] extends Value[A]
    Attributes
    protected
    Definition Classes
    ValueRefCompanion
    Annotations
    @SuppressWarnings()

Abstract Value Members

  1. abstract val consumingChoices: Set[Choice]
    Definition Classes
    TemplateCompanion
  2. abstract val id: TemplateId[T]
    Definition Classes
    ContractTypeCompanion
  3. abstract def onlyInstance: T
    Attributes
    protected

Concrete Value Members

  1. final def arguments(elems: (String, api.v1.value.Value)*): Record
    Attributes
    protected
    Definition Classes
    TemplateCompanion
  2. final def createVariantOfSynthRecord(k: String, o: (String, api.v1.value.Value)*): Variant
    Attributes
    protected
    Definition Classes
    ValueRefCompanion
  3. lazy val dataTypeId: Identifier
    Attributes
    protected
    Definition Classes
    ContractTypeCompanion → ValueRefCompanion
  4. final def enum(constructor: String): Enum
    Attributes
    protected
    Definition Classes
    ValueRefCompanion
  5. final def exercise[ExOn, Out](receiver: ExOn, choiceId: String, arguments: Option[api.v1.value.Value])(implicit exon: ExerciseOn[ExOn, T]): Update[Out]
    Attributes
    protected
    Definition Classes
    ContractTypeCompanion
  6. final def mkDataTypeId(packageId: String, moduleName: String, entityName: String): Identifier
    Attributes
    protected
    Definition Classes
    ValueRefCompanion
  7. final def record(elements: (String, api.v1.value.Value)*): Record
    Attributes
    protected
    Definition Classes
    ValueRefCompanion
  8. final def templateId(packageId: String, moduleName: String, entityName: String): TemplateId[T]
    Attributes
    protected
    Definition Classes
    ContractTypeCompanion
  9. final def variant(constructor: String, value: api.v1.value.Value): Variant
    Attributes
    protected
    Definition Classes
    ValueRefCompanion
  10. final def !=(arg0: Any): Boolean
    Definition Classes
    AnyRef → Any
  11. final def ##: Int
    Definition Classes
    AnyRef → Any
  12. final def ==(arg0: Any): Boolean
    Definition Classes
    AnyRef → Any
  13. final def asInstanceOf[T0]: T0
    Definition Classes
    Any
  14. def clone(): AnyRef
    Attributes
    protected[lang]
    Definition Classes
    AnyRef
    Annotations
    @throws(classOf[java.lang.CloneNotSupportedException]) @native() @IntrinsicCandidate()
  15. val describesTemplate: <:<[T, Template[T]]

    Proof that T <: Template[T].

    Proof that T <: Template[T]. Expressed here instead of as a type parameter bound because the latter is much more inconvenient in practice.

    Definition Classes
    TemplateCompanion
  16. def encoding(lte: LfTypeEncoding)(view: view[Field]): Out[T]
    Definition Classes
    Empty → ViaFields
  17. final def eq(arg0: AnyRef): Boolean
    Definition Classes
    AnyRef
  18. def equals(arg0: AnyRef): Boolean
    Definition Classes
    AnyRef → Any
  19. def fieldEncoding(lte: LfTypeEncoding): view[Field]
    Definition Classes
    Empty → ViaFields
  20. def fromNamedArguments(namedArguments: Record): Option[T]
    Definition Classes
    Empty → TemplateCompanion
  21. final def getClass(): Class[_ <: AnyRef]
    Definition Classes
    AnyRef → Any
    Annotations
    @native() @IntrinsicCandidate()
  22. def hashCode(): Int
    Definition Classes
    AnyRef → Any
    Annotations
    @native() @IntrinsicCandidate()
  23. final def isInstanceOf[T0]: Boolean
    Definition Classes
    Any
  24. final def key(k: key)(implicit enc: ValueEncoder[key]): Key[T]

    Prepare an exercise-by-key Update.

    Prepare an exercise-by-key Update.

    Definition Classes
    TemplateCompanion
  25. final def ne(arg0: AnyRef): Boolean
    Definition Classes
    AnyRef
  26. final def notify(): Unit
    Definition Classes
    AnyRef
    Annotations
    @native() @IntrinsicCandidate()
  27. final def notifyAll(): Unit
    Definition Classes
    AnyRef
    Annotations
    @native() @IntrinsicCandidate()
  28. final def synchronized[T0](arg0: => T0): T0
    Definition Classes
    AnyRef
  29. implicit final def the TemplateCompanion: Empty.this.type

    Permits TemplateCompanion to be optionally treated as a typeclass for template types.

    Permits TemplateCompanion to be optionally treated as a typeclass for template types.

    Definition Classes
    TemplateCompanion
  30. implicit val the template LfEncodable: LfEncodable[T]
    Definition Classes
    TemplateCompanion
  31. implicit val the template Value: Value[T]
    Definition Classes
    TemplateCompanion
  32. def toNamedArguments(associatedType: T): Record
    Definition Classes
    Empty → TemplateCompanion
  33. def toString(): String
    Definition Classes
    AnyRef → Any
  34. final def wait(arg0: Long, arg1: Int): Unit
    Definition Classes
    AnyRef
    Annotations
    @throws(classOf[java.lang.InterruptedException])
  35. final def wait(arg0: Long): Unit
    Definition Classes
    AnyRef
    Annotations
    @throws(classOf[java.lang.InterruptedException]) @native()
  36. final def wait(): Unit
    Definition Classes
    AnyRef
    Annotations
    @throws(classOf[java.lang.InterruptedException])

Deprecated Value Members

  1. def finalize(): Unit
    Attributes
    protected[lang]
    Definition Classes
    AnyRef
    Annotations
    @throws(classOf[java.lang.Throwable]) @Deprecated
    Deprecated

Inherited from TemplateCompanion[T]

Inherited from ViaFields[T]

Inherited from ContractTypeCompanion[T]

Inherited from ValueRefCompanion

Inherited from AnyRef

Inherited from Any

Ungrouped