DescriptorVisitor

com.digitalasset.transcode.schema.DescriptorVisitor

Attributes

Graph
Supertypes
class Object
trait Matchable
class Any
Self type

Members list

Type members

Types

Final result type

Final result type

Attributes

type Type = Descriptor

Visitor handler type for various DAML schema cases.

Visitor handler type for various DAML schema cases.

Attributes

Value members

Concrete methods

def application(ctor: Descriptor, typeParams: Seq[TypeVarName], args: Seq[Descriptor]): Descriptor

Type Application

Type Application

Attributes

def constructor(id: Identifier, typeParams: Seq[TypeVarName], body: => Descriptor): Descriptor

Wrap type into addressable DataType

Wrap type into addressable DataType

Attributes

def contractId(template: Descriptor): Descriptor

Contract ID, parametrized with the processor for corresponding template

Contract ID, parametrized with the processor for corresponding template

Attributes

def enumeration(cases: Seq[EnumConName]): Descriptor

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

def genMap(key: Descriptor, value: Descriptor): Descriptor

Map with keys and values of any type

Map with keys and values of any type

Attributes

def list(elem: Descriptor): Descriptor

Sequence of elements

Sequence of elements

Attributes

def numeric(scale: Int): Descriptor

Numeric with scale

Numeric with scale

Attributes

Optional element

Optional element

Attributes

def record(fields: Seq[(FieldName, Descriptor)]): Descriptor

ADT, Product type

ADT, Product type

Attributes

Map with keys of String/Text type

Map with keys of String/Text type

Attributes

Type Variable.

Type Variable.

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

Attributes

ADT, Sum type

ADT, Sum type

Attributes

Concrete fields

Boolean

Boolean

Attributes

Date

Date

Attributes

8-byte Integer

8-byte Integer

Attributes

Party

Party

Attributes

Text

Text

Attributes

Timestamp

Timestamp

Attributes

Unit

Unit

Attributes