Enum DamlType 

#[non_exhaustive]
pub enum DamlType {
    Unit,
    Bool,
    Int64,
    Numeric(u8),
    Text,
    Timestamp,
    Date,
    Party,
    ContractId(Box<DamlType>),
    List(Box<DamlType>),
    Optional(Box<DamlType>),
    TextMap(Box<DamlType>),
    GenMap(Box<DamlType>, Box<DamlType>),
    Ref(TypeRef),
    Var(String),
    Boxed(Box<DamlType>),
}

A Daml type — a primitive, a container, or a reference to a named data type.

This is the type a record field, choice argument, or contract key can take.

Variants (Non-exhaustive)

Non-exhaustive enums could have additional variants added in future. Therefore, when matching against variants of non-exhaustive enums, an extra wildcard arm must be added to account for any future variants.

Unit

The Unit type ().

Bool

Bool.

Int64

Int64.

Numeric(u8)

Numeric n — a fixed-scale decimal; the value is the scale (decimals).

Text

Text.

Timestamp

Timestamp (microseconds since the Unix epoch, UTC).

Date

Date (days since the Unix epoch).

Party

Party.

ContractId(Box<DamlType>)

ContractId t — a handle to a contract of the referenced payload type.

List(Box<DamlType>)

List t / [t].

Optional(Box<DamlType>)

Optional t.

TextMap(Box<DamlType>)

TextMap t — a map keyed by Text.

GenMap(Box<DamlType>, Box<DamlType>)

GenMap k v — a map with arbitrary key type.

Ref(TypeRef)

A reference to a named data type (record / variant / enum).

Var(String)

A type parameter (a, b, …) inside a generic data type.

Boxed(Box<DamlType>)

A type behind a Box, used to give recursive types the indirection Rust requires (Daml allows a type to contain itself directly; Rust does not).

Trait Implementations

impl Clone for DamlType

fn clone(&self) -> Self

Returns a duplicate of the value.

fn clone_from(&mut self, source: &Self)

Performs copy-assignment from source.

impl Debug for DamlType

fn fmt(&self, f: &mut Formatter<'_>) -> Result

Formats the value using the given formatter.

impl Eq for DamlType

impl PartialEq for DamlType

fn eq(&self, other: &Self) -> bool

Equality operator ==.

fn ne(&self, other: &Rhs) -> bool

Inequality operator !=.

impl StructuralPartialEq for DamlType