Struct bend::fun::Rule

pub struct Rule {
    pub pats: Vec<Pattern>,
    pub body: Term,
}

A pattern matching rule of a definition.

Fields

pats: Vec<Pattern>

body: Term

Implementations

impl Rule

pub fn display<'a>(&'a self, def_name: &'a Name) -> impl Display + 'a

impl Rule

pub fn display_pretty<'a>(&'a self, def_name: &'a Name) -> impl Display + 'a

impl Rule

pub fn arity(&self) -> usize

Trait Implementations

impl Clone for Rule

fn clone(&self) -> Rule

Returns a copy of the value.

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

Performs copy-assignment from source.

impl Debug for Rule

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

Formats the value using the given formatter.

impl Default for Rule

fn default() -> Rule

Returns the “default value” for a type.

impl PartialEq for Rule

fn eq(&self, other: &Rule) -> 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 !=. The default implementation is almost always sufficient, and should not be overridden without very good reason.

impl StructuralPartialEq for Rule