Struct 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

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

impl Rule

pub fn binds(&self) -> impl DoubleEndedIterator<Item = &Option<Name>> + Clone

impl Rule

pub fn arity(&self) -> usize

Trait Implementations

impl Clone for Rule

fn clone(&self) -> Rule

Returns a duplicate 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 Hash for Rule

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 PartialEq for Rule

fn eq(&self, other: &Rule) -> 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 Eq for Rule

impl StructuralPartialEq for Rule