Code

Add checks for Enum#23

Code

Merged

JordanMartinez merged 18 commits intopurescript-contrib:mainpurescript-contrib/purescript-quickcheck-laws:mainfrom jacereda:masterjacereda/purescript-quickcheck-laws:masterCopy head branch name to clipboardNov 10, 2021

+78-6

Commits

Commits on Nov 11, 2016

• Add checks for Enum

  jacereda

  committed
  c0816ae

• Remove redundant checks

  jacereda

  committed
  79b286b

• New set of laws

  jacereda

  committed
  fa66b38

Commits on Nov 15, 2016

• Inconsistent variable names

  jacereda

  committed
  cbf406e

• Use pred/succ instead of arithmetic

  jacereda

  committed
  f1a33bf

Commits on Nov 22, 2016

• Don't call checkEnum from checkBoundedEnum

  jacereda

  committed
  a311bef

Commits on Sep 1, 2017

• Merge

  jacereda

  committed
  cb786f5

Commits on Sep 3, 2017

• Detect overflow when checking submultiplicative euclidean function

  jacereda

  committed
  cf6ff0c

Commits on Sep 23, 2021

• Merge branch 'main' into master

  JordanMartinez

  authored
  6ccc118

• Update module names in imports; fix whitespace

  JordanMartinez

  authored
  4896982

• Remove duplicate Enum instances

  JordanMartinez

  authored
  b2ae0e6

• Fix errors in Enum file

  JordanMartinez

  authored
  16d262e

• Drop BoundedEnum check for Either

  JordanMartinez

  authored
  b67b96e

• Drop BoundedEnum check for Maybe

  JordanMartinez

  authored
  da8ecf1

• Drop BoundedEnum check for Tuple

  JordanMartinez

  authored
  2026905

Commits on Sep 28, 2021

• Merge remote-tracking branch 'origin/main' into HEAD

  JordanMartinez

  committed
  125a9ea

• Add checkEnumGen

  JordanMartinez

  committed
  0fb9559

• Revert EuclideanRing change

  JordanMartinez

  committed
  d49403d