Trait scirust::algebra::structure::monoid::MonoidAddPartial [] [src]

pub trait MonoidAddPartial: SemiGroupAddPartial + Zero { }

Monoid with an addition operation with partial equivalence

Implementors