Struct daml_lf::element::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 copy 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, 

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

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

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

This method tests for self and other values to be equal, and is used by ==.

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

This method tests for !=.

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<'_>