Commits

Branch selector

 master

User selector

jonathanknowles

Datepicker

All time

Commit History

Commits on Jan 7, 2025

• Explicitly state Monus laws in documentation.

  jonathanknowles

  committed
  5e80973

• When testing laws for Monus, include tuple types.

  jonathanknowles

  committed
  458821e

• When testing laws for Monus, include type ().

  jonathanknowles

  committed
  6c576b2

• Add tests for Monus laws.

  jonathanknowles

  committed
  24d71c7

Commits on Jan 6, 2025

• Add Semigroup constraints to class instances.

  Show description for 113d7bb
  jonathanknowles

  committed
  113d7bb

• Fix CI.

  Show description for fcd45c0
  jonathanknowles

  committed
  fcd45c0

Commits on Apr 11, 2024

• Bump upper dependency bound for commutative-semigroups.

  jonathanknowles

  committed
  4c85f45

Commits on Mar 30, 2023

• Extend module documentation for Data.Monoid.LCM.

  Show description for 1b5b244
  jonathanknowles

  committed
  1b5b244

• Extend module documentation for Data.Monoid.GCD.

  Show description for ec2c321
  jonathanknowles

  committed
  ec2c321

• Document and test associativity properties of classes in Monoid.GCD

  jonathanknowles

  committed
  5e4a82b

• Document and test commutativity properties of classes in Monoid.GCD

  jonathanknowles

  committed
  445f91a

• Document and test identity properties of classes in Monoid.GCD.

  jonathanknowles

  committed
  d1f18e7

• Document and test idempotence properties of classes in Monoid.GCD.

  jonathanknowles

  committed
  6a60847

• Document and test uniqueness property for GCDMonoid.

  Show description for ed8ab17
  jonathanknowles

  committed
  ed8ab17

• Remove conditional distributivity tests for GCDMonoid.

  Show description for 4432572
  jonathanknowles

  committed
  4432572

• Simplify implementation of cancellativeInstances.

  Show description for ad3a456
  jonathanknowles

  committed
  ad3a456

• Simplify implementation of gcdInstances.

  Show description for 4668b8d
  jonathanknowles

  committed
  4668b8d

• Inline definition of cancellativeGCDInstances.

  Show description for 086876c
  jonathanknowles

  committed
  086876c

• Remove distributivity laws from LCMMonoid documentation.

  Show description for 15d6dc2
  jonathanknowles

  committed
  15d6dc2

• Remove distributivity laws from GCDMonoid documentation.

  Show description for b4d5a16
  jonathanknowles

  committed
  b4d5a16

• Add DistributiveLCMMonoid tests.

  Show description for dff2d71
  jonathanknowles

  committed
  dff2d71

• Add DistributiveLCMMonoid class and instances.

  jonathanknowles

  committed
  50a43aa

• Add DistributiveGCDMonoid tests.

  jonathanknowles

  committed
  af1d3a9

• Add DistributiveGCDMonoid class and instances.

  jonathanknowles

  committed
  e1a23b5

• Add {Left,Right}DistributiveGCDMonoid tests.

  jonathanknowles

  committed
  cfa8fe4

• Add {Left,Right}DistributiveGCDMonoid classes and instances.

  jonathanknowles

  committed
  63db6d8

• Flatten list of imports in TestMonoidSubclasses.

  Show description for 8678c4e
  jonathanknowles

  committed
  8678c4e

• Flatten list of exports in Data.Monoid.GCD.

  Show description for 35fc22f
  jonathanknowles

  committed
  35fc22f

• Flatten list of exports in monoid-sublasses.cabal.

  Show description for fabab43
  jonathanknowles

  committed
  fabab43

Commits on Mar 5, 2023

• Fix haddock links to GCDMonoid.gcd.

  Show description for 2d37acb
  jonathanknowles

  committed
  2d37acb

• Repair links to hackage within README.md.

  Show description for 2f21273
  jonathanknowles

  committed
  2f21273

Commits on Mar 3, 2023

• Add description of LCMMonoid type class to README.md.

  jonathanknowles

  committed
  0034792

• Add test suite for LCMMonoid type class.

  jonathanknowles

  committed
  7bc3d4e

• Add Data.Monoid.LCM module with LCMMonoid type class.

  jonathanknowles

  committed
  bc73a51

Commits on Nov 26, 2022

• Add test MonusInstance for Maybe () and Maybe (Sum Natural).

  jonathanknowles

  committed
  d5f935b

Pagination

PreviousNext