Enum rain_lang::value::primitive::logical::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

Methods

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 copy of the value.

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

Performs copy-assignment from source.

impl Copy for Binary

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 Eq for Binary

impl From<Binary> for LogicalOp

fn from(b: Binary) -> LogicalOp

Performs the conversion.

impl From<Binary> for ValueEnum

fn from(p: Binary) -> ValueEnum

Performs the conversion.

impl From<Binary> for ValueData

fn from(p: Binary) -> ValueData

Performs the conversion.

impl From<Binary> for ValId

fn from(p: Binary) -> ValId

Performs the conversion.

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, 

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 Binary

fn jeq(&self, other: &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<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<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 PartialEq<Binary> for LogicalOp

fn eq(&self, b: &Binary) -> bool

This method tests for self and other values to be equal, and is used by ==.

#[must_use]fn ne(&self, other: &Rhs) -> bool

This method tests for !=.

impl PartialEq<Binary> for Binary

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

This method tests for self and other values to be equal, and is used by ==.

#[must_use]fn ne(&self, other: &Rhs) -> bool

This method tests for !=.

impl StructuralEq for Binary

impl StructuralPartialEq for Binary

impl Value for Binary

fn to_value<E>(self) -> Result<ValueEnum, E> where
    Self::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::Error: Into<E>, 

Try to make this type into a node