• Home
• Search 
• Browse
• What's new
• Upload
• User accounts

Directory listing for leancheck-0.5.0 source tarball

leancheck-0.5.0/

• CREDITS.md
• LICENSE
• README.md
• Setup.hs
• TODO.md
• 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-tiers.hs
  • test-types.hs
  • test.hs