Safe Haskell | Safe-Inferred |
---|

# Documentation

class Monoid m => Group m whereSource

A `Group`

is a `Monoid`

plus a function, `invert`

, such that:

`a <> invert a == mempty`

`invert a <> a == mempty`

Group () | |

Group a => Group (Dual a) | |

Num a => Group (Sum a) | |

Fractional a => Group (Product a) | |

Group b => Group (a -> b) | |

(Group a, Group b) => Group (a, b) | |

(Group a, Group b, Group c) => Group (a, b, c) | |

(Group a, Group b, Group c, Group d) => Group (a, b, c, d) | |

(Group a, Group b, Group c, Group d, Group e) => Group (a, b, c, d, e) |