monoids-0.1.32: Monoids, specialized containers and a general map/reduce framework Source code Contents Index

Data.Group Portability portable Stability experimental Maintainer Edward Kmett <ekmett@gmail.com>

Description

Extends Monoid to support Group operations

Synopsis

module Data.Monoid.Additive class Monoid a => Group a where gnegate :: a -> a minus :: a -> a -> a gsubtract :: a -> a -> a

Documentation

module Data.Monoid.Additive

class Monoid a => Group a where Source

Minimal complete definition: gnegate or minus Methods gnegate :: a -> a Source minus :: a -> a -> a Source gsubtract :: a -> a -> a Source Instances Group BoolRing 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) Num a => Group (FromNum a) Group a => Group (ReducedBy a s) (Modular s a, Integral a) => Group (Mod a s) (Group m, Applicative f) => Group (App f m) (Group m, Monad f) => Group (Mon f m) (Group r, Module r m, Group m) => Group (D s r m)

Produced by Haddock version 2.4.2