TypeScript package

@daml/types

TypeScript and JavaScript language bindings for Canton.

Generated from published @daml/types TypeDoc snapshots.

Name	Kind	Summary	Introduced	Changed	Deprecated	Removed
`Choice`	Interface	Interface for objects representing Daml choices.	`3.4.8`	-	-	-
`ChoiceFrom`	Interface	The origin companion that contained a [[Choice]].	`3.4.8`	-	-	-
`ContractTypeCompanion`	Interface	Companion objects for templates and interfaces, containing their choices.	`3.4.8`	`3.4.9`: members added: `templateIdWithPackageId`	-	-
`FromTemplate`	Interface	A mixin for [[InterfaceCompanion]]. This supplies the basis for the methods of [[ToInterface]]. Even interfaces that retroactively implement for no templates implement this, because forward implementations still require this marker to work.	`3.4.8`	-	-	-
`Map`	Interface	The counterpart of Daml’s `DA.Map.Map K V` type. This is an immutable map which compares keys via deep equality. The order of iteration is unspecified; the only guarantee is that the order in `keys` and `values` match, i.e. `m.get(k)` is (deep-, value-based) equal to `[...m.values()][[...m.keys()].findIndex((l) => _.isEqual(k, l))]`	`3.4.8`	-	-	-
`Serializable`	Interface	Interface for companion objects of serializable types. Its main purpose is to serialize and deserialize values between raw JSON and typed values.	`3.4.8`	-	-	-
`Template`	Interface	Interface for objects representing Daml templates. It is similar to the `Template` type class in Daml.	`3.4.8`	`3.4.9`: members added: `templateIdWithPackageId`	-	-
`ToInterface`	Interface	A mixin for [[Template]] that provides the `toInterface` and `unsafeFromInterface` contract ID conversion functions. Even templates that directly implement no interfaces implement this, because this also permits conversion with interfaces that supply retroactive implementations to this template.	`3.4.8`	-	-	-
`Unit`	Interface	The counterpart of Daml’s `()` type.	`3.4.8`	-	-	-
`Bool`	Type Alias	The counterpart of Daml’s `Bool` type.	`3.4.8`	-	-	-
`ContractId`	Type Alias	The counterpart of Daml’s `ContractId T` type. We represent `ContractId`s as strings. Their exact format of these strings depends on the ledger the Daml application is running on. The purpose of the intersection with `{ [ContractIdBrand]: T }` is to prevent accidental use of a `ContractId<T>` when a `ContractId<U>` is needed (unless `T` is a subtype of `U`). This technique is known as ”branding” in the TypeScript community.	`3.4.8`	-	-	-
`Date`	Type Alias	The counterpart of Daml’s `Date` type. We represent `Date`s as strings with format `YYYY-MM-DD`.	`3.4.8`	-	-	-
`Decimal`	Type Alias	The counterpart of Daml’s `Decimal` type. In Daml, Decimal’s are the same as Numeric with precision 10.	`3.4.8`	-	-	-
`DisclosedContract`	Type Alias	A disclosed contract that can be passed on a command submission.	`3.4.8`	-	-	-
`Int`	Type Alias	The counterpart of Daml’s `Int` type. We represent `Int`s as string in order to avoid a loss of precision.	`3.4.8`	-	-	-
`Interface`	Type Alias	An interface type, for use with contract IDs.	`3.4.8`	-	-	-
`InterfaceCompanion`	Type Alias	Interface for objects representing Daml interfaces.	`3.4.8`	-	-	-
`List`	Type Alias	The counterpart of Daml’s `[T]` list type. We represent lists using arrays.	`3.4.8`	-	-	-
`Numeric`	Type Alias	The counterpart of Daml’s `Numeric` type. We represent `Numeric`s as string in order to avoid a loss of precision. The string must match the regular expression `-?(?:0\|[1-9]\d*)(?:\.\d+)?(?:[eE][+-]?\d+)?`.	`3.4.8`	-	-	-
`Optional`	Type Alias	The counterpart of Daml’s `Optional T` type.	`3.4.8`	-	-	-
`Party`	Type Alias	The counterpart of Daml’s `Party` type. We represent `Party`s as strings matching the regular expression `[A-Za-z0-9:_\- ]+`.	`3.4.8`	-	-	-
`TemplateOrInterface`	Type Alias	-	`3.4.8`	`3.4.9`: signature updated; type parameter renamed: `I` -> `Id`	-	-
`Text`	Type Alias	The counterpart of Daml’s `Text` type.	`3.4.8`	-	-	-
`TextMap`	Type Alias	The counterpart of Daml’s `TextMap T` type. We represent `TextMap`s as dictionaries.	`3.4.8`	-	-	-
`Time`	Type Alias	The counterpart of Daml’s `Time` type. We represent `Times`s as strings with format `YYYY-MM-DDThh:mm:ss[.ssssss]Z`.	`3.4.8`	-	-	-
`Bool`	Variable	Companion object of the [[Bool]] type.	`3.4.8`	-	-	-
`Date`	Variable	Companion object of the [[Date]] type.	`3.4.8`	-	-	-
`Decimal`	Variable	Companion object of the [[Decimal]] type.	`3.4.8`	-	-	-
`Int`	Variable	Companion object of the [[Int]] type.	`3.4.8`	-	-	-
`Party`	Variable	Companion object of the [[Party]] type.	`3.4.8`	-	-	-
`Text`	Variable	Companion object of the [[Text]] type.	`3.4.8`	-	-	-
`Time`	Variable	Companion object of the [[Time]] type.	`3.4.8`	-	-	-
`Unit`	Variable	Companion object of the [[Unit]] type.	`3.4.8`	-	-	-
`ContractId`	Function	Companion object of the [[ContractId]] type.	`3.4.8`	-	-	-
`emptyMap`	Function	-	`3.4.8`	-	-	-
`List`	Function	Companion object of the [[List]] type.	`3.4.8`	-	-	-
`Map`	Function	Companion function of the [[GenMap]] type.	`3.4.8`	-	-	-
`Numeric`	Function	Companion function of the [[Numeric]] type.	`3.4.8`	-	-	-
`Optional`	Function	Companion function of the [[Optional]] type.	`3.4.8`	-	-	-
`TextMap`	Function	Companion object of the [[TextMap]] type.	`3.4.8`	-	-	-

