lib:ivory-quickcheck
Modules
Dependencies
- QuickCheck lib:QuickCheck >=2.7
- base lib:base >=4.7 && <5
- base-compat lib:base-compat >=0
- ivory lib:ivory >=0
- ivory-backend-c lib:ivory-backend-c >=0
- ivory-eval lib:ivory-eval >=0
- monadLib lib:monadLib >=0
- random lib:random >=0
Reverse dependencies
Direct only. Not exhaustive.
- acme-everything lib:acme-everything
- ivory-examples exe:ivory-c-clang-test
- ivory-examples exe:ivory-fibtutorial
- ivory-quickcheck test:test