Struct DamlForall 

pub struct DamlForall<'a> {
    pub vars: Vec<DamlTypeVarWithKind<'a>>,
    pub body: Box<DamlType<'a>>,
}

Universal qualifier.

Fields

vars: Vec<DamlTypeVarWithKind<'a>>

body: Box<DamlType<'a>>

Implementations

impl<'a> DamlForall<'a>

pub fn new(vars: Vec<DamlTypeVarWithKind<'a>>, body: Box<DamlType<'a>>) -> Self

pub fn vars(&self) -> &[DamlTypeVarWithKind<'_>]

pub fn body(&self) -> &DamlType<'a>

Trait Implementations

impl<'a> Clone for DamlForall<'a>

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

Returns a duplicate of the value.

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

Performs copy-assignment from source.

impl<'a> DamlVisitableElement<'a> for DamlForall<'a>

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

impl<'a> Debug for DamlForall<'a>

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

Formats the value using the given formatter.

impl<'a> IntoBoundedStatic for DamlForall<'a>

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

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