algebra-4.3.1: Constructive abstract algebra

Safe HaskellSafe
LanguageHaskell98

Numeric.Dioid.Class

Documentation

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

Instances
(Semiring r, Idempotent r) => Dioid r # 
Instance details

Defined in Numeric.Dioid.Class