Struct arithmetic_typing::arith::Linearity

pub struct Linearity;

Constraint for numeric types that can be subject to unary - and can participate in T op Num / Num op T operations.

Defined recursively as linear primitive types and tuples / objects consisting of linear types.

Trait Implementations

impl Clone for Linearity

fn clone(&self) -> Linearity

Returns a copy of the value.

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

Performs copy-assignment from source.

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

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 Linearity

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

Formats the value using the given formatter.

impl Display for Linearity

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

Formats the value using the given formatter.

impl PartialEq for Linearity

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

impl Eq for Linearity

impl<Prim: LinearType> ObjectSafeConstraint<Prim> for Linearity

impl StructuralPartialEq for Linearity