Portability | portable |
---|---|

Stability | experimental |

Maintainer | Edward Kmett <ekmett@gmail.com> |

- class Monoid a => Group a where
- class Multiplicative g => MultiplicativeGroup g where

# Documentation

class Multiplicative g => MultiplicativeGroup g whereSource

Minimal definition over or grecip

MultiplicativeGroup a => MultiplicativeGroup (Dual a) | |

MultiplicativeGroup g => MultiplicativeGroup (Self g) | |

Group g => MultiplicativeGroup (Exp g) |