monoids-0.2.0: Monoids, specialized containers and a general map/reduce frameworkSource codeContentsIndex
Data.Group
Portabilityportable
Stabilityexperimental
MaintainerEdward Kmett <ekmett@gmail.com>
Description
Extends Monoid to support Group operations
Synopsis
class Monoid a => Group a where
gnegate :: a -> a
minus :: a -> a -> a
gsubtract :: a -> a -> a
class Multiplicative g => MultiplicativeGroup g where
over :: g -> g -> g
under :: g -> g -> g
grecip :: g -> g
Documentation
class Monoid a => Group a whereSource
Minimal complete definition: gnegate or minus
Methods
gnegate :: a -> aSource
minus :: a -> a -> aSource
gsubtract :: a -> a -> aSource
show/hide Instances
Group a => Group (Dual a)
Num a => Group (Sum a)
Fractional a => Group (Product a)
Group a => Group (Self a)
MultiplicativeGroup g => Group (Log g)
(Group m, Applicative f) => Group (App f m)
(Group m, Monad f) => Group (Mon f m)
class Multiplicative g => MultiplicativeGroup g whereSource
Minimal definition over or grecip
Methods
over :: g -> g -> gSource
x / y
under :: g -> g -> gSource
x  y
grecip :: g -> gSource
show/hide Instances
Produced by Haddock version 2.4.2