Permalink
Commits on Aug 8, 2016
  1. Version bumped

    Hiromi ISHII committed Aug 8, 2016
  2. Updated CHANGELOG

    Hiromi ISHII committed Aug 8, 2016
  3. Removed misused MINIMAL pragma

    Hiromi ISHII committed Aug 8, 2016
  4. Fixed typos

    Hiromi ISHII committed Aug 8, 2016
  5. Merge pull request #8 from dfoxfranke/nilpotence

    DecidableNilpotence
    konn committed on GitHub Aug 8, 2016
  6. Removed malformed MINIMAL pragma

    Hiromi ISHII committed Aug 8, 2016
  7. CHANGELOG

    Hiromi ISHII committed Aug 8, 2016
  8. merged dfoxfranke:ring-hierarchy

    Hiromi ISHII committed Aug 8, 2016
  9. tested-with

    Hiromi ISHII committed Aug 8, 2016
  10. Merge pull request #15 from konn/ghc-8.0.1

    Added workaround for GHC 8.0.1
    konn committed on GitHub Aug 8, 2016
  11. Remvoed uneccesary constraint

    Hiromi ISHII committed Aug 8, 2016
Commits on Aug 2, 2016
  1. Added workaround for GHC 8.0.1

    Hiromi ISHII committed Aug 2, 2016
Commits on Aug 9, 2015
  1. fix trailing ) [ci skip]

    committed Aug 9, 2015
  2. hackage shield

    committed Aug 9, 2015
Commits on Dec 7, 2014
  1. Check for division by zero

    dfoxfranke committed Dec 7, 2014
  2. Add missing instances for `Fraction`

    They're all for free thanks to default implementations for `Division`
    instances.
    dfoxfranke committed Dec 7, 2014
  3. Simplify the class hierarchy a bit

    `UnitNormalForm` now derives from `DecidableUnits` and `DecidableAssociates`,
    and `GCDDomain` now derives from `UnitNormalForm` and `DecidableZero`.
    dfoxfranke committed Dec 7, 2014
Commits on Dec 6, 2014
  1. Move `gcd'` to a more appropriate place

    Also fix a bug: `gcd [x] = leadingUnit x` makes no sense.
    dfoxfranke committed Dec 6, 2014
  2. Implement `IntegralDomain`.

    dfoxfranke committed Dec 6, 2014
  3. Move class definitions for `Domain` and `Euclidean` into an internal …

    …module
    
    This will prevent dependency loops when I add new classes between
    `Domain` and `Euclidean` and give them constrained-default
    implementations based on `Euclidean`.
    dfoxfranke committed Dec 6, 2014
  4. Rename `IntegralSemiring` to `ZeroProductSemiring`.

    The use of "integral" in the context of ring theory implies further
    properties, namely commutativity and 1≠0, which belong deeper in the
    class hierarchy.
    dfoxfranke committed Dec 6, 2014
Commits on Dec 4, 2014