Enum daml_lf::element::DamlType

pub enum DamlType<'a> {
    ContractId(Option<Box<DamlType<'a>>>),
    Int64,
    Numeric(Vec<DamlType<'a>>),
    Text,
    Timestamp,
    Party,
    Bool,
    Unit,
    Date,
    List(Vec<DamlType<'a>>),
    TextMap(Vec<DamlType<'a>>),
    GenMap(Vec<DamlType<'a>>),
    Optional(Vec<DamlType<'a>>),
    TyCon(DamlTyCon<'a>),
    BoxedTyCon(DamlTyCon<'a>),
    Var(DamlVar<'a>),
    Nat(u8),
    Arrow,
    Any,
    TypeRep,
    Bignumeric,
    RoundingMode,
    AnyException,
    Update,
    Scenario,
    Forall(DamlForall<'a>),
    Struct(DamlStruct<'a>),
    Syn(DamlSyn<'a>),
}

A Daml type.

Variants

ContractId(Option<Box<DamlType<'a>>>)

Opaque contract identifier.

Int64

Signed 64 bit integer.

Numeric(Vec<DamlType<'a>>)

Fixed precision numeric.

Text

Unicode text data.

Timestamp

A date & time.

Party

A Daml Party.

Bool

A Boolean type.

Unit

A Unit type.

Date

A date.

List(Vec<DamlType<'a>>)

A list.

TextMap(Vec<DamlType<'a>>)

A map wih DamlType::Text keys.

GenMap(Vec<DamlType<'a>>)

A map.

Optional(Vec<DamlType<'a>>)

An optional value.

TyCon(DamlTyCon<'a>)

A type constructor.

BoxedTyCon(DamlTyCon<'a>)

A type constructor (heap allocated).

Var(DamlVar<'a>)

A type variable.

Nat(u8)

A natural number.

Arrow

A function.

Any

Any type.

TypeRep

A type rep.

Bignumeric

A big numeric.

RoundingMode

A rounding mode.

AnyException

An exception.

Update

An update effect.

Scenario

A scenario effect.

Forall(DamlForall<'a>)

Universal qualifiier.

Struct(DamlStruct<'a>)

A struct type.

Syn(DamlSyn<'a>)

A type synonym.

Implementations

impl<'a> DamlType<'a>

pub fn name(&self) -> &str

pub fn contains_type_var(&self, type_var: &str) -> bool

Returns true if this DamlType contain a reference to type_var, false otherwise.

pub fn make_tycon<'b, S: AsRef<str> + 'b>(
    package_id: &'b str,
    module: &'b [S],
    entity: &'b str
) -> DamlType<'b>

Convenience method to create a DamlType::TyCon for a given package id, module path and entity.

pub fn make_tycon_with_args<'b, S: AsRef<str> + 'b>(
    package_id: &'b str,
    module: &'b [S],
    entity: &'b str,
    type_arguments: Vec<DamlType<'b>>
) -> DamlType<'b>

Convenience method to create a DamlType::TyCon for a given package id, module path, entity & type args.

Trait Implementations

impl<'a> Clone for DamlType<'a>

fn clone(&self) -> DamlType<'a>

Returns a copy of the value.

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

Performs copy-assignment from source.

impl<'a> DamlVisitableElement<'a> for DamlType<'a>

fn accept(&'a self, visitor: &'a mut impl DamlElementVisitor)

impl<'a> Debug for DamlType<'a>

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

Formats the value using the given formatter.

impl<'a> IntoBoundedStatic for DamlType<'a>

type Static = DamlType<'static>

The target type is bounded by the 'static lifetime.

fn into_static(self) -> Self::Static

Convert an owned T into an owned T such that T: 'static.

impl<'a> Serialize for DamlType<'a>

fn serialize<__S>(&self, __serializer: __S) -> Result<__S::Ok, __S::Error> where
    __S: Serializer, 

Serialize this value into the given Serde serializer.

impl<'a> ToBoundedStatic for DamlType<'a>

type Static = DamlType<'static>

The target type is bounded by the 'static lifetime.

fn to_static(&self) -> Self::Static

Convert an &T to an owned T such that T: 'static.