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

Directory listing for leancheck-1.0.0 source tarball

leancheck-1.0.0/

• .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
• doc/
  • data-invariant.md
  • faq.md
  • leancheck.svg
  • memory-usage.md
  • tutorial.md
• eg/
  • higher-order.hs
  • overflow.hs
  • test-bool.hs
  • test-float.hs
  • test-list.hs
  • test-sort.hs
• 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
  • diff/
    • tiers-4cases-Bool-Bool-Bool-Bool.out
    • tiers-4cases-Bool-Bool-Bool.out
    • tiers-4cases-Bool-Bool.out
    • tiers-4cases-Bool-Int-Bool.out
    • tiers-4cases-Bool-MBool.out
    • tiers-4cases-Bool-U.out
    • tiers-4cases-Bools-Bools.out
    • tiers-4cases-Int-Bool-Bool.out
    • tiers-4cases-Int-Int-Int-Int.out
    • tiers-4cases-Int-Int-Int.out
    • tiers-4cases-Int-Int.out
    • tiers-4cases-Ints-Ints.out
    • tiers-4cases-MBool-Bool.out
    • tiers-4cases-MBool-MBool.out
    • tiers-4cases-Nat,Nat-Nat.out
    • tiers-4cases-Nat-Nat-Nat.out
    • tiers-4cases-Nat-Nat.out
    • tiers-4cases-Nat-U.out
    • tiers-4cases-Nat2-Nat2.out
    • tiers-4cases-Nat2-Nat3.out
    • tiers-4cases-Nat3-Nat2.out
    • tiers-4cases-Nat3-Nat3.out
    • tiers-4cases-Nats-Nats.out
    • tiers-4cases-U-Bool.out
    • tiers-4cases-U-Nat.out
    • tiers-4cases-U-U.out
    • tiers-4cases-Us-Us.out
    • tiers-BagBool.out
    • tiers-BagNat.out
    • tiers-BagNat2.out
    • tiers-BagNat3.out
    • tiers-BagU.out
    • tiers-Bool.out
    • tiers-Bools.out
    • tiers-Char.out
    • tiers-ComplexDouble.out
    • tiers-Double.out
    • tiers-Float.out
    • tiers-Int,Int,Int.out
    • tiers-Int,Int.out
    • tiers-Int.out
    • tiers-Int2.out
    • tiers-Int3.out
    • tiers-Int4.out
    • tiers-Int8.out
    • tiers-Integer.out
    • tiers-Ints.out
    • tiers-MapBoolBool.out
    • tiers-MapNat2Nat2.out
    • tiers-MapNat3Nat3.out
    • tiers-MapNatNat.out
    • tiers-MapUU.out
    • tiers-Nat,Nat,Nat.out
    • tiers-Nat,Nat.out
    • tiers-Nat.out
    • tiers-Nat2.out
    • tiers-Nat3.out
    • tiers-Nat4.out
    • tiers-Nats.out
    • tiers-NoDupBool.out
    • tiers-NoDupNat.out
    • tiers-NoDupNat2.out
    • tiers-NoDupNat3.out
    • tiers-NoDupU.out
    • tiers-Rational.out
    • tiers-SetBool.out
    • tiers-SetNat.out
    • tiers-SetNat2.out
    • tiers-SetNat3.out
    • tiers-SetU.out
    • tiers-String.out
    • tiers-U,Us.out
    • tiers-Us,Us.out
    • tiers-Us.out
    • tiers-Word2.out
    • tiers-Word3.out
    • tiers-Word4.out
    • tiers-Word8.out
    • tiers-XInt4.out
    • tiers-XNat7.out
    • tiers-XWord4.out
    • tiers-XsInt4.out
    • tiers-XsNat7.out
    • tiers-XsWord4.out
    • tiers-default-Bool-Bool-Bool-Bool.out
    • tiers-default-Bool-Bool-Bool.out
    • tiers-default-Bool-Bool.out
    • tiers-default-Bool-Int-Bool.out
    • tiers-default-Bool-MBool.out
    • tiers-default-Bool-U.out
    • tiers-default-Bools-Bools.out
    • tiers-default-Int-Bool-Bool.out
    • tiers-default-Int-Int-Int-Int.out
    • tiers-default-Int-Int-Int.out
    • tiers-default-Int-Int.out
    • tiers-default-Ints-Ints.out
    • tiers-default-MBool-Bool.out
    • tiers-default-MBool-MBool.out
    • tiers-default-Nat,Nat-Nat.out
    • tiers-default-Nat-Nat-Nat.out
    • tiers-default-Nat-Nat.out
    • tiers-default-Nat-U.out
    • tiers-default-Nat2-Nat2.out
    • tiers-default-Nat2-Nat3.out
    • tiers-default-Nat3-Nat2.out
    • tiers-default-Nat3-Nat3.out
    • tiers-default-Nats-Nats.out
    • tiers-default-U-Bool.out
    • tiers-default-U-Nat.out
    • tiers-default-U-U.out
    • tiers-default-Us-Us.out
    • tiers.out
    • eg/
      • higher-order.out
      • overflow.out
      • test-bool.out
      • test-float.out
      • test-list.out
      • test-sort.out