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