Files

.github
.procedures
.travis
00-Getting-Started
01-FP-Philosophical-Foundations
02-Build-Tools
11-Syntax
21-Hello-World
- 02-Prelude-ish
- 03-Hello-World-and-Effects
- 04-Debugging
- 05-Testing
  - test
    - 01-Unit
    - 02-Quick-Check-and-Laws
      - 01-Test-Syntax.purs
      - 02-Generating-Random-Data.purs
      - 03-Arbitrary.purs
      - 04-Overlapping-Instances-with-Arbitrary.md
      - 05-Quick-Check-Laws.purs
      - 06-MonadGen.md
      - ReadMe.md
    - 03-Property-Testing-Libraries-Comparison.md
    - ReadMe.md
  - .purs-repl
  - ReadMe.md
  - packages.dhall
  - spago.dhall
- 06-Benchmarking
- 07-Type-Level-Programming
- 08-Application-Structure
- 11-Conclusion.md
- Readme.md
22-Projects
31-Design-Patterns
41-Ecosystem
.gitignore
.travis.yml
CONTRIBUTING.md
ReadMe.md
for-each-folder--install-deps-and-compile.sh
table-of-contents.md

04-Overlapping-Instances-with-Arbitrary.md

Rename folder to include laws part of QuickCheck

Sep 3, 2018

2304b26 · Sep 3, 2018

Overlapping Instances with Arbitrary

Unfortunately, Arbitrary often comes with a problem: overlapping instances.

Read this Haskell post for a clearer explanation on what they are and why they are problematic.