Reference

Interfaces

Choice

Interface

Kind: Interface
Source: index.d.ts:113

Signature

interface Choice<T extends object = void, C extends void = void, R extends void = void, K extends void = unknown> extends ChoiceFrom<TemplateOrInterface<T, K>>

Interface for objects representing Daml choices. Type Parameters

Name	Constraint	Default	Description
`T`	`object`	-	The template type.
`C`	-	-	The choice type.
`R`	-	-	The choice return type.
`K`	-	`unknown`	The contract key type.

Members

Member	Type	Description
`choiceName`	`string`	The choice name.
`template`	`() => TemplateOrInterface`	Returns the template to which this choice belongs.

ChoiceFrom

Interface

Kind: Interface
Source: index.d.ts:140

Signature

interface ChoiceFrom<O extends void = void>

The origin companion that contained a [[Choice]]. Type Parameters

Name	Constraint	Default	Description
`O`	-	-	The type of the template or interface of which this [[Choice]] is a member.

Members

Member	Type	Description
`template`	`() => O`	Returns the template to which this choice belongs.

ContractTypeCompanion

InterfaceUpdated 3.4.9

Kind: Interface
Source: index.d.ts:25

Signature

interface ContractTypeCompanion<T extends object = void, K extends void = void, I extends string = void>

Companion objects for templates and interfaces, containing their choices. Type Parameters

Name	Constraint	Default	Description
`T`	`object`	-	The template payload format or interface view.
`K`	-	-	The contract key type.
`I`	`string`	-	The template or interface id.

Members

Member	Type	Description
`templateId`	`I`	-
`templateIdWithPackageId`	`string`	-

FromTemplate

Interface

Kind: Interface
Source: index.d.ts:101

Signature

interface FromTemplate<If extends void = void, TX extends void = void>

A mixin for [[InterfaceCompanion]]. This supplies the basis for the methods of [[ToInterface]]. Even interfaces that retroactively implement for no templates implement this, because forward implementations still require this marker to work. Type Parameters

Name	Constraint	Default	Description
`If`	-	-	The interface type.
`TX`	-	-	The intersection of template types this interface retroactively implements, or `unknown` if there are none.

Members

Member	Type	Description
`[FromTemplateBrand]`	`[If, TX]`	-

Map

Interface

Kind: Interface
Source: index.d.ts:340

Signature

interface Map<K extends void = void, V extends void = void>

The counterpart of Daml’s DA.Map.Map K V type. This is an immutable map which compares keys via deep equality. The order of iteration is unspecified; the only guarantee is that the order in keys and values match, i.e. m.get(k) is (deep-, value-based) equal to [...m.values()][[...m.keys()].findIndex((l) => _.isEqual(k, l))] Type Parameters

Name	Constraint	Default	Description
`K`	-	-	The type of the map keys.
`V`	-	-	The type of the map values.

Members

Member	Type	Description
`delete`	`(k: K) => Map<K, V>`	-
`entries`	`() => Iterator<[K, V], undefined, undefined>`	-
`entriesArray`	`() => [K, V][]`	-
`forEach`	`(f: (value: V, key: K, map: Map<K, V>) => T, u?: U) => void`	-
`get`	`(k: K) => undefined \| V`	-
`has`	`(k: K) => boolean`	-
`keys`	`() => Iterator<K, undefined, undefined>`	-
`set`	`(k: K, v: V) => Map<K, V>`	-
`values`	`() => Iterator<V, undefined, undefined>`	-

Serializable

Interface

Kind: Interface
Source: index.d.ts:8

Signature

interface Serializable<T extends void = void>

Interface for companion objects of serializable types. Its main purpose is to serialize and deserialize values between raw JSON and typed values. Type Parameters

Name	Constraint	Default	Description
`T`	-	-	The template type.

Template

InterfaceUpdated 3.4.9

Kind: Interface
Source: index.d.ts:50

Signature

interface Template<T extends object = void, K extends void = unknown, I extends string = string> extends ContractTypeCompanion<T, K, I>, Serializable<T>

Interface for objects representing Daml templates. It is similar to the Template type class in Daml. Type Parameters

Name	Constraint	Default	Description
`T`	`object`	-	The template type.
`K`	-	`unknown`	The contract key type.
`I`	`string`	`string`	The template id type.

Members

Member	Type	Description
`Archive`	`Choice<T, {}, {}, K> & ChoiceFrom<Template<T, K, I>>`	-
`templateId`	`I`	-
`templateIdWithPackageId`	`string`	-

ToInterface

Interface

Kind: Interface
Source: index.d.ts:69

Signature

interface ToInterface<T extends object = void, IfU extends void = void>

A mixin for [[Template]] that provides the toInterface and unsafeFromInterface contract ID conversion functions. Even templates that directly implement no interfaces implement this, because this also permits conversion with interfaces that supply retroactive implementations to this template. Type Parameters

Name	Constraint	Default	Description
`T`	`object`	-	The template type.
`IfU`	-	-	The union of implemented interfaces, or `never` for templates that directly implement no interface.

Members

Member	Type	Description
`toInterface`	`void`	-
`unsafeFromInterface`	`void`	-

Unit

Interface

Kind: Interface
Source: index.d.ts:181

Signature

interface Unit

The counterpart of Daml’s () type.

Type Aliases

Bool

Type Alias

Kind: Type Alias
Source: index.d.ts:190

Signature

type Bool = boolean

The counterpart of Daml’s Bool type.

ContractId

Type Alias

Kind: Type Alias
Source: index.d.ts:294

Signature

type ContractId<T extends void = void> = string & { [ContractIdBrand]: T }

The counterpart of Daml’s ContractId T type. We represent ContractIds as strings. Their exact format of these strings depends on the ledger the Daml application is running on. The purpose of the intersection with { [ContractIdBrand]: T } is to prevent accidental use of a ContractId<T> when a ContractId<U> is needed (unless T is a subtype of U). This technique is known as “branding” in the TypeScript community. Type Parameters

Name	Constraint	Default	Description
`T`	-	-	The contract template.

Date

Type Alias

Kind: Type Alias
Source: index.d.ts:272

Signature

type Date = string

The counterpart of Daml’s Date type. We represent Dates as strings with format YYYY-MM-DD.

Decimal

Type Alias

Kind: Type Alias
Source: index.d.ts:218

Signature

type Decimal = Numeric

The counterpart of Daml’s Decimal type. In Daml, Decimal’s are the same as Numeric with precision 10.

DisclosedContract

Type Alias

Kind: Type Alias
Source: index.d.ts:362

Signature

type DisclosedContract = { contractId: ContractId<unknown>; createdEventBlob: string; templateId: string }

A disclosed contract that can be passed on a command submission.

Int

Type Alias

Kind: Type Alias
Source: index.d.ts:200

Signature

type Int = string

The counterpart of Daml’s Int type. We represent Ints as string in order to avoid a loss of precision.

Interface

Type Alias

Kind: Type Alias
Source: index.d.ts:81

Signature

type Interface<IfId extends void = void> = { readonly [InterfaceBrand]: IfId }

An interface type, for use with contract IDs. Type Parameters

Name	Constraint	Default	Description
`IfId`	-	-	The interface ID as a constant string.

InterfaceCompanion

Type Alias

Kind: Type Alias
Source: index.d.ts:87

Signature

type InterfaceCompanion<T extends object = void, K extends void = void, I extends string = string> = ContractTypeCompanion<T, K, I>

Interface for objects representing Daml interfaces. Type Parameters

Name	Constraint	Default	Description
`T`	`object`	-	-
`K`	-	-	-
`I`	`string`	`string`	-

List

Type Alias

Kind: Type Alias
Source: index.d.ts:262

Signature

type List<T extends void = void> = T[]

The counterpart of Daml’s [T] list type. We represent lists using arrays. Type Parameters

Name	Constraint	Default	Description
`T`	-	-	The type of the list values.

Numeric

Type Alias

Kind: Type Alias
Source: index.d.ts:211

Signature

type Numeric = string

The counterpart of Daml’s Numeric type. We represent Numerics as string in order to avoid a loss of precision. The string must match the regular expression -?(?:0|[1-9]\d*)(?:\.\d+)?(?:[eE][+-]?\d+)?.

Optional

Type Alias

Kind: Type Alias
Source: index.d.ts:306

Signature

type Optional<T extends void = void> = null | OptionalInner<T>

The counterpart of Daml’s Optional T type. Type Parameters

Name	Constraint	Default	Description
`T`	-	-	The type of the optionally present value.

Party

Type Alias

Kind: Type Alias
Source: index.d.ts:250

Signature

type Party = string

The counterpart of Daml’s Party type. We represent Partys as strings matching the regular expression [A-Za-z0-9:_\- ]+.

TemplateOrInterface

Type AliasUpdated 3.4.9

Kind: Type Alias
Source: index.d.ts:88

Signature

type TemplateOrInterface<T extends object = void, K extends void = unknown, Id extends string = string> = Template<T, K, Id> | InterfaceCompanion<T, K, Id>

Type Parameters

Name	Constraint	Default	Description
`T`	`object`	-	-
`K`	-	`unknown`	-
`Id`	`string`	`string`	-

Text

Type Alias

Kind: Type Alias
Source: index.d.ts:230

Signature

type Text = string

The counterpart of Daml’s Text type.

TextMap

Type Alias

Kind: Type Alias
Source: index.d.ts:322

Signature

type TextMap<T extends void = void> = {}

The counterpart of Daml’s TextMap T type. We represent TextMaps as dictionaries. Type Parameters

Name	Constraint	Default	Description
`T`	-	-	The type of the map values.

Time

Type Alias

Kind: Type Alias
Source: index.d.ts:240

Signature

type Time = string

The counterpart of Daml’s Time type. We represent Timess as strings with format YYYY-MM-DDThh:mm:ss[.ssssss]Z.

Variables

Bool

Variable

Kind: Variable
Source: index.d.ts:190

Signature

const Bool: Serializable<boolean>

Companion object of the [[Bool]] type.

Date

Variable

Kind: Variable
Source: index.d.ts:272

Signature

const Date: Serializable<string>

Companion object of the [[Date]] type.

Decimal

Variable

Kind: Variable
Source: index.d.ts:218

Signature

const Decimal: Serializable<string>

Companion object of the [[Decimal]] type.

Int

Variable

Kind: Variable
Source: index.d.ts:200

Signature

const Int: Serializable<string>

Companion object of the [[Int]] type.

Party

Variable

Kind: Variable
Source: index.d.ts:250

Signature

const Party: Serializable<string>

Companion object of the [[Party]] type.

Text

Variable

Kind: Variable
Source: index.d.ts:230

Signature

const Text: Serializable<string>

Companion object of the [[Text]] type.

Time

Variable

Kind: Variable
Source: index.d.ts:240

Signature

const Time: Serializable<string>

Companion object of the [[Time]] type.

Unit

Variable

Kind: Variable
Source: index.d.ts:181

Signature

const Unit: Serializable<Unit>

Companion object of the [[Unit]] type.

Functions

ContractId

Function

Kind: Function
Source: index.d.ts:294

Signature

ContractId<T extends void = void>(_t: Serializable<T> | TemplateOrInterface<T & object, unknown, string>): Serializable<ContractId<T>>

Companion object of the [[ContractId]] type. Call Signatures

ContractId<T extends void = void>(_t: Serializable<T> | TemplateOrInterface<T & object, unknown, string>): Serializable<ContractId<T>>

Type Parameter	Constraint	Default	Description
`T`	-	-	-

Parameter	Type	Required	Description
`_t`	`Serializable<T> \| TemplateOrInterface<T & object, unknown, string>`	yes	-

Returns: Serializable<ContractId<T>>

emptyMap

Function

Kind: Function
Source: index.d.ts:351

Signature

emptyMap<K extends void = void, V extends void = void>(): Map<K, V>

Call Signatures

emptyMap<K extends void = void, V extends void = void>(): Map<K, V>

Type Parameter	Constraint	Default	Description
`K`	-	-	-
`V`	-	-	-

Returns: Map<K, V>

List

Function

Kind: Function
Source: index.d.ts:262

Signature

List<T extends void = void>(t: Serializable<T>): Serializable<T[]>

Companion object of the [[List]] type. Call Signatures

List<T extends void = void>(t: Serializable<T>): Serializable<T[]>

Type Parameter	Constraint	Default	Description
`T`	-	-	-

Parameter	Type	Required	Description
`t`	`Serializable<T>`	yes	-

Returns: Serializable<T[]>

Map

Function

Kind: Function
Source: index.d.ts:340

Signature

Map<K extends void = void, V extends void = void>(kd: Serializable<K>, vd: Serializable<V>): Serializable<Map<K, V>>

Companion function of the [[GenMap]] type. Call Signatures

Map<K extends void = void, V extends void = void>(kd: Serializable<K>, vd: Serializable<V>): Serializable<Map<K, V>>

Type Parameter	Constraint	Default	Description
`K`	-	-	-
`V`	-	-	-

Parameter	Type	Required	Description
`kd`	`Serializable<K>`	yes	-
`vd`	`Serializable<V>`	yes	-

Returns: Serializable<Map<K, V>>

Numeric

Function

Kind: Function
Source: index.d.ts:211

Signature

Numeric(_: number): Serializable<string>

Companion function of the [[Numeric]] type. Call Signatures

Numeric(_: number): Serializable<string>

Parameter	Type	Required	Description
`_`	`number`	yes	-

Returns: Serializable<string>

Optional

Function

Kind: Function
Source: index.d.ts:306

Signature

Optional<T extends void = void>(t: Serializable<T>): Serializable<Optional<T>>

Companion function of the [[Optional]] type. Call Signatures

Optional<T extends void = void>(t: Serializable<T>): Serializable<Optional<T>>

Type Parameter	Constraint	Default	Description
`T`	-	-	-

Parameter	Type	Required	Description
`t`	`Serializable<T>`	yes	-

Returns: Serializable<Optional<T>>

TextMap

Function

Kind: Function
Source: index.d.ts:322

Signature

TextMap<T extends void = void>(t: Serializable<T>): Serializable<TextMap<T>>

Companion object of the [[TextMap]] type. Call Signatures

TextMap<T extends void = void>(t: Serializable<T>): Serializable<TextMap<T>>

Type Parameter	Constraint	Default	Description
`T`	-	-	-

Parameter	Type	Required	Description
`t`	`Serializable<T>`	yes	-

Returns: Serializable<TextMap<T>>

History

Updated3.4.9

ContractTypeCompanion: members added: templateIdWithPackageId

Template: members added: templateIdWithPackageId

TemplateOrInterface: signature updated; type parameter renamed: I -> Id

​@daml/types

​Table of Contents

​Reference

​Interfaces

​Choice

​ChoiceFrom

​ContractTypeCompanion

​FromTemplate

​Map

​Serializable

​Template

​ToInterface

​Unit

​Type Aliases

​Bool

​ContractId

​Date

​Decimal

​DisclosedContract

​Int

​Interface

​InterfaceCompanion

​List

​Numeric

​Optional

​Party

​TemplateOrInterface

​Text

​TextMap

​Time

​Variables

​Bool

​Date

​Decimal

​Int

​Party

​Text

​Time

​Unit

​Functions

​ContractId

​emptyMap

​List

​Map

​Numeric

​Optional

​TextMap

​History

@daml/types

Table of Contents

Reference

Interfaces

Choice

ChoiceFrom

ContractTypeCompanion

FromTemplate

Map

Serializable

Template

ToInterface

Unit

Type Aliases

Bool

ContractId

Date

Decimal

DisclosedContract

Int

Interface

InterfaceCompanion

List

Numeric

Optional

Party

TemplateOrInterface

Text

TextMap

Time

Variables

Bool

Date

Decimal

Int

Party

Text

Time

Unit

Functions

ContractId

emptyMap

List

Map

Numeric

Optional

TextMap

History