Enum DamlTyConName 

pub enum DamlTyConName<'a> {
    Local(DamlLocalTyCon<'a>),
    NonLocal(DamlNonLocalTyCon<'a>),
    Absolute(DamlAbsoluteTyCon<'a>),
}

A Daml type constructor.

Variants

Local(DamlLocalTyCon<'a>)

NonLocal(DamlNonLocalTyCon<'a>)

Absolute(DamlAbsoluteTyCon<'a>)

Implementations

impl<'a> DamlTyConName<'a>

pub fn package_id(&self) -> &str

pub fn package_name(&self) -> &str

pub fn module_path(&self) -> impl Iterator<Item = &str>

pub fn data_name(&self) -> &str

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

Trait Implementations

impl<'a> Clone for DamlTyConName<'a>

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

Returns a duplicate of the value.

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

Performs copy-assignment from source.

impl<'a> DamlVisitableElement<'a> for DamlTyConName<'a>

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

impl<'a> Debug for DamlTyConName<'a>

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

Formats the value using the given formatter.

impl Display for DamlTyConName<'_>

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

Formats the value using the given formatter.

impl<'a> Hash for DamlTyConName<'a>

fn hash<__H: Hasher>(&self, state: &mut __H)

Feeds this value into the given Hasher.

fn hash_slice<H>(data: &[Self], state: &mut H)

where H: Hasher, Self: Sized,

Feeds a slice of this type into the given Hasher.

impl<'a> IntoBoundedStatic for DamlTyConName<'a>

type Static = DamlTyConName<'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 PartialEq<DamlData<'_>> for DamlTyConName<'_>

Convenience impl to compare a DamlData with a DamlTyConName.

fn eq(&self, data: &DamlData<'_>) -> bool

Tests for self and other values to be equal, and is used by ==.

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

Tests for !=. The default implementation is almost always sufficient, and should not be overridden without very good reason.

impl PartialEq<DamlTyConName<'_>> for DamlData<'_>

Convenience impl to compare a DamlTyConName with a DamlData.

fn eq(&self, tycon: &DamlTyConName<'_>) -> bool

Tests for self and other values to be equal, and is used by ==.

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

Tests for !=. The default implementation is almost always sufficient, and should not be overridden without very good reason.

impl<'a> PartialEq for DamlTyConName<'a>

fn eq(&self, other: &DamlTyConName<'a>) -> bool

Tests for self and other values to be equal, and is used by ==.

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

Tests for !=. The default implementation is almost always sufficient, and should not be overridden without very good reason.

impl<'a> Serialize for DamlTyConName<'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 DamlTyConName<'a>

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

impl<'a> Eq for DamlTyConName<'a>

impl<'a> StructuralPartialEq for DamlTyConName<'a>