Type Members

1.  sealed abstract class ExerciseOn[-Self, Tpl] extends AnyRef

   Annotations

   @implicitNotFound()

2.  trait InvariantApply[F[_]] extends InvariantFunctor[F]

   A variant of Apply that generalizes with Divide.

   A variant of Apply that generalizes with Divide. Instead of lifting functions, it lifts an isomorphism:

   (A, B, ...) <~> Z  =>  (F[A], F[B], ...) => F[Z]

   Its laws are exactly those for Apply, but restated for isomorphisms.

3.  abstract class LfEncodable[A] extends AnyRef

   Annotations

   @implicitNotFound()

4.  trait LfTypeEncoding extends AnyRef

   A backend for accumulating well-typed information about Daml-LF ADTs (records, variants, and templates) into encodings of those ADTs.

   A backend for accumulating well-typed information about Daml-LF ADTs (records, variants, and templates) into encodings of those ADTs.

   While a few of its methods are concrete, implementers of LfTypeEncoding can assume that those implementations are fixed, and should be expressed solely in terms of the abstract methods and types.

5.  trait RecordView[C[_], Self[_[_]]] extends AnyRef

   The API of LfEncodable.ViaFields#view.

6.  trait ValuePrimitiveEncoding[TC[_]] extends AnyRef

   Core instances of a typeclass (or other type) that relate all cases of the com.daml.ledger.api.v1.value.Value sum type to the Primitive types.

   Core instances of a typeclass (or other type) that relate all cases of the com.daml.ledger.api.v1.value.Value sum type to the Primitive types. All other instances, such as those for record, sum, and template types, are derived from these ones, which thus form the "axioms" of any typeclass relating gRPC values to custom Daml data types built upon Scala datatypes.