Struct arithmetic_typing::arith::ConstraintSet

pub struct ConstraintSet<Prim: PrimitiveType> { /* private fields */ }

Set of Constraints.

Displayed as Foo + Bar + Quux, where Foo, Bar and Quux are constraints in the set.

Implementations

impl<Prim: PrimitiveType> ConstraintSet<Prim>

pub fn new() -> Self

Creates an empty set.

pub fn just(constraint: impl Constraint<Prim>) -> Self

Creates a set with one constraint.

pub fn is_empty(&self) -> bool

Checks if this constraint set is empty.

pub fn insert(&mut self, constraint: impl Constraint<Prim>)

Inserts a constraint into this set.

pub fn insert_object_safe( &mut self, constraint: impl ObjectSafeConstraint<Prim>, )

Inserts an object-safe constraint into this set.

Trait Implementations

impl<Prim: Clone + PrimitiveType> Clone for ConstraintSet<Prim>

fn clone(&self) -> ConstraintSet<Prim>

Returns a copy of the value.

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

Performs copy-assignment from source.

impl<Prim: Debug + PrimitiveType> Debug for ConstraintSet<Prim>

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

Formats the value using the given formatter.

impl<Prim: PrimitiveType> Default for ConstraintSet<Prim>

fn default() -> Self

Returns the “default value” for a type.

impl<Prim: PrimitiveType> Display for ConstraintSet<Prim>

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

Formats the value using the given formatter.

impl<Prim: PrimitiveType> PartialEq for ConstraintSet<Prim>

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