Hackage :: [Package]
Home
Search
Browse
What's new
Upload
User accounts
Directory listing for leancheck-0.4.0 source tarball
leancheck-0.4.0/
CREDITS.md
LICENSE
README.md
Setup.hs
leancheck.cabal
doc/
data-invariant.md
tutorial.md
src/
Test/
LeanCheck.hs
LeanCheck/
Basic.hs
Core.hs
Derive.hs
Error.hs
Function.hs
IO.hs
Invariants.hs
Tiers.hs
Utils.hs
Function/
CoListable.hs
ListsOfPairs.hs
Periodic.hs
Show.hs
ShowFunction.hs
Utils/
Operators.hs
TypeBinding.hs
Types.hs
tests/
test-derive.hs
test-error.hs
test-operators.hs
test-types.hs
test-utils.hs
test.hs