Type Members

1.  final case class CreateForExercise[+T](value: Template[_]) extends Product with Serializable

   Part of a CreateAndExercise command.

   Part of a CreateAndExercise command.

   Iou(foo, bar).createAnd.exerciseTransfer(controller, ...)

2.  final class Implements[T, I] extends ToInterface[T, I]

   As with ToInterface, but also proves that T implements I.

   As with ToInterface, but also proves that T implements I. This is a subtle distinction, but ToInterface allows a universe of subtypes for which this would not be true. So this can be used for unsafeToTemplate as well as toInterface.

   Annotations

   @implicitNotFound()

3.  final case class Key[+T](encodedKey: api.v1.value.Value, origin: TemplateCompanion[_]) extends Product with Serializable

   Part of an ExerciseByKey command.

   Part of an ExerciseByKey command.

   Iou.key(foo).exerciseTransfer(controller, ...)

4.  sealed abstract class ToInterface[-T, I] extends AnyRef

   Evidence that coercing from template-IDed to interface-IDed is sound, i.e.

   Evidence that coercing from template-IDed to interface-IDed is sound, i.e. toInterface. Not safe at all for the opposite coercion.

   This weaker marker is defined so that Key and CreateForExercise can have simple toInterface methods.

   Annotations

   @implicitNotFound()

5.  implicit final class template ContractId syntax[T] extends AnyVal