Safe Haskell | Safe-Infered |
---|

# Documentation

Additive r => Multiplicative (Exp r) | |

Partitionable r => Factorable (Exp r) | |

Monoidal r => Unital (Exp r) | |

Idempotent r => Band (Exp r) | |

Group r => Division (Exp r) | |

Abelian r => Commutative (Exp r) |

Safe Haskell | Safe-Infered |
---|

Additive r => Multiplicative (Exp r) | |

Partitionable r => Factorable (Exp r) | |

Monoidal r => Unital (Exp r) | |

Idempotent r => Band (Exp r) | |

Group r => Division (Exp r) | |

Abelian r => Commutative (Exp r) |