algebra-2.1.1.2: Constructive abstract algebra

Safe HaskellSafe-Infered

Numeric.Dioid.Class

Documentation

class (Semiring r, Idempotent r) => Dioid r Source

Instances

(Semiring r, Idempotent r) => Dioid r