Enum lambda_calculus::term::Notation
[−]
[src]
pub enum Notation { Classic, DeBruijn, }
The notation used for parsing and displaying purposes.
Examples
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; used by fmt::Display
DeBruijn
De Bruijn indices; used by fmt::Debug
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