[split Self, added FromString ekmett@gmail.com**20090327003859] { hunk ./Data/Group.hs 9 +import Data.Monoid.Self hunk ./Data/Group.hs 32 +instance Group a => Group (Self a) where + gnegate = Self . gnegate . getSelf + Self a `minus` Self b = Self (a `minus` b) + hunk ./Data/Monoid/Multiplicative.hs 9 -import Data.Monoid.Generator hunk ./Data/Monoid/Multiplicative.hs 10 +import Data.Monoid.Generator hunk ./Data/Monoid/Multiplicative.hs 31 +instance MultiplicativeMonoid m => MultiplicativeMonoid (Self m) where + one = Self one + Self a `times` Self b = Self (a `times` b) + hunk ./Data/Monoid/Self.hs 8 +import Data.Foldable hunk ./Data/Monoid/Self.hs 10 +import Data.Monoid.Generator +import GHC.Exts hunk ./Data/Monoid/Self.hs 27 + hunk ./dist/doc/html/monoids/Data-Group.html 204 +>Group a => Group (Self a) + +Data.Monoid.FromString
monoids-0.1.1: Lots of MonoidsSource codeContentsIndex
Data.Monoid.FromString
Documentation
data FromString m Source
Constructors
FromString
getFromString :: m
show/hide Instances
Produced by Haddock version 2.3.0
hunk ./dist/doc/html/monoids/Data-Monoid-Multiplicative.html 182 +>MultiplicativeMonoid m => MultiplicativeMonoid (Self m)Reducer Char m => Reducer Char (FromString m)Reducer Char m => Reducer Char (FromString m)MultiplicativeMonoid m => MultiplicativeMonoid (Self m)Group a => Group (Self a), Data.Group.Sugar, Data.Monoid.Multiplicative.Sugar, Data.Monoid.Multiplicative.Sugar, Data.Group.SugarData.Monoid.Additive, Data.Monoid.Additive.Sugar, Data.Group, Data.Group.Sugar, Data.Monoid.Reducer, Data.Monoid.Reducer.Char, Data.Monoid.Lexical.SourcePosition, Data.Monoid.Lexical.UTF8.Decoder, Data.Monoid.Reducer.With, Data.Monoid.Generator, Data.Monoid.Reducer.Sugar, Data.Monoid.Lexical.Words, Data.Monoid.Monad, Data.Monoid.Applicative, Data.Monoid.Self, Data.Monoid.Generator.Combinators, Data.Monoid.Multiplicative, Data.Monoid.Multiplicative.Transformers, Data.Monoid.Multiplicative.Sugar, Data.Monoid.UnitData.Monoid.Additive, Data.Monoid.Additive.Sugar, Data.Monoid.Reducer, Data.Monoid.Reducer.Char, Data.Monoid.Lexical.SourcePosition, Data.Monoid.Lexical.UTF8.Decoder, Data.Monoid.Reducer.With, Data.Monoid.Generator, Data.Monoid.Reducer.Sugar, Data.Monoid.Lexical.Words, Data.Monoid.Monad, Data.Monoid.Applicative, Data.Monoid.Self, Data.Monoid.Generator.Combinators, Data.Monoid.Multiplicative, Data.Monoid.Multiplicative.Transformers, Data.Monoid.Multiplicative.Sugar, Data.Group, Data.Group.Sugar, Data.Monoid.UnitData.Monoid.Additive, Data.Monoid.Additive.Sugar, Data.Group, Data.Group.Sugar, Data.Monoid.Reducer, Data.Monoid.Reducer.Char, Data.Monoid.Lexical.SourcePosition, Data.Monoid.Lexical.UTF8.Decoder, Data.Monoid.Reducer.With, Data.Monoid.Generator, Data.Monoid.Reducer.Sugar, Data.Monoid.Lexical.Words, Data.Monoid.Monad, Data.Monoid.Applicative, Data.Monoid.Self, Data.Monoid.Generator.Combinators, Data.Monoid.Multiplicative, Data.Monoid.Multiplicative.Transformers, Data.Monoid.Multiplicative.Sugar, Data.Monoid.UnitData.Monoid.Additive, Data.Monoid.Additive.Sugar, Data.Monoid.Reducer, Data.Monoid.Reducer.Char, Data.Monoid.Lexical.SourcePosition, Data.Monoid.Lexical.UTF8.Decoder, Data.Monoid.Reducer.With, Data.Monoid.Generator, Data.Monoid.Reducer.Sugar, Data.Monoid.Lexical.Words, Data.Monoid.Monad, Data.Monoid.Applicative, Data.Monoid.Self, Data.Monoid.Generator.Combinators, Data.Monoid.Multiplicative, Data.Monoid.Multiplicative.Transformers, Data.Monoid.Multiplicative.Sugar, Data.Group, Data.Group.Sugar, Data.Monoid.UnitData.Monoid.Additive, Data.Monoid.Additive.Sugar, Data.Group, Data.Group.Sugar, Data.Monoid.Reducer, Data.Monoid.Reducer.Char, Data.Monoid.Lexical.SourcePosition, Data.Monoid.Lexical.UTF8.Decoder, Data.Monoid.Reducer.With, Data.Monoid.Generator, Data.Monoid.Reducer.Sugar, Data.Monoid.Lexical.Words, Data.Monoid.Monad, Data.Monoid.Applicative, Data.Monoid.Self, Data.Monoid.Generator.Combinators, Data.Monoid.Multiplicative, Data.Monoid.Multiplicative.Transformers, Data.Monoid.Multiplicative.Sugar, Data.Monoid.UnitData.Monoid.Additive, Data.Monoid.Additive.Sugar, Data.Monoid.Reducer, Data.Monoid.Reducer.Char, Data.Monoid.Lexical.SourcePosition, Data.Monoid.Lexical.UTF8.Decoder, Data.Monoid.Reducer.With, Data.Monoid.Generator, Data.Monoid.Reducer.Sugar, Data.Monoid.Lexical.Words, Data.Monoid.Monad, Data.Monoid.Applicative, Data.Monoid.Self, Data.Monoid.Generator.Combinators, Data.Monoid.Multiplicative, Data.Monoid.Multiplicative.Transformers, Data.Monoid.Multiplicative.Sugar, Data.Group, Data.Group.Sugar, Data.Monoid.UnitData.Monoid.Additive, Data.Monoid.Additive.Sugar, Data.Group, Data.Group.Sugar, Data.Monoid.Reducer, Data.Monoid.Reducer.Char, Data.Monoid.Lexical.SourcePosition, Data.Monoid.Lexical.UTF8.Decoder, Data.Monoid.Reducer.With, Data.Monoid.Generator, Data.Monoid.Reducer.Sugar, Data.Monoid.Lexical.Words, Data.Monoid.Monad, Data.Monoid.Applicative, Data.Monoid.Self, Data.Monoid.Generator.Combinators, Data.Monoid.Multiplicative, Data.Monoid.Multiplicative.Transformers, Data.Monoid.Multiplicative.Sugar, Data.Monoid.UnitData.Monoid.Additive, Data.Monoid.Additive.Sugar, Data.Monoid.Reducer, Data.Monoid.Reducer.Char, Data.Monoid.Lexical.SourcePosition, Data.Monoid.Lexical.UTF8.Decoder, Data.Monoid.Reducer.With, Data.Monoid.Generator, Data.Monoid.Reducer.Sugar, Data.Monoid.Lexical.Words, Data.Monoid.Monad, Data.Monoid.Applicative, Data.Monoid.Self, Data.Monoid.Generator.Combinators, Data.Monoid.Multiplicative, Data.Monoid.Multiplicative.Transformers, Data.Monoid.Multiplicative.Sugar, Data.Group, Data.Group.Sugar, Data.Monoid.UnitData.Monoid.Additive, Data.Monoid.Additive.Sugar, Data.Group, Data.Group.Sugar, Data.Monoid.Reducer, Data.Monoid.Reducer.Char, Data.Monoid.Lexical.SourcePosition, Data.Monoid.Lexical.UTF8.Decoder, Data.Monoid.Reducer.With, Data.Monoid.Generator, Data.Monoid.Reducer.Sugar, Data.Monoid.Lexical.Words, Data.Monoid.Monad, Data.Monoid.Applicative, Data.Monoid.Self, Data.Monoid.Generator.Combinators, Data.Monoid.Multiplicative, Data.Monoid.Multiplicative.Transformers, Data.Monoid.Multiplicative.Sugar, Data.Monoid.UnitData.Monoid.Additive, Data.Monoid.Additive.Sugar, Data.Monoid.Reducer, Data.Monoid.Reducer.Char, Data.Monoid.Lexical.SourcePosition, Data.Monoid.Lexical.UTF8.Decoder, Data.Monoid.Reducer.With, Data.Monoid.Generator, Data.Monoid.Reducer.Sugar, Data.Monoid.Lexical.Words, Data.Monoid.Monad, Data.Monoid.Applicative, Data.Monoid.Self, Data.Monoid.Generator.Combinators, Data.Monoid.Multiplicative, Data.Monoid.Multiplicative.Transformers, Data.Monoid.Multiplicative.Sugar, Data.Group, Data.Group.Sugar, Data.Monoid.UnitData.Monoid.Additive, Data.Monoid.Additive.Sugar, Data.Group, Data.Group.Sugar, Data.Monoid.Reducer, Data.Monoid.Reducer.Char, Data.Monoid.Lexical.SourcePosition, Data.Monoid.Lexical.UTF8.Decoder, Data.Monoid.Reducer.With, Data.Monoid.Generator, Data.Monoid.Reducer.Sugar, Data.Monoid.Lexical.Words, Data.Monoid.Monad, Data.Monoid.Applicative, Data.Monoid.Self, Data.Monoid.Generator.Combinators, Data.Monoid.Multiplicative, Data.Monoid.Multiplicative.Transformers, Data.Monoid.Multiplicative.Sugar, Data.Monoid.UnitData.Monoid.Additive, Data.Monoid.Additive.Sugar, Data.Monoid.Reducer, Data.Monoid.Reducer.Char, Data.Monoid.Lexical.SourcePosition, Data.Monoid.Lexical.UTF8.Decoder, Data.Monoid.Reducer.With, Data.Monoid.Generator, Data.Monoid.Reducer.Sugar, Data.Monoid.Lexical.Words, Data.Monoid.Monad, Data.Monoid.Applicative, Data.Monoid.Self, Data.Monoid.Generator.Combinators, Data.Monoid.Multiplicative, Data.Monoid.Multiplicative.Transformers, Data.Monoid.Multiplicative.Sugar, Data.Group, Data.Group.Sugar, Data.Monoid.UnitData.Monoid.Additive, Data.Monoid.Additive.Sugar, Data.Group, Data.Group.Sugar, Data.Monoid.Reducer, Data.Monoid.Reducer.Char, Data.Monoid.Lexical.SourcePosition, Data.Monoid.Lexical.UTF8.Decoder, Data.Monoid.Reducer.With, Data.Monoid.Generator, Data.Monoid.Reducer.Sugar, Data.Monoid.Lexical.Words, Data.Monoid.Monad, Data.Monoid.Applicative, Data.Monoid.Self, Data.Monoid.Generator.Combinators, Data.Monoid.Multiplicative, Data.Monoid.Multiplicative.Transformers, Data.Monoid.Multiplicative.Sugar, Data.Monoid.UnitData.Monoid.Additive, Data.Monoid.Additive.Sugar, Data.Monoid.Reducer, Data.Monoid.Reducer.Char, Data.Monoid.Lexical.SourcePosition, Data.Monoid.Lexical.UTF8.Decoder, Data.Monoid.Reducer.With, Data.Monoid.Generator, Data.Monoid.Reducer.Sugar, Data.Monoid.Lexical.Words, Data.Monoid.Monad, Data.Monoid.Applicative, Data.Monoid.Self, Data.Monoid.Generator.Combinators, Data.Monoid.Multiplicative, Data.Monoid.Multiplicative.Transformers, Data.Monoid.Multiplicative.Sugar, Data.Group, Data.Group.Sugar, Data.Monoid.UnitData.Monoid.Additive, Data.Monoid.Additive.Sugar, Data.Group, Data.Group.Sugar, Data.Monoid.Reducer, Data.Monoid.Reducer.Char, Data.Monoid.Lexical.SourcePosition, Data.Monoid.Lexical.UTF8.Decoder, Data.Monoid.Reducer.With, Data.Monoid.Generator, Data.Monoid.Reducer.Sugar, Data.Monoid.Lexical.Words, Data.Monoid.Monad, Data.Monoid.Applicative, Data.Monoid.Self, Data.Monoid.Generator.Combinators, Data.Monoid.Multiplicative, Data.Monoid.Multiplicative.Transformers, Data.Monoid.Multiplicative.Sugar, Data.Monoid.UnitData.Monoid.Additive, Data.Monoid.Additive.Sugar, Data.Monoid.Reducer, Data.Monoid.Reducer.Char, Data.Monoid.Lexical.SourcePosition, Data.Monoid.Lexical.UTF8.Decoder, Data.Monoid.Reducer.With, Data.Monoid.Generator, Data.Monoid.Reducer.Sugar, Data.Monoid.Lexical.Words, Data.Monoid.Monad, Data.Monoid.Applicative, Data.Monoid.Self, Data.Monoid.Generator.Combinators, Data.Monoid.Multiplicative, Data.Monoid.Multiplicative.Transformers, Data.Monoid.Multiplicative.Sugar, Data.Group, Data.Group.Sugar, Data.Monoid.UnitData.Monoid.Additive, Data.Monoid.Additive.Sugar, Data.Group, Data.Group.Sugar, Data.Monoid.Reducer, Data.Monoid.Reducer.Char, Data.Monoid.Lexical.SourcePosition, Data.Monoid.Lexical.UTF8.Decoder, Data.Monoid.Reducer.With, Data.Monoid.Generator, Data.Monoid.Reducer.Sugar, Data.Monoid.Lexical.Words, Data.Monoid.Monad, Data.Monoid.Applicative, Data.Monoid.Self, Data.Monoid.Generator.Combinators, Data.Monoid.Multiplicative, Data.Monoid.Multiplicative.Transformers, Data.Monoid.Multiplicative.Sugar, Data.Monoid.UnitData.Monoid.Additive, Data.Monoid.Additive.Sugar, Data.Monoid.Reducer, Data.Monoid.Reducer.Char, Data.Monoid.Lexical.SourcePosition, Data.Monoid.Lexical.UTF8.Decoder, Data.Monoid.Reducer.With, Data.Monoid.Generator, Data.Monoid.Reducer.Sugar, Data.Monoid.Lexical.Words, Data.Monoid.Monad, Data.Monoid.Applicative, Data.Monoid.Self, Data.Monoid.Generator.Combinators, Data.Monoid.Multiplicative, Data.Monoid.Multiplicative.Transformers, Data.Monoid.Multiplicative.Sugar, Data.Group, Data.Group.Sugar, Data.Monoid.UnitData.Monoid.Additive, Data.Monoid.Additive.Sugar, Data.Group, Data.Group.Sugar, Data.Monoid.Reducer, Data.Monoid.Reducer.Char, Data.Monoid.Lexical.SourcePosition, Data.Monoid.Lexical.UTF8.Decoder, Data.Monoid.Reducer.With, Data.Monoid.Generator, Data.Monoid.Reducer.Sugar, Data.Monoid.Lexical.Words, Data.Monoid.Monad, Data.Monoid.Applicative, Data.Monoid.Self, Data.Monoid.Generator.Combinators, Data.Monoid.Multiplicative, Data.Monoid.Multiplicative.Transformers, Data.Monoid.Multiplicative.Sugar, Data.Monoid.UnitData.Monoid.Additive, Data.Monoid.Additive.Sugar, Data.Monoid.Reducer, Data.Monoid.Reducer.Char, Data.Monoid.Lexical.SourcePosition, Data.Monoid.Lexical.UTF8.Decoder, Data.Monoid.Reducer.With, Data.Monoid.Generator, Data.Monoid.Reducer.Sugar, Data.Monoid.Lexical.Words, Data.Monoid.Monad, Data.Monoid.Applicative, Data.Monoid.Self, Data.Monoid.Generator.Combinators, Data.Monoid.Multiplicative, Data.Monoid.Multiplicative.Transformers, Data.Monoid.Multiplicative.Sugar, Data.Group, Data.Group.Sugar, Data.Monoid.UnitData.Monoid.Additive, Data.Monoid.Additive.Sugar, Data.Group, Data.Group.Sugar, Data.Monoid.Reducer, Data.Monoid.Reducer.Char, Data.Monoid.Lexical.SourcePosition, Data.Monoid.Lexical.UTF8.Decoder, Data.Monoid.Reducer.With, Data.Monoid.Generator, Data.Monoid.Reducer.Sugar, Data.Monoid.Lexical.Words, Data.Monoid.Monad, Data.Monoid.Applicative, Data.Monoid.Self, Data.Monoid.Generator.Combinators, Data.Monoid.Multiplicative, Data.Monoid.Multiplicative.Transformers, Data.Monoid.Multiplicative.Sugar, Data.Monoid.UnitData.Monoid.Additive, Data.Monoid.Additive.Sugar, Data.Monoid.Reducer, Data.Monoid.Reducer.Char, Data.Monoid.Lexical.SourcePosition, Data.Monoid.Lexical.UTF8.Decoder, Data.Monoid.Reducer.With, Data.Monoid.Generator, Data.Monoid.Reducer.Sugar, Data.Monoid.Lexical.Words, Data.Monoid.Monad, Data.Monoid.Applicative, Data.Monoid.Self, Data.Monoid.Generator.Combinators, Data.Monoid.Multiplicative, Data.Monoid.Multiplicative.Transformers, Data.Monoid.Multiplicative.Sugar, Data.Group, Data.Group.Sugar, Data.Monoid.UnitFromString1 (Type/Class)Data.Monoid.FromString2 (Data Constructor)Data.Monoid.FromStringData.Monoid.Additive, Data.Monoid.Additive.Sugar, Data.Group, Data.Group.Sugar, Data.Monoid.Reducer, Data.Monoid.Reducer.Char, Data.Monoid.Lexical.SourcePosition, Data.Monoid.Lexical.UTF8.Decoder, Data.Monoid.Reducer.With, Data.Monoid.Generator, Data.Monoid.Reducer.Sugar, Data.Monoid.Lexical.Words, Data.Monoid.Monad, Data.Monoid.Applicative, Data.Monoid.Self, Data.Monoid.Generator.Combinators, Data.Monoid.Multiplicative, Data.Monoid.Multiplicative.Transformers, Data.Monoid.Multiplicative.Sugar, Data.Monoid.UnitData.Monoid.Additive, Data.Monoid.Additive.Sugar, Data.Monoid.Reducer, Data.Monoid.Reducer.Char, Data.Monoid.Lexical.SourcePosition, Data.Monoid.Lexical.UTF8.Decoder, Data.Monoid.Reducer.With, Data.Monoid.Generator, Data.Monoid.Reducer.Sugar, Data.Monoid.Lexical.Words, Data.Monoid.Monad, Data.Monoid.Applicative, Data.Monoid.Self, Data.Monoid.Generator.Combinators, Data.Monoid.Multiplicative, Data.Monoid.Multiplicative.Transformers, Data.Monoid.Multiplicative.Sugar, Data.Group, Data.Group.Sugar, Data.Monoid.UnitData.Monoid.Additive, Data.Monoid.Additive.Sugar, Data.Group, Data.Group.Sugar, Data.Monoid.Reducer, Data.Monoid.Reducer.Char, Data.Monoid.Lexical.SourcePosition, Data.Monoid.Lexical.UTF8.Decoder, Data.Monoid.Reducer.With, Data.Monoid.Generator, Data.Monoid.Reducer.Sugar, Data.Monoid.Lexical.Words, Data.Monoid.Monad, Data.Monoid.Applicative, Data.Monoid.Self, Data.Monoid.Generator.Combinators, Data.Monoid.Multiplicative, Data.Monoid.Multiplicative.Transformers, Data.Monoid.Multiplicative.Sugar, Data.Monoid.UnitData.Monoid.Additive, Data.Monoid.Additive.Sugar, Data.Monoid.Reducer, Data.Monoid.Reducer.Char, Data.Monoid.Lexical.SourcePosition, Data.Monoid.Lexical.UTF8.Decoder, Data.Monoid.Reducer.With, Data.Monoid.Generator, Data.Monoid.Reducer.Sugar, Data.Monoid.Lexical.Words, Data.Monoid.Monad, Data.Monoid.Applicative, Data.Monoid.Self, Data.Monoid.Generator.Combinators, Data.Monoid.Multiplicative, Data.Monoid.Multiplicative.Transformers, Data.Monoid.Multiplicative.Sugar, Data.Group, Data.Group.Sugar, Data.Monoid.UnitData.Monoid.Additive, Data.Monoid.Additive.Sugar, Data.Group, Data.Group.Sugar, Data.Monoid.Reducer, Data.Monoid.Reducer.Char, Data.Monoid.Lexical.SourcePosition, Data.Monoid.Lexical.UTF8.Decoder, Data.Monoid.Reducer.With, Data.Monoid.Generator, Data.Monoid.Reducer.Sugar, Data.Monoid.Lexical.Words, Data.Monoid.Monad, Data.Monoid.Applicative, Data.Monoid.Self, Data.Monoid.Generator.Combinators, Data.Monoid.Multiplicative, Data.Monoid.Multiplicative.Transformers, Data.Monoid.Multiplicative.Sugar, Data.Monoid.UnitData.Monoid.Additive, Data.Monoid.Additive.Sugar, Data.Monoid.Reducer, Data.Monoid.Reducer.Char, Data.Monoid.Lexical.SourcePosition, Data.Monoid.Lexical.UTF8.Decoder, Data.Monoid.Reducer.With, Data.Monoid.Generator, Data.Monoid.Reducer.Sugar, Data.Monoid.Lexical.Words, Data.Monoid.Monad, Data.Monoid.Applicative, Data.Monoid.Self, Data.Monoid.Generator.Combinators, Data.Monoid.Multiplicative, Data.Monoid.Multiplicative.Transformers, Data.Monoid.Multiplicative.Sugar, Data.Group, Data.Group.Sugar, Data.Monoid.UnitData.Monoid.Additive, Data.Monoid.Additive.Sugar, Data.Group, Data.Group.Sugar, Data.Monoid.Reducer, Data.Monoid.Reducer.Char, Data.Monoid.Lexical.SourcePosition, Data.Monoid.Lexical.UTF8.Decoder, Data.Monoid.Reducer.With, Data.Monoid.Generator, Data.Monoid.Reducer.Sugar, Data.Monoid.Lexical.Words, Data.Monoid.Monad, Data.Monoid.Applicative, Data.Monoid.Self, Data.Monoid.Generator.Combinators, Data.Monoid.Multiplicative, Data.Monoid.Multiplicative.Transformers, Data.Monoid.Multiplicative.Sugar, Data.Monoid.UnitData.Monoid.Additive, Data.Monoid.Additive.Sugar, Data.Monoid.Reducer, Data.Monoid.Reducer.Char, Data.Monoid.Lexical.SourcePosition, Data.Monoid.Lexical.UTF8.Decoder, Data.Monoid.Reducer.With, Data.Monoid.Generator, Data.Monoid.Reducer.Sugar, Data.Monoid.Lexical.Words, Data.Monoid.Monad, Data.Monoid.Applicative, Data.Monoid.Self, Data.Monoid.Generator.Combinators, Data.Monoid.Multiplicative, Data.Monoid.Multiplicative.Transformers, Data.Monoid.Multiplicative.Sugar, Data.Group, Data.Group.Sugar, Data.Monoid.UnitgetFromStringData.Monoid.FromStringData.Monoid.Additive, Data.Monoid.Additive.Sugar, Data.Group, Data.Group.Sugar, Data.Monoid.Reducer, Data.Monoid.Reducer.Char, Data.Monoid.Lexical.SourcePosition, Data.Monoid.Lexical.UTF8.Decoder, Data.Monoid.Reducer.With, Data.Monoid.Generator, Data.Monoid.Reducer.Sugar, Data.Monoid.Lexical.Words, Data.Monoid.Monad, Data.Monoid.Applicative, Data.Monoid.Self, Data.Monoid.Generator.Combinators, Data.Monoid.Multiplicative, Data.Monoid.Multiplicative.Transformers, Data.Monoid.Multiplicative.Sugar, Data.Monoid.UnitData.Monoid.Additive, Data.Monoid.Additive.Sugar, Data.Monoid.Reducer, Data.Monoid.Reducer.Char, Data.Monoid.Lexical.SourcePosition, Data.Monoid.Lexical.UTF8.Decoder, Data.Monoid.Reducer.With, Data.Monoid.Generator, Data.Monoid.Reducer.Sugar, Data.Monoid.Lexical.Words, Data.Monoid.Monad, Data.Monoid.Applicative, Data.Monoid.Self, Data.Monoid.Generator.Combinators, Data.Monoid.Multiplicative, Data.Monoid.Multiplicative.Transformers, Data.Monoid.Multiplicative.Sugar, Data.Group, Data.Group.Sugar, Data.Monoid.UnitData.Monoid.Additive, Data.Monoid.Additive.Sugar, Data.Group, Data.Group.Sugar, Data.Monoid.Reducer, Data.Monoid.Reducer.Char, Data.Monoid.Lexical.SourcePosition, Data.Monoid.Lexical.UTF8.Decoder, Data.Monoid.Reducer.With, Data.Monoid.Generator, Data.Monoid.Reducer.Sugar, Data.Monoid.Lexical.Words, Data.Monoid.Monad, Data.Monoid.Applicative, Data.Monoid.Self, Data.Monoid.Generator.Combinators, Data.Monoid.Multiplicative, Data.Monoid.Multiplicative.Transformers, Data.Monoid.Multiplicative.Sugar, Data.Monoid.UnitData.Monoid.Additive, Data.Monoid.Additive.Sugar, Data.Monoid.Reducer, Data.Monoid.Reducer.Char, Data.Monoid.Lexical.SourcePosition, Data.Monoid.Lexical.UTF8.Decoder, Data.Monoid.Reducer.With, Data.Monoid.Generator, Data.Monoid.Reducer.Sugar, Data.Monoid.Lexical.Words, Data.Monoid.Monad, Data.Monoid.Applicative, Data.Monoid.Self, Data.Monoid.Generator.Combinators, Data.Monoid.Multiplicative, Data.Monoid.Multiplicative.Transformers, Data.Monoid.Multiplicative.Sugar, Data.Group, Data.Group.Sugar, Data.Monoid.UnitData.Monoid.Additive, Data.Monoid.Additive.Sugar, Data.Group, Data.Group.Sugar, Data.Monoid.Reducer, Data.Monoid.Reducer.Char, Data.Monoid.Lexical.SourcePosition, Data.Monoid.Lexical.UTF8.Decoder, Data.Monoid.Reducer.With, Data.Monoid.Generator, Data.Monoid.Reducer.Sugar, Data.Monoid.Lexical.Words, Data.Monoid.Monad, Data.Monoid.Applicative, Data.Monoid.Self, Data.Monoid.Generator.Combinators, Data.Monoid.Multiplicative, Data.Monoid.Multiplicative.Transformers, Data.Monoid.Multiplicative.Sugar, Data.Monoid.UnitData.Monoid.Additive, Data.Monoid.Additive.Sugar, Data.Monoid.Reducer, Data.Monoid.Reducer.Char, Data.Monoid.Lexical.SourcePosition, Data.Monoid.Lexical.UTF8.Decoder, Data.Monoid.Reducer.With, Data.Monoid.Generator, Data.Monoid.Reducer.Sugar, Data.Monoid.Lexical.Words, Data.Monoid.Monad, Data.Monoid.Applicative, Data.Monoid.Self, Data.Monoid.Generator.Combinators, Data.Monoid.Multiplicative, Data.Monoid.Multiplicative.Transformers, Data.Monoid.Multiplicative.Sugar, Data.Group, Data.Group.Sugar, Data.Monoid.UnitData.Monoid.Additive, Data.Monoid.Additive.Sugar, Data.Group, Data.Group.Sugar, Data.Monoid.Reducer, Data.Monoid.Reducer.Char, Data.Monoid.Lexical.SourcePosition, Data.Monoid.Lexical.UTF8.Decoder, Data.Monoid.Reducer.With, Data.Monoid.Generator, Data.Monoid.Reducer.Sugar, Data.Monoid.Lexical.Words, Data.Monoid.Monad, Data.Monoid.Applicative, Data.Monoid.Self, Data.Monoid.Generator.Combinators, Data.Monoid.Multiplicative, Data.Monoid.Multiplicative.Transformers, Data.Monoid.Multiplicative.Sugar, Data.Monoid.UnitData.Monoid.Additive, Data.Monoid.Additive.Sugar, Data.Monoid.Reducer, Data.Monoid.Reducer.Char, Data.Monoid.Lexical.SourcePosition, Data.Monoid.Lexical.UTF8.Decoder, Data.Monoid.Reducer.With, Data.Monoid.Generator, Data.Monoid.Reducer.Sugar, Data.Monoid.Lexical.Words, Data.Monoid.Monad, Data.Monoid.Applicative, Data.Monoid.Self, Data.Monoid.Generator.Combinators, Data.Monoid.Multiplicative, Data.Monoid.Multiplicative.Transformers, Data.Monoid.Multiplicative.Sugar, Data.Group, Data.Group.Sugar, Data.Monoid.UnitData.Monoid.Additive, Data.Monoid.Additive.Sugar, Data.Group, Data.Group.Sugar, Data.Monoid.Reducer, Data.Monoid.Reducer.Char, Data.Monoid.Lexical.SourcePosition, Data.Monoid.Lexical.UTF8.Decoder, Data.Monoid.Reducer.With, Data.Monoid.Generator, Data.Monoid.Reducer.Sugar, Data.Monoid.Lexical.Words, Data.Monoid.Monad, Data.Monoid.Applicative, Data.Monoid.Self, Data.Monoid.Generator.Combinators, Data.Monoid.Multiplicative, Data.Monoid.Multiplicative.Transformers, Data.Monoid.Multiplicative.Sugar, Data.Monoid.UnitData.Monoid.Additive, Data.Monoid.Additive.Sugar, Data.Monoid.Reducer, Data.Monoid.Reducer.Char, Data.Monoid.Lexical.SourcePosition, Data.Monoid.Lexical.UTF8.Decoder, Data.Monoid.Reducer.With, Data.Monoid.Generator, Data.Monoid.Reducer.Sugar, Data.Monoid.Lexical.Words, Data.Monoid.Monad, Data.Monoid.Applicative, Data.Monoid.Self, Data.Monoid.Generator.Combinators, Data.Monoid.Multiplicative, Data.Monoid.Multiplicative.Transformers, Data.Monoid.Multiplicative.Sugar, Data.Group, Data.Group.Sugar, Data.Monoid.UnitData.Monoid.Additive, Data.Monoid.Additive.Sugar, Data.Group, Data.Group.Sugar, Data.Monoid.Categorical, Data.Monoid.Reducer, Data.Monoid.Reducer.Char, Data.Monoid.Lexical.SourcePosition, Data.Monoid.Lexical.UTF8.Decoder, Data.Monoid.Reducer.With, Data.Monoid.Generator, Data.Monoid.Reducer.Sugar, Data.Monoid.Lexical.Words, Data.Monoid.Ord, Data.Monoid.Monad, Data.Monoid.Applicative, Data.Monoid.Map, Data.Monoid.IntMap, Data.Monoid.Self, Data.Monoid.Generator.Combinators, Data.Monoid.Multiplicative, Data.Monoid.Multiplicative.Transformers, Data.Monoid.Multiplicative.Sugar, Data.Monoid.UnitData.Monoid.Additive, Data.Monoid.Additive.Sugar, Data.Monoid.Categorical, Data.Monoid.Reducer, Data.Monoid.Reducer.Char, Data.Monoid.Lexical.SourcePosition, Data.Monoid.Lexical.UTF8.Decoder, Data.Monoid.Reducer.With, Data.Monoid.Generator, Data.Monoid.Reducer.Sugar, Data.Monoid.Lexical.Words, Data.Monoid.Ord, Data.Monoid.Monad, Data.Monoid.Applicative, Data.Monoid.Map, Data.Monoid.IntMap, Data.Monoid.Self, Data.Monoid.Generator.Combinators, Data.Monoid.Multiplicative, Data.Monoid.Multiplicative.Transformers, Data.Monoid.Multiplicative.Sugar, Data.Group, Data.Group.Sugar, Data.Monoid.UnitData.Monoid.Additive, Data.Monoid.Additive.Sugar, Data.Group, Data.Group.Sugar, Data.Monoid.Reducer, Data.Monoid.Reducer.Char, Data.Monoid.Lexical.SourcePosition, Data.Monoid.Lexical.UTF8.Decoder, Data.Monoid.Reducer.With, Data.Monoid.Generator, Data.Monoid.Reducer.Sugar, Data.Monoid.Lexical.Words, Data.Monoid.Monad, Data.Monoid.Applicative, Data.Monoid.Self, Data.Monoid.Generator.Combinators, Data.Monoid.Multiplicative, Data.Monoid.Multiplicative.Transformers, Data.Monoid.Multiplicative.Sugar, Data.Monoid.UnitData.Monoid.Additive, Data.Monoid.Additive.Sugar, Data.Monoid.Reducer, Data.Monoid.Reducer.Char, Data.Monoid.Lexical.SourcePosition, Data.Monoid.Lexical.UTF8.Decoder, Data.Monoid.Reducer.With, Data.Monoid.Generator, Data.Monoid.Reducer.Sugar, Data.Monoid.Lexical.Words, Data.Monoid.Monad, Data.Monoid.Applicative, Data.Monoid.Self, Data.Monoid.Generator.Combinators, Data.Monoid.Multiplicative, Data.Monoid.Multiplicative.Transformers, Data.Monoid.Multiplicative.Sugar, Data.Group, Data.Group.Sugar, Data.Monoid.UnitData.Monoid.Additive, Data.Monoid.Additive.Sugar, Data.Group, Data.Group.Sugar, Data.Monoid.Categorical, Data.Monoid.Reducer, Data.Monoid.Reducer.Char, Data.Monoid.Lexical.SourcePosition, Data.Monoid.Lexical.UTF8.Decoder, Data.Monoid.Reducer.With, Data.Monoid.Generator, Data.Monoid.Reducer.Sugar, Data.Monoid.Lexical.Words, Data.Monoid.Ord, Data.Monoid.Monad, Data.Monoid.Applicative, Data.Monoid.Map, Data.Monoid.IntMap, Data.Monoid.Self, Data.Monoid.Generator.Combinators, Data.Monoid.Multiplicative, Data.Monoid.Multiplicative.Transformers, Data.Monoid.Multiplicative.Sugar, Data.Monoid.UnitData.Monoid.Additive, Data.Monoid.Additive.Sugar, Data.Monoid.Categorical, Data.Monoid.Reducer, Data.Monoid.Reducer.Char, Data.Monoid.Lexical.SourcePosition, Data.Monoid.Lexical.UTF8.Decoder, Data.Monoid.Reducer.With, Data.Monoid.Generator, Data.Monoid.Reducer.Sugar, Data.Monoid.Lexical.Words, Data.Monoid.Ord, Data.Monoid.Monad, Data.Monoid.Applicative, Data.Monoid.Map, Data.Monoid.IntMap, Data.Monoid.Self, Data.Monoid.Generator.Combinators, Data.Monoid.Multiplicative, Data.Monoid.Multiplicative.Transformers, Data.Monoid.Multiplicative.Sugar, Data.Group, Data.Group.Sugar, Data.Monoid.UnitData.Monoid.Additive, Data.Monoid.Additive.Sugar, Data.Group, Data.Group.Sugar, Data.Monoid.Categorical, Data.Monoid.Reducer, Data.Monoid.Reducer.Char, Data.Monoid.Lexical.SourcePosition, Data.Monoid.Lexical.UTF8.Decoder, Data.Monoid.Reducer.With, Data.Monoid.Generator, Data.Monoid.Reducer.Sugar, Data.Monoid.Lexical.Words, Data.Monoid.Ord, Data.Monoid.Monad, Data.Monoid.Applicative, Data.Monoid.Map, Data.Monoid.IntMap, Data.Monoid.Self, Data.Monoid.Generator.Combinators, Data.Monoid.Multiplicative, Data.Monoid.Multiplicative.Transformers, Data.Monoid.Multiplicative.Sugar, Data.Monoid.UnitData.Monoid.Additive, Data.Monoid.Additive.Sugar, Data.Monoid.Categorical, Data.Monoid.Reducer, Data.Monoid.Reducer.Char, Data.Monoid.Lexical.SourcePosition, Data.Monoid.Lexical.UTF8.Decoder, Data.Monoid.Reducer.With, Data.Monoid.Generator, Data.Monoid.Reducer.Sugar, Data.Monoid.Lexical.Words, Data.Monoid.Ord, Data.Monoid.Monad, Data.Monoid.Applicative, Data.Monoid.Map, Data.Monoid.IntMap, Data.Monoid.Self, Data.Monoid.Generator.Combinators, Data.Monoid.Multiplicative, Data.Monoid.Multiplicative.Transformers, Data.Monoid.Multiplicative.Sugar, Data.Group, Data.Group.Sugar, Data.Monoid.Unit, Data.Monoid.Additive.Sugar, Data.Group, Data.Group.Sugar, Data.Monoid.Multiplicative, Data.Monoid.Multiplicative.Transformers, Data.Monoid.Multiplicative.Sugar, Data.Monoid.Additive.Sugar, Data.Monoid.Multiplicative, Data.Monoid.Multiplicative.Transformers, Data.Monoid.Multiplicative.Sugar, Data.Group, Data.Group.SugarData.Monoid.Additive, Data.Monoid.Additive.Sugar, Data.Group, Data.Group.Sugar, Data.Monoid.Reducer, Data.Monoid.Reducer.Char, Data.Monoid.Lexical.SourcePosition, Data.Monoid.Lexical.UTF8.Decoder, Data.Monoid.Reducer.With, Data.Monoid.Generator, Data.Monoid.Reducer.Sugar, Data.Monoid.Lexical.Words, Data.Monoid.Monad, Data.Monoid.Applicative, Data.Monoid.Self, Data.Monoid.Generator.Combinators, Data.Monoid.Multiplicative, Data.Monoid.Multiplicative.Transformers, Data.Monoid.Multiplicative.Sugar, Data.Monoid.UnitData.Monoid.Additive, Data.Monoid.Additive.Sugar, Data.Monoid.Reducer, Data.Monoid.Reducer.Char, Data.Monoid.Lexical.SourcePosition, Data.Monoid.Lexical.UTF8.Decoder, Data.Monoid.Reducer.With, Data.Monoid.Generator, Data.Monoid.Reducer.Sugar, Data.Monoid.Lexical.Words, Data.Monoid.Monad, Data.Monoid.Applicative, Data.Monoid.Self, Data.Monoid.Generator.Combinators, Data.Monoid.Multiplicative, Data.Monoid.Multiplicative.Transformers, Data.Monoid.Multiplicative.Sugar, Data.Group, Data.Group.Sugar, Data.Monoid.UnitData.Monoid.Additive, Data.Monoid.Additive.Sugar, Data.Group, Data.Group.Sugar, Data.Monoid.Reducer, Data.Monoid.Reducer.Char, Data.Monoid.Lexical.SourcePosition, Data.Monoid.Lexical.UTF8.Decoder, Data.Monoid.Reducer.With, Data.Monoid.Generator, Data.Monoid.Reducer.Sugar, Data.Monoid.Lexical.Words, Data.Monoid.Monad, Data.Monoid.Applicative, Data.Monoid.Self, Data.Monoid.Generator.Combinators, Data.Monoid.Multiplicative, Data.Monoid.Multiplicative.Transformers, Data.Monoid.Multiplicative.Sugar, Data.Monoid.UnitData.Monoid.Additive, Data.Monoid.Additive.Sugar, Data.Monoid.Reducer, Data.Monoid.Reducer.Char, Data.Monoid.Lexical.SourcePosition, Data.Monoid.Lexical.UTF8.Decoder, Data.Monoid.Reducer.With, Data.Monoid.Generator, Data.Monoid.Reducer.Sugar, Data.Monoid.Lexical.Words, Data.Monoid.Monad, Data.Monoid.Applicative, Data.Monoid.Self, Data.Monoid.Generator.Combinators, Data.Monoid.Multiplicative, Data.Monoid.Multiplicative.Transformers, Data.Monoid.Multiplicative.Sugar, Data.Group, Data.Group.Sugar, Data.Monoid.UnitData.Monoid.Additive, Data.Monoid.Additive.Sugar, Data.Group, Data.Group.Sugar, Data.Monoid.Reducer, Data.Monoid.Reducer.Char, Data.Monoid.Lexical.SourcePosition, Data.Monoid.Lexical.UTF8.Decoder, Data.Monoid.Reducer.With, Data.Monoid.Generator, Data.Monoid.Reducer.Sugar, Data.Monoid.Lexical.Words, Data.Monoid.Monad, Data.Monoid.Applicative, Data.Monoid.Self, Data.Monoid.Generator.Combinators, Data.Monoid.Multiplicative, Data.Monoid.Multiplicative.Transformers, Data.Monoid.Multiplicative.Sugar, Data.Monoid.UnitData.Monoid.Additive, Data.Monoid.Additive.Sugar, Data.Monoid.Reducer, Data.Monoid.Reducer.Char, Data.Monoid.Lexical.SourcePosition, Data.Monoid.Lexical.UTF8.Decoder, Data.Monoid.Reducer.With, Data.Monoid.Generator, Data.Monoid.Reducer.Sugar, Data.Monoid.Lexical.Words, Data.Monoid.Monad, Data.Monoid.Applicative, Data.Monoid.Self, Data.Monoid.Generator.Combinators, Data.Monoid.Multiplicative, Data.Monoid.Multiplicative.Transformers, Data.Monoid.Multiplicative.Sugar, Data.Group, Data.Group.Sugar, Data.Monoid.UnitData.Monoid.Additive, Data.Monoid.Additive.Sugar, Data.Group, Data.Group.Sugar, Data.Monoid.Reducer, Data.Monoid.Reducer.Char, Data.Monoid.Lexical.SourcePosition, Data.Monoid.Lexical.UTF8.Decoder, Data.Monoid.Reducer.With, Data.Monoid.Generator, Data.Monoid.Reducer.Sugar, Data.Monoid.Lexical.Words, Data.Monoid.Monad, Data.Monoid.Applicative, Data.Monoid.Self, Data.Monoid.Generator.Combinators, Data.Monoid.Multiplicative, Data.Monoid.Multiplicative.Transformers, Data.Monoid.Multiplicative.Sugar, Data.Monoid.UnitData.Monoid.Additive, Data.Monoid.Additive.Sugar, Data.Monoid.Reducer, Data.Monoid.Reducer.Char, Data.Monoid.Lexical.SourcePosition, Data.Monoid.Lexical.UTF8.Decoder, Data.Monoid.Reducer.With, Data.Monoid.Generator, Data.Monoid.Reducer.Sugar, Data.Monoid.Lexical.Words, Data.Monoid.Monad, Data.Monoid.Applicative, Data.Monoid.Self, Data.Monoid.Generator.Combinators, Data.Monoid.Multiplicative, Data.Monoid.Multiplicative.Transformers, Data.Monoid.Multiplicative.Sugar, Data.Group, Data.Group.Sugar, Data.Monoid.Unit, Data.Monoid.Additive.Sugar, Data.Group, Data.Group.Sugar, Data.Monoid.Multiplicative, Data.Monoid.Multiplicative.Transformers, Data.Monoid.Multiplicative.Sugar, Data.Monoid.Additive.Sugar, Data.Monoid.Multiplicative, Data.Monoid.Multiplicative.Transformers, Data.Monoid.Multiplicative.Sugar, Data.Group, Data.Group.SugarData.Monoid.FromString -infixl 6 `minus` - -class Monoid a => Group a where - -- additive inverse - gnegate :: a -> a - - -- right cancellation - minus :: a -> a -> a - a `minus` b = a `plus` gnegate b - -instance Num a => Group (Sum a) where - gnegate = Sum . negate . getSum - Sum a `minus` Sum b = Sum (a - b) - -instance Fractional a => Group (Product a) where - gnegate = Product . negate . getProduct - Product a `minus` Product b = Product (a / b) - -instance Group a => Group (Dual a) where - gnegate = Dual . gnegate . getDual +import Data.Monoid.Self + +infixl 6 `minus` + +class Monoid a => Group a where + -- additive inverse + gnegate :: a -> a + + -- right cancellation + minus :: a -> a -> a + a `minus` b = a `plus` gnegate b + +instance Num a => Group (Sum a) where + gnegate = Sum . negate . getSum + Sum a `minus` Sum b = Sum (a - b) + +instance Fractional a => Group (Product a) where + gnegate = Product . negate . getProduct + Product a `minus` Product b = Product (a / b) + +instance Group a => Group (Dual a) where + gnegate = Dual . gnegate . getDual + +instance Group a => Group (Self a) where + gnegate = Self . gnegate . getSelf + Self a `minus` Self b = Self (a `minus` b) addfile ./dist/doc/html/monoids/src/Data-Monoid-FromString.html hunk ./dist/doc/html/monoids/src/Data-Monoid-FromString.html 1 + + + + +Data/Monoid/FromString.hs + + + +
{-# LANGUAGE FlexibleContexts, FlexibleInstances, MultiParamTypeClasses, UndecidableInstances #-}
+module Data.Monoid.FromString 
+    ( FromString(FromString,getFromString)
+    ) where
+
+import Control.Functor.Pointed
+import Data.Monoid.Generator
+import Data.Monoid.Reducer
+import GHC.Exts
+
+data FromString m = FromString { getFromString :: m } 
+
+instance Monoid m => Monoid (FromString m) where
+    mempty = FromString mempty
+    FromString a `mappend` FromString b = FromString (a `mappend` b)
+
+instance Reducer Char m => Reducer Char (FromString m) where
+    unit = FromString . unit
+
+instance Reducer Char m => IsString (FromString m) where
+    fromString = FromString . reduce
+
+instance Pointed FromString where
+    point = FromString
+
+instance Copointed FromString where
+    extract = getFromString
+
+instance Functor FromString where
+    fmap f (FromString x) = FromString (f x)
+
+ hunk ./dist/doc/html/monoids/src/Data-Monoid-Multiplicative.html 17 -import Data.Monoid.Generator -import Data.Monoid.Self +import Data.Monoid.Self +import Data.Monoid.Generator hunk ./dist/doc/html/monoids/src/Data-Monoid-Multiplicative.html 38 + +instance MultiplicativeMonoid m => MultiplicativeMonoid (Self m) where + one = Self one + Self a `times` Self b = Self (a `times` b) hunk ./dist/doc/html/monoids/src/Data-Monoid-Self.html 16 -import Data.Monoid.Reducer - -newtype Self m = Self { getSelf :: m } deriving (Monoid) - -instance Monoid m => Reducer m (Self m) where - unit = Self +import Data.Foldable +import Data.Monoid.Reducer +import Data.Monoid.Generator +import GHC.Exts + +newtype Self m = Self { getSelf :: m } deriving (Monoid) hunk ./dist/doc/html/monoids/src/Data-Monoid-Self.html 23 -instance Functor Self where - fmap f = Self . f . getSelf +instance Monoid m => Reducer m (Self m) where + unit = Self hunk ./dist/doc/html/monoids/src/Data-Monoid-Self.html 26 -instance Pointed Self where - point = Self +instance Functor Self where + fmap f = Self . f . getSelf hunk ./dist/doc/html/monoids/src/Data-Monoid-Self.html 29 -instance Copointed Self where - extract = getSelf +instance Pointed Self where + point = Self + +instance Copointed Self where + extract = getSelf + hunk ./monoids.cabal 41 + Data.Monoid.FromString }