Trait fructose::algebra::ring::CommutativeSemiring

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

Implementors

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

Loading content...