abstract class TemplateCompanion[T] extends ContractTypeCompanion[T] with ViaFields[T]

Common superclass of template classes' companions.

T

The companion class's type. We can get away with this here, but not for ValueRefCompanion, because templates' associated types are guaranteed to have zero tparams.

Linear Supertypes
Known Subclasses
Ordering
  1. Alphabetic
  2. By Inheritance
Inherited
  1. TemplateCompanion
  2. ViaFields
  3. ContractTypeCompanion
  4. ValueRefCompanion
  5. AnyRef
  6. Any
  1. Hide All
  2. Show All
Visibility
  1. Public
  2. Protected

Instance Constructors

  1. new TemplateCompanion()(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. abstract type key

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

  3. abstract type view[C[_]] <: RecordView[C[_], view]

    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
    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]
  2. abstract def encoding(lte: LfTypeEncoding)(view: view[Field]): Out[T]
    Definition Classes
    ViaFields
  3. abstract def fieldEncoding(lte: LfTypeEncoding): view[Field]
    Definition Classes
    ViaFields
  4. abstract def fromNamedArguments(namedArguments: Record): Option[T]
  5. abstract val id: TemplateId[T]
    Definition Classes
    ContractTypeCompanion
  6. abstract def toNamedArguments(associatedType: T): Record

Concrete Value Members

  1. final def arguments(elems: (String, api.v1.value.Value)*): Record
    Attributes
    protected
  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
    ContractTypeCompanionValueRefCompanion
  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.

  16. final def eq(arg0: AnyRef): Boolean
    Definition Classes
    AnyRef
  17. def equals(arg0: AnyRef): Boolean
    Definition Classes
    AnyRef → Any
  18. final def getClass(): Class[_ <: AnyRef]
    Definition Classes
    AnyRef → Any
    Annotations
    @native() @IntrinsicCandidate()
  19. def hashCode(): Int
    Definition Classes
    AnyRef → Any
    Annotations
    @native() @IntrinsicCandidate()
  20. final def isInstanceOf[T0]: Boolean
    Definition Classes
    Any
  21. final def key(k: key)(implicit enc: ValueEncoder[key]): Key[T]

    Prepare an exercise-by-key Update.

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

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

  27. implicit val the template LfEncodable: LfEncodable[T]
  28. implicit val the template Value: Value[T]
  29. def toString(): String
    Definition Classes
    AnyRef → Any
  30. final def wait(arg0: Long, arg1: Int): Unit
    Definition Classes
    AnyRef
    Annotations
    @throws(classOf[java.lang.InterruptedException])
  31. final def wait(arg0: Long): Unit
    Definition Classes
    AnyRef
    Annotations
    @throws(classOf[java.lang.InterruptedException]) @native()
  32. 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 ViaFields[T]

Inherited from ContractTypeCompanion[T]

Inherited from ValueRefCompanion

Inherited from AnyRef

Inherited from Any

Ungrouped