Data.Group

Extends Monoid to support Group operations

Documentation

class Monoid a => Group a where

Minimal complete definition: gnegate or minus

Methods

gnegate :: a -> a

minus :: a -> a -> a

gsubtract :: a -> a -> a

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 where

Minimal definition over or grecip

Methods

over :: g -> g -> g

x / y

under :: g -> g -> g

x  y

grecip :: g -> g

Instances

MultiplicativeGroup a => MultiplicativeGroup (Dual a)

MultiplicativeGroup g => MultiplicativeGroup (Self g)

Group g => MultiplicativeGroup (Exp g)