Trait free_algebra::module::UnitalAlgebraRule

pub trait UnitalAlgebraRule<R, T>: AlgebraRule<R, T> {
    fn one() -> T;
    fn is_one(t: &T) -> bool;
}

An AlgebraRule where a term can be one

Required methods

fn one() -> T

Creates a T with a value of one

fn is_one(t: &T) -> bool

Determines if a T is equal to one

Loading content...

Implementors

impl<R, T: Add<Output = T> + Zero> UnitalAlgebraRule<R, T> for AddRule

fn one() -> T

fn is_one(t: &T) -> bool

impl<R, T: Mul<Output = T> + One + PartialEq> UnitalAlgebraRule<R, T> for MulRule

fn one() -> T

fn is_one(t: &T) -> bool

Loading content...