Struct DamlTyCon 

pub struct DamlTyCon<'a> { /* private fields */ }

A Daml type constructor.

Implementations

impl<'a> DamlTyCon<'a>

pub fn new( tycon: Box<DamlTyConName<'a>>, type_arguments: Vec<DamlType<'a>>, ) -> Self

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

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

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

pub fn tycon(&self) -> &DamlTyConName<'_>

Trait Implementations

impl<'a> Clone for DamlTyCon<'a>

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

Returns a duplicate of the value.

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

Performs copy-assignment from source.

impl<'a> DamlVisitableElement<'a> for DamlTyCon<'a>

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

impl<'a> Debug for DamlTyCon<'a>

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

Formats the value using the given formatter.

impl Hash for DamlTyCon<'_>

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 DamlTyCon<'a>

type Static = DamlTyCon<'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 for DamlTyCon<'_>

Equality for DamlTyCon is defined on the DamlTyConName only, type_arguments are not considered.

fn eq(&self, other: &Self) -> 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 DamlTyCon<'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 DamlTyCon<'a>

type Static = DamlTyCon<'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 Eq for DamlTyCon<'_>