# An Addition Abelian Semigroup

class Additive r => Abelian r Source

an additive abelian semigroup

a + b = b + a

Abelian Bool | |

Abelian Int | |

Abelian Int8 | |

Abelian Int16 | |

Abelian Int32 | |

Abelian Int64 | |

Abelian Integer | |

Abelian Word | |

Abelian Word8 | |

Abelian Word16 | |

Abelian Word32 | |

Abelian Word64 | |

Abelian () | |

Abelian Natural | |

Commutative r => Abelian (Log r) | |

Abelian r => Abelian (End r) | |

Abelian r => Abelian (ZeroRng r) | |

Abelian r => Abelian (Opposite r) | |

Abelian r => Abelian (RngRing r) | |

Abelian r => Abelian (e -> r) | |

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

Abelian s => Abelian (Linear s a) | |

Abelian s => Abelian (Antilinear s a) | |

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

Abelian s => Abelian (Map s b a) | |

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

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