package encoding
- Alphabetic
- Public
- Protected
Type Members
- sealed abstract class ExerciseOn[-Self, Tpl] extends AnyRef
- Annotations
- @implicitNotFound()
- 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.
- abstract class LfEncodable[A] extends AnyRef
- Annotations
- @implicitNotFound()
- 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.
- trait RecordView[C[_], Self[_[_]]] extends AnyRef
The API of LfEncodable.ViaFields#view.
- 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.
Value Members
- object ExerciseOn
- object InvariantApply
- object LfEncodable extends ValuePrimitiveEncoding[LfEncodable]
- object LfTypeEncoding
- object RecordView
- object ValuePrimitiveEncoding