Trait fructose::algebra::ring::Semiring

pub trait Semiring<A: Operator = Additive, M: Operator = Multiplicative>: CommutativeMonoid<A> + Monoid<M> { }

Addition: Ring - Inverse Multiplication: Ring

Implementors

impl<T> Semiring<Additive, Multiplicative> for T where
    T: CommutativeMonoid<Additive> + Monoid<Multiplicative>, 

Loading content...