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

Language | Haskell98 |

# Documentation

Division r => RightModule Integer (Log r) Source # | |

Unital r => RightModule Natural (Log r) Source # | |

Division r => LeftModule Integer (Log r) Source # | |

Unital r => LeftModule Natural (Log r) Source # | |

Band r => Idempotent (Log r) Source # | |

Commutative r => Abelian (Log r) Source # | |

Factorable r => Partitionable (Log r) Source # | |

Multiplicative r => Additive (Log r) Source # | |

Unital r => Monoidal (Log r) Source # | |

Division r => Group (Log r) Source # | |