Struct arithmetic_typing::arith::OpConstraintSettings

pub struct OpConstraintSettings<'a, Prim: PrimitiveType> {
    pub lin: &'a dyn Constraint<Prim>,
    pub ops: &'a dyn Constraint<Prim>,
}

Settings for constraints placed on arguments of binary arithmetic operations.

Fields

lin: &'a dyn Constraint<Prim>

Constraint applied to the argument of T op Num / Num op T ops.

ops: &'a dyn Constraint<Prim>

Constraint applied to the arguments of in-kind binary arithmetic ops (T op T).

Trait Implementations

impl<'a, Prim: Clone + PrimitiveType> Clone for OpConstraintSettings<'a, Prim>

fn clone(&self) -> OpConstraintSettings<'a, Prim>

Returns a copy of the value.

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

Performs copy-assignment from source.

impl<'a, Prim: Debug + PrimitiveType> Debug for OpConstraintSettings<'a, Prim>

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

Formats the value using the given formatter.

impl<Prim: PrimitiveType> Copy for OpConstraintSettings<'_, Prim>