Unit

com.digitalasset.transcode.schema.SchemaVisitor.Unit
trait Unit extends SchemaVisitor

Trait implementing all the cases and allowing to override only partially what's needed

Attributes

Graph
Supertypes
class Object
trait Matchable
class Any

Members list

Type members

Types

type Type = Unit

Visitor handler type for various DAML schema cases.

Visitor handler type for various DAML schema cases.

Attributes

Inherited and Abstract types

type Result

Final result type

Final result type

Attributes

Inherited from:
SchemaVisitor

Value members

Concrete methods

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

Type Application

Type Application

Attributes

Definition Classes
override def bool: Type

Boolean

Boolean

Attributes

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

Wrap type into addressable DataType

Wrap type into addressable DataType

Attributes

Definition Classes
override def contractId(template: Type): Type

Contract ID, parametrized with the processor for corresponding template

Contract ID, parametrized with the processor for corresponding template

Attributes

Definition Classes
override def date: Type

Date

Date

Attributes

Definition Classes
override 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

Definition Classes
override def genMap(key: Type, value: Type): Type

Map with keys and values of any type

Map with keys and values of any type

Attributes

Definition Classes
override def int64: Type

8-byte Integer

8-byte Integer

Attributes

Definition Classes
override def list(elem: Type): Type

Sequence of elements

Sequence of elements

Attributes

Definition Classes
override def numeric(scale: Int): Type

Numeric with scale

Numeric with scale

Attributes

Definition Classes
override def optional(elem: Type): Type

Optional element

Optional element

Attributes

Definition Classes
override def party: Type

Party

Party

Attributes

Definition Classes
override def record(fields: Seq[(FieldName, Type)]): Type

ADT, Product type

ADT, Product type

Attributes

Definition Classes
override def text: Type

Text

Text

Attributes

Definition Classes
override def textMap(value: Type): Type

Map with keys of String/Text type

Map with keys of String/Text type

Attributes

Definition Classes
override def timestamp: Type

Timestamp

Timestamp

Attributes

Definition Classes
override def unit: Type

Unit

Unit

Attributes

Definition Classes
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
override def variant(cases: Seq[(VariantConName, Type)]): Type

ADT, Sum type

ADT, Sum type

Attributes

Definition Classes

Inherited and Abstract methods

def collect(entities: Seq[Template[Type]]): Result

Attributes

Inherited from:
SchemaVisitor