Enum PropertyType

pub enum PropertyType<'a, T> {
    Commutative,
    Abelian,
    Associative,
    Cancellative,
    WithIdentity(T),
    Invertible(T, &'a dyn Fn(T, T) -> T),
}

Variants

Commutative

Abelian

Associative

Cancellative

WithIdentity(T)

Invertible(T, &'a dyn Fn(T, T) -> T)

Implementations

impl<'a, T: Copy + PartialEq> PropertyType<'a, T>

pub fn holds_over(&self, op: &dyn Fn(T, T) -> T, domain_sample: &Vec<T>) -> bool

Trait Implementations

impl<'a, T> PartialEq for PropertyType<'a, T>

fn eq(&self, other: &PropertyType<'a, T>) -> bool

Tests for self and other values to be equal, and is used by ==.

const fn ne(&self, other: &Rhs) -> bool

Tests for !=. The default implementation is almost always sufficient, and should not be overridden without very good reason.