algebra-2.0: Constructive abstract algebra
Numeric.Dioid.Class
class (Semiring r, Idempotent r) => Dioid r Source
Instances