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

Directory listing for leancheck-instances-0.0.5 candidate source tarball

leancheck-instances-0.0.5/

• .gitignore
• LICENSE
• Makefile
• README.md
• Setup.hs
• TODO.md
• changelog.md
• leancheck-instances.cabal
• stack.yaml
• .github/
  • workflows/
    • build.yml
• bench/
  • tiers.hs
• eg/
  • test-text.hs
• mk/
  • All.hs
  • Toplibs.hs
  • depend.mk
  • ghcdeps
  • haddock-i
  • haskell.mk
  • install-on
• src/
  • Test/
    • LeanCheck/
      • Instances.hs
      • WithInstances.hs
      • Instances/
        • Array.hs
        • ByteString.hs
        • Containers.hs
        • Natural.hs
        • Text.hs
        • Time.hs
        • Void.hs
• test/
  • main.hs
  • sdist
  • text.hs
  • diff/
    • tiers-ArrayIntInt.out
    • tiers-ByteString.out
    • tiers-Day.out
    • tiers-DiffTime.out
    • tiers-IntMapInt.out
    • tiers-IntSet.out
    • tiers-MapBoolBool.out
    • tiers-MapIntInt.out
    • tiers-Natural.out
    • tiers-SeqBool.out
    • tiers-SeqInt.out
    • tiers-SetBool.out
    • tiers-SetInt.out
    • tiers-Text.out
    • tiers-UTCTime.out
    • eg/
      • test-text.out