Enum lambda_calculus::term::Notation
[−]
[src]
pub enum Notation { Classic, DeBruijn, }
The notation used for parsing and displaying purposes.
Example
use lambda_calculus::combinators::s; assert_eq!(&format!( "{}", s()), "λa.λb.λc.a c (b c)"); // Classic notation assert_eq!(&format!("{:?}", s()), "λλλ31(21)"); // DeBruijn index notation
Variants
Classic
classic lambda calculus notation; the default fmt::Display
mode
DeBruijn
De Bruijn indices; the fmt::Debug
display mode
Trait Implementations
impl Debug for Notation
[src]
impl PartialEq for Notation
[src]
fn eq(&self, __arg_0: &Notation) -> bool
[src]
This method tests for self
and other
values to be equal, and is used by ==
. Read more
fn ne(&self, other: &Rhs) -> bool
1.0.0[src]
This method tests for !=
.
impl Clone for Notation
[src]
fn clone(&self) -> Notation
[src]
Returns a copy of the value. Read more
fn clone_from(&mut self, source: &Self)
1.0.0[src]
Performs copy-assignment from source
. Read more