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