Code

Fix laws#32

Code

Merged

hdgarrood merged 5 commits intomasterpurescript/purescript-enums:masterfrom

fix-lawspurescript/purescript-enums:fix-lawsCopy head branch name to clipboard

Jul 29, 2017

Commits

Commits on Jul 29, 2017

• Laws didn't hold for BoundedEnum

  

  jacereda

  authored and

  hdgarrood

  committed
  890adb8

  Copy full SHA for 890adb8

• New laws

  

  jacereda

  authored and

  hdgarrood

  committed
  1294f2e

  Copy full SHA for 1294f2e

• Fix inconsistency in variable names

  

  jacereda

  authored and

  hdgarrood

  committed
  6f34826

  Copy full SHA for 6f34826

• Use pred/succ instead of arithmetic

  

  jacereda

  authored and

  hdgarrood

  committed
  186f26a

  Copy full SHA for 186f26a

• Minor tweaks to Enum laws

  Show description for 97e2ac5
  hdgarrood

  committed
  97e2ac5

  Copy full SHA for 97e2ac5