Struct hotdrink_rs::macros::RawConstraint

pub struct RawConstraint<T> { /* fields omitted */ }

An intermediate struct for constructing Constraints.

Implementations

impl<T> RawConstraint<T>

pub fn new<S: Into<String>>(name: S, methods: Vec<RawMethod<T>>) -> Self

Constructs a new RawConstraint.

pub fn new_with_assert<S: Into<String>>(
    name: S,
    methods: Vec<RawMethod<T>>,
    assert: Option<Arc<dyn Fn(&[T]) -> bool>>
) -> Self

Constructs a new RawConstraint with an optional assert statement.

pub fn into_constraint(
    self,
    var_to_idx: &HashMap<String, usize>
) -> Constraint<T> where
    T: Clone, 

Converts this RawConstraint into a Constraint.

Trait Implementations

impl<T> Debug for RawConstraint<T>

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

Formats the value using the given formatter.

impl<T> PartialEq<RawConstraint<T>> for RawConstraint<T>

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

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

#[must_use]pub fn ne(&self, other: &Rhs) -> bool

This method tests for !=.