monoids-0.1.36: 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
module Data.Monoid.Multiplicative
class Monoid a => Group a where
gnegate :: a -> a
minus :: a -> a -> a
gsubtract :: a -> a -> a
gnegate :: Group a => a -> a
gsubtract :: Group a => a -> a -> a
minus :: Group a => a -> a -> a
class Multiplicative g => MultiplicativeGroup g where
over :: g -> g -> g
under :: g -> g -> g
grecip :: g -> g
over :: MultiplicativeGroup g => g -> g -> g
under :: MultiplicativeGroup g => g -> g -> g
grecip :: MultiplicativeGroup g => g -> g
Documentation
module Data.Monoid.Multiplicative
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)
Group a => Group (FromString a)
MultiplicativeGroup g => Group (Log g)
Num a => Group (FromNum a)
Bits a => Group (Boolean a)
Group a => Group (ReducedBy a s)
(Group m, Applicative f) => Group (App f m)
(Group m, Monad f) => Group (Mon f m)
(Modular s a, Integral a) => Group (Mod a s)
(Group r, Bimodule r m, Group m) => Group (D s r m)
gnegate :: Group a => a -> aSource
gsubtract :: Group a => a -> a -> aSource
minus :: Group a => a -> a -> aSource
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
over :: MultiplicativeGroup g => g -> g -> gSource
x / y
under :: MultiplicativeGroup g => g -> g -> gSource
x  y
grecip :: MultiplicativeGroup g => g -> gSource
Produced by Haddock version 2.3.0