Struct arithmetic_typing::arith::Ops

pub struct Ops;

Constraint for numeric types that can participate in binary arithmetic ops (T op T).

Defined as a subset of Lin types without dynamically sized slices and any types containing dynamically sized slices.

Trait Implementations

impl Clone for Ops

fn clone(&self) -> Ops

Returns a copy of the value.

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

Performs copy-assignment from source.

impl<Prim: LinearType> Constraint<Prim> for Ops

fn visitor<'r>( &self, substitutions: &'r mut Substitutions<Prim>, errors: OpErrors<'r, Prim>, ) -> Box<dyn Visit<Prim> + 'r>

Returns a Visitor that will be applied to constrained Types. The visitor may use substitutions to resolve types and errors to record constraint errors.

fn clone_boxed(&self) -> Box<dyn Constraint<Prim>>

Clones this constraint into a Box.

impl Debug for Ops

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

Formats the value using the given formatter.

impl Display for Ops

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

Formats the value using the given formatter.

impl PartialEq for Ops

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

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

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

This method tests for !=. The default implementation is almost always sufficient, and should not be overridden without very good reason.

impl Copy for Ops

impl Eq for Ops

impl StructuralPartialEq for Ops