Enum Binary

pub enum Binary {
    And,
    Or,
    Xor,
    Nand,
    Nor,
    Eq,
    Implies,
    ImpliedBy,
}

Binary logical operations

Variants

And

Logical AND

Or

Logical OR

Xor

Logical XOR

Nand

Logical NAND

Nor

Logical NOR

Eq

Boolean equality

Implies

Implication

ImpliedBy

Reverse implication

Implementations

impl Binary

pub fn get_string(&self) -> &'static str

Get the string representing each logical operation

pub fn apply(&self, left: bool, right: bool) -> bool

Fully apply this logical operation

pub fn partial_apply(&self, arg: bool) -> Unary

Partially apply this logical operation

Trait Implementations

impl Clone for Binary

fn clone(&self) -> Binary

Returns a duplicate of the value.

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

Performs copy-assignment from source.

impl Debug for Binary

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

Formats the value using the given formatter.

impl Display for Binary

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

Formats the value using the given formatter.

impl From<Binary> for LogicalOp

fn from(b: Binary) -> LogicalOp

Converts to this type from the input type.

impl From<Binary> for ValId

fn from(p: Binary) -> ValId

Converts to this type from the input type.

impl From<Binary> for ValueData

fn from(p: Binary) -> ValueData

Converts to this type from the input type.

impl From<Binary> for ValueEnum

fn from(p: Binary) -> ValueEnum

Converts to this type from the input type.

impl Hash for Binary

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 JEq<Binary> for LogicalOp

fn jeq(&self, other: &Binary) -> bool

Check whether two objects are judgementally equal

impl JEq<Binary> for ValId

fn jeq(&self, v: &Binary) -> bool

Check whether two objects are judgementally equal

impl JEq<Binary> for Sexpr

fn jeq(&self, v: &Binary) -> bool

Check whether two objects are judgementally equal

impl JEq<Binary> for ValueEnum

fn jeq(&self, v: &Binary) -> bool

Check whether two objects are judgementally equal

impl JEq<Node<ValueData>> for Binary

fn jeq(&self, v: &ValId) -> bool

Check whether two objects are judgementally equal

impl JEq<Sexpr> for Binary

fn jeq(&self, s: &Sexpr) -> bool

Check whether two objects are judgementally equal

impl JEq<ValueEnum> for Binary

fn jeq(&self, other: &ValueEnum) -> bool

Check whether two objects are judgementally equal

impl JEq for Binary

fn jeq(&self, other: &Binary) -> bool

Check whether two objects are judgementally equal

impl PartialEq<Binary> for LogicalOp

fn eq(&self, b: &Binary) -> 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 PartialEq for Binary

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

fn to_value<E>(self) -> Result<ValueEnum, E>

where <Self as TryInto<ValueEnum>>::Error: Into<E>,

Try to make this type into a value

impl ValueDesc for Binary

type Err = Infallible

The error type for trying to convert this type into a ValId

fn to_node<E>(self) -> Result<ValId, E>

where <Self as TryInto<ValId>>::Error: Into<E>,

Try to make this type into a node

impl Copy for Binary

impl Eq for Binary

impl StructuralPartialEq for Binary