Struct daml_lf::element::DamlSyn

pub struct DamlSyn<'a> {
    pub tysyn: Box<DamlTypeSynName<'a>>,
    pub args: Vec<DamlType<'a>>,
}

Fields

tysyn: Box<DamlTypeSynName<'a>>

args: Vec<DamlType<'a>>

Implementations

impl<'a> DamlSyn<'a>

pub fn new(tysyn: Box<DamlTypeSynName<'a>>, args: Vec<DamlType<'a>>) -> Self

pub fn tysyn(&self) -> &DamlTypeSynName<'a>

pub fn args(&self) -> &[DamlType<'_>]

Trait Implementations

impl<'a> Clone for DamlSyn<'a>

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

Returns a copy of the value.

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

Performs copy-assignment from source.

impl<'a> DamlVisitableElement<'a> for DamlSyn<'a>

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

impl<'a> Debug for DamlSyn<'a>

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

Formats the value using the given formatter.

impl<'a> IntoBoundedStatic for DamlSyn<'a>

type Static = DamlSyn<'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 DamlSyn<'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 DamlSyn<'a>

type Static = DamlSyn<'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.