Data.Semiring

class Semiring a

class StarSemiring a

class HasPositiveInfinity a

class HasNegativeInfinity a

data PositiveInfinite a

data NegativeInfinite a

data Infinite a

data Add a

data Mul a

add

mul

data Max a

data Min a