Struct arithmetic_typing::arith::BoolArithmetic

pub struct BoolArithmetic;

Simplest TypeArithmetic implementation that defines unary / binary ops only on the Boolean type. Useful as a building block for more complex arithmetics.

Trait Implementations

impl Clone for BoolArithmetic

fn clone(&self) -> BoolArithmetic

Returns a copy of the value.

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

Performs copy-assignment from source.

impl Debug for BoolArithmetic

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

Formats the value using the given formatter.

impl Default for BoolArithmetic

fn default() -> BoolArithmetic

Returns the “default value” for a type.

impl<Prim: WithBoolean> TypeArithmetic<Prim> for BoolArithmetic

fn process_unary_op( &self, substitutions: &mut Substitutions<Prim>, context: &UnaryOpContext<Prim>, errors: OpErrors<'_, Prim>, ) -> Type<Prim>

Processes a unary operation.

• ! requires a Boolean input and outputs a Boolean.
• Other operations fail with ErrorKind::UnsupportedFeature.

fn process_binary_op( &self, substitutions: &mut Substitutions<Prim>, context: &BinaryOpContext<Prim>, errors: OpErrors<'_, Prim>, ) -> Type<Prim>

Processes a binary operation.

• == and != require LHS and RHS to have the same type (no matter which one). These ops return Bool.
• && and || require LHS and RHS to have Bool type. These ops return Bool.
• Other operations fail with ErrorKind::UnsupportedFeature.

impl Copy for BoolArithmetic