Safe Haskell | Safe |
---|---|

Language | Haskell2010 |

# Documentation

class Semigroup a => Idempotent a Source #

class Monoid a => Group a where Source #

Group () Source # | |

Group a => Group (IO a) Source # | |

Group a => Group (Identity a) Source # | |

Group a => Group (Dual a) Source # | |

Group (Sum Integer) Source # | |

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

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

Group (Proxy k a) Source # | |

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

Group a => Group (Const k a b) Source # | |

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

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