CodecVisitor

com.digitalasset.transcode.schema.CodecVisitor
See theCodecVisitor companion object
trait CodecVisitor[T] extends WithResult[Dictionary[Codec[T]]]

Attributes

Companion
object
Graph
Supertypes
class Object
trait Matchable
class Any

Members list

Type members

Types

final type Type = Codec[T]

Visitor handler type for various DAML schema cases.

Visitor handler type for various DAML schema cases.

Attributes

Inherited types

final type Result = Dictionary[Codec[T]]

Final result type

Final result type

Attributes

Inherited from:
WithResult

Value members

Concrete methods

final override def application(value: Type, typeParams: Seq[TypeVarName], args: Seq[Type]): Type

Type Application

Type Application

Attributes

Definition Classes
final override def collect(entities: Seq[Template[Type]]): Result

Attributes

Definition Classes
final override def constructor(id: Identifier, typeParams: Seq[TypeVarName], value: => Type): Type

Wrap type into addressable DataType

Wrap type into addressable DataType

Attributes

Definition Classes
final override def variable(name: TypeVarName): Type

Type Variable.

Type Variable.

Codecs will use substitution, effectively replacing type variables with concrete types, while code generators will use type variable names.

Attributes

Definition Classes

Inherited and Abstract methods

def bool: Type

Boolean

Boolean

Attributes

Inherited from:
SchemaVisitor
def contractId(template: Type): Type

Contract ID, parametrized with the processor for corresponding template

Contract ID, parametrized with the processor for corresponding template

Attributes

Inherited from:
SchemaVisitor
def date: Type

Date

Date

Attributes

Inherited from:
SchemaVisitor
def enumeration(cases: Seq[EnumConName]): Type

ADT, Sum type - special case, where there are only named constructors without arguments

ADT, Sum type - special case, where there are only named constructors without arguments

Attributes

Inherited from:
SchemaVisitor
def genMap(key: Type, value: Type): Type

Map with keys and values of any type

Map with keys and values of any type

Attributes

Inherited from:
SchemaVisitor
def int64: Type

8-byte Integer

8-byte Integer

Attributes

Inherited from:
SchemaVisitor
def list(elem: Type): Type

Sequence of elements

Sequence of elements

Attributes

Inherited from:
SchemaVisitor
def numeric(scale: Int): Type

Numeric with scale

Numeric with scale

Attributes

Inherited from:
SchemaVisitor
def optional(elem: Type): Type

Optional element

Optional element

Attributes

Inherited from:
SchemaVisitor
def party: Type

Party

Party

Attributes

Inherited from:
SchemaVisitor
def record(fields: Seq[(FieldName, Type)]): Type

ADT, Product type

ADT, Product type

Attributes

Inherited from:
SchemaVisitor
def text: Type

Text

Text

Attributes

Inherited from:
SchemaVisitor
def textMap(value: Type): Type

Map with keys of String/Text type

Map with keys of String/Text type

Attributes

Inherited from:
SchemaVisitor

Timestamp

Timestamp

Attributes

Inherited from:
SchemaVisitor
def unit: Type

Unit

Unit

Attributes

Inherited from:
SchemaVisitor
def variant(cases: Seq[(VariantConName, Type)]): Type

ADT, Sum type

ADT, Sum type

Attributes

Inherited from:
SchemaVisitor

Extensions

Extensions

extension [A](array: Array[A])
inline def getMaybe(ix: Int): A
extension [K, V](map: Map[K, V])
inline def getMaybe(key: K): V