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

Directory listing for leancheck-1.0.2 source tarball

leancheck-1.0.2/

• .gitignore
• CREDITS.md
• LICENSE
• Makefile
• README.md
• Setup.hs
• TODO.md
• changelog.md
• leancheck.cabal
• stack.yaml
• .github/
  • workflows/
    • build.yml
• bench/
  • dets.hs
  • memory-usage.hs
  • pick.hs
  • tiers.hs
  • time-and-memory
  • tiers-txt/
    • 4cases-Bool-Bool-Bool-Bool.txt
    • 4cases-Bool-Bool-Bool.txt
    • 4cases-Bool-Bool.txt
    • 4cases-Bool-Int-Bool.txt
    • 4cases-Bool-MBool.txt
    • 4cases-Bool-U.txt
    • 4cases-Bools-Bools.txt
    • 4cases-Int-Bool-Bool.txt
    • 4cases-Int-Int-Int-Int.txt
    • 4cases-Int-Int-Int.txt
    • 4cases-Int-Int.txt
    • 4cases-Ints-Ints.txt
    • 4cases-MBool-Bool.txt
    • 4cases-MBool-MBool.txt
    • 4cases-Nat,Nat-Nat.txt
    • 4cases-Nat-Nat-Nat.txt
    • 4cases-Nat-Nat.txt
    • 4cases-Nat-U.txt
    • 4cases-Nat2-Nat2.txt
    • 4cases-Nat2-Nat3.txt
    • 4cases-Nat3-Nat2.txt
    • 4cases-Nat3-Nat3.txt
    • 4cases-Nats-Nats.txt
    • 4cases-U-Bool.txt
    • 4cases-U-Nat.txt
    • 4cases-U-U.txt
    • 4cases-Us-Us.txt
    • BagBool.txt
    • BagNat.txt
    • BagNat2.txt
    • BagNat3.txt
    • BagU.txt
    • Bool.txt
    • Bools.txt
    • Char.txt
    • ComplexDouble.txt
    • Double.txt
    • Float.txt
    • Int,Int,Int.txt
    • Int,Int.txt
    • Int.txt
    • Int2.txt
    • Int3.txt
    • Int4.txt
    • Int8.txt
    • Integer.txt
    • Ints.txt
    • MapBoolBool.txt
    • MapNat2Nat2.txt
    • MapNat3Nat3.txt
    • MapNatNat.txt
    • MapUU.txt
    • Nat,Nat,Nat.txt
    • Nat,Nat.txt
    • Nat.txt
    • Nat2.txt
    • Nat3.txt
    • Nat4.txt
    • Nats.txt
    • NoDupBool.txt
    • NoDupNat.txt
    • NoDupNat2.txt
    • NoDupNat3.txt
    • NoDupU.txt
    • Rational.txt
    • SetBool.txt
    • SetNat.txt
    • SetNat2.txt
    • SetNat3.txt
    • SetU.txt
    • String.txt
    • U,Us.txt
    • U.txt
    • Us,Us.txt
    • Us.txt
    • Word2.txt
    • Word3.txt
    • Word4.txt
    • Word8.txt
    • XInt4.txt
    • XNat7.txt
    • XWord4.txt
    • XsInt4.txt
    • XsNat7.txt
    • XsWord4.txt
    • default-Bool-Bool-Bool-Bool.txt
    • default-Bool-Bool-Bool.txt
    • default-Bool-Bool.txt
    • default-Bool-Int-Bool.txt
    • default-Bool-MBool.txt
    • default-Bool-U.txt
    • default-Bools-Bools.txt
    • default-Int-Bool-Bool.txt
    • default-Int-Int-Int-Int.txt
    • default-Int-Int-Int.txt
    • default-Int-Int.txt
    • default-Ints-Ints.txt
    • default-MBool-Bool.txt
    • default-MBool-MBool.txt
    • default-Nat,Nat-Nat.txt
    • default-Nat-Nat-Nat.txt
    • default-Nat-Nat.txt
    • default-Nat-U.txt
    • default-Nat2-Nat2.txt
    • default-Nat2-Nat3.txt
    • default-Nat3-Nat2.txt
    • default-Nat3-Nat3.txt
    • default-Nats-Nats.txt
    • default-U-Bool.txt
    • default-U-Nat.txt
    • default-U-U.txt
    • default-Us-Us.txt
• doc/
  • data-invariant.md
  • faq.md
  • leancheck.svg
  • memory-usage.md
  • tutorial.md
• eg/
  • higher-order.hs
  • higher-order.txt
  • overflow.hs
  • overflow.txt
  • test-bool.hs
  • test-bool.txt
  • test-float.hs
  • test-float.txt
  • test-list.hs
  • test-list.txt
  • test-sort.hs
  • test-sort.txt
• etc/
  • hugs-backports/
    • Data/
      • Function.hs
• mk/
  • All.hs
  • Toplibs.hs
  • depend.mk
  • ghcdeps
  • haddock-i
  • haskell.mk
  • install-on
• src/
  • Test/
    • LeanCheck.hs
    • LeanCheck/
      • Basic.hs
      • Core.hs
      • Derive.hs
      • Error.hs
      • Function.hs
      • Generic.hs
      • IO.hs
      • Stats.hs
      • Tiers.hs
      • Utils.hs
      • Function/
        • Eq.hs
        • List.hs
        • Listable.hs
        • ListsOfPairs.hs
        • Ord.hs
        • Show.hs
        • ShowFunction.hs
        • Listable/
          • ListsOfPairs.hs
        • Show/
          • EightLines.hs
          • FourCases.hs
      • Utils/
        • Operators.hs
        • TypeBinding.hs
        • Types.hs
• test/
  • Test.hs
  • derive.hs
  • error.hs
  • fun.hs
  • funshow.hs
  • generic.hs
  • io.hs
  • main.hs
  • operators.hs
  • sdist
  • stats.hs
  • tiers.hs
  • types.hs