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<Ops> 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 StructuralEq for Ops

impl StructuralPartialEq for Ops