Enum Boolean 

pub enum Boolean {
    Op(Op, Box<Boolean>, Box<Boolean>),
    Cmp(Cmp, Box<Expr>, Box<Expr>),
    Lit(bool),
}

Variants

Op(Op, Box<Boolean>, Box<Boolean>)

Cmp(Cmp, Box<Expr>, Box<Expr>)

Lit(bool)

Implementations

impl Boolean

pub fn print_to_string(&self) -> String

pub fn parse(input: &str) -> Result<Self>

pub fn simplify(&self) -> Self

pub fn rename(&self, f: &impl Fn(&String) -> String) -> Self

pub fn map(&self, f: &impl Fn(&Expr) -> Expr) -> Boolean

pub fn fold<T>(&self, acc: &mut T, f: &impl Fn(&Expr, &mut T))

Trait Implementations

impl Clone for Boolean

fn clone(&self) -> Boolean

Returns a duplicate of the value.

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

Performs copy-assignment from source.

impl Debug for Boolean

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

Formats the value using the given formatter.

impl PartialEq for Boolean

fn eq(&self, other: &Boolean) -> bool

Equality operator ==.

fn ne(&self, other: &Rhs) -> bool

Inequality operator !=.

impl PartialOrd for Boolean

fn partial_cmp(&self, other: &Boolean) -> Option<Ordering>

This method returns an ordering between self and other values if one exists.

fn lt(&self, other: &Rhs) -> bool

Tests less than (for self and other) and is used by the < operator.

fn le(&self, other: &Rhs) -> bool

Tests less than or equal to (for self and other) and is used by the <= operator.

fn gt(&self, other: &Rhs) -> bool

Tests greater than (for self and other) and is used by the > operator.

fn ge(&self, other: &Rhs) -> bool

Tests greater than or equal to (for self and other) and is used by the >= operator.

impl StructuralPartialEq for Boolean