Struct ConstantPattern 

pub struct ConstantPattern<'ast> {
    pub data: ConstantPatternData<'ast>,
    pub pos: TermPos,
}

A constant pattern, matching a constant value.

Fields

data: ConstantPatternData<'ast>

pos: TermPos

Trait Implementations

impl<'ast> Clone for ConstantPattern<'ast>

fn clone(&self) -> ConstantPattern<'ast>

Returns a duplicate of the value.

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

Performs copy-assignment from source.

impl CloneTo for ConstantPattern<'_>

type Data<'ast> = ConstantPattern<'ast>

This is always Self, be we need associated types to make Rust understand that Self is always parametric over the 'ast lifetime. We’re using GATs to emulate higher-kinded types.

fn clone_to<'to>(pat: Self::Data<'_>, dest: &'to AstAlloc) -> Self::Data<'to>

Clones owned data from the current allocator to dest.

impl<'ast> Debug for ConstantPattern<'ast>

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

Formats the value using the given formatter.

impl Display for ConstantPattern<'_>

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

Formats the value using the given formatter.

impl<'ast> PartialEq for ConstantPattern<'ast>

fn eq(&self, other: &ConstantPattern<'ast>) -> 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> Pretty<'a, Allocator> for &ConstantPattern<'_>

fn pretty(self, allocator: &'a Allocator) -> DocBuilder<'a, Allocator>

Converts self into a document

impl Allocable for ConstantPattern<'_>

impl<'ast> Eq for ConstantPattern<'ast>

impl<'ast> StructuralPartialEq for ConstantPattern<'ast>