[Seminearring Seq ekmett@gmail.com**20090327052349] { hunk ./Data/Monoid/Multiplicative.hs 37 + +instance Monoid m => Seminearring (Seq m) hunk ./dist/doc/html/monoids/Data-Monoid-Multiplicative.html 337 +>Monoid m => Seminearring (Seq m)instance MultiplicativeMonoid m => MultiplicativeMonoid (Self m) where - one = Self one - Self a `times` Self b = Self (a `times` b) - -instance MultiplicativeMonoid m => MultiplicativeMonoid (FromString m) where - one = FromString one - FromString a `times` FromString b = FromString (a `times` b) - --- class Absorbing m where isZero :: m -> Bool +instance Monoid m => Seminearring (Seq m) + +instance MultiplicativeMonoid m => MultiplicativeMonoid (Self m) where + one = Self one + Self a `times` Self b = Self (a `times` b) + +instance MultiplicativeMonoid m => MultiplicativeMonoid (FromString m) where + one = FromString one + FromString a `times` FromString b = FromString (a `times` b) + +-- class Absorbing m where isZero :: m -> Bool }