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

Directory listing for leancheck-0.7.2 source tarball

leancheck-0.7.2/

• .gitignore
• .travis.yml
• CREDITS.md
• LICENSE
• Makefile
• README.md
• Setup.hs
• TODO.md
• leancheck.cabal
• stack.yaml
• bench/
  • tiers.hs
• doc/
  • data-invariant.md
  • tutorial.md
• eg/
  • higher-order.hs
  • overflow.hs
  • test-bool.hs
  • test-list.hs
  • test-sort.hs
• mk/
  • All.hs
  • Toplibs.hs
  • depend.mk
  • ghcdeps
  • haddock-i
  • haskell.mk
• src/
  • Test/
    • LeanCheck.hs
    • LeanCheck/
      • Basic.hs
      • Core.hs
      • Derive.hs
      • Error.hs
      • Function.hs
      • IO.hs
      • Stats.hs
      • Tiers.hs
      • Utils.hs
      • Function/
        • CoListable.hs
        • Eq.hs
        • Listable.hs
        • ListsOfPairs.hs
        • Show.hs
        • ShowFunction.hs
        • Listable/
          • CoListable.hs
          • FunListable.hs
          • ListsOfPairs.hs
          • Mixed.hs
          • Periodic.hs
      • Utils/
        • Operators.hs
        • TypeBinding.hs
        • Types.hs
• tests/
  • Test.hs
  • test-derive.hs
  • test-error.hs
  • test-fun.hs
  • test-funshow.hs
  • test-io.hs
  • test-operators.hs
  • test-sdist
  • test-stats.hs
  • test-tiers.hs
  • test-types.hs
  • test.hs
  • diff/
    • 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-Int,Int,Int.out
    • tiers-Int,Int.out
    • tiers-Int.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-Nats.out
    • tiers-NoDupBool.out
    • tiers-NoDupNat.out
    • tiers-NoDupNat2.out
    • tiers-NoDupNat3.out
    • tiers-NoDupU.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-XInt4.out
    • tiers-XNat7.out
    • tiers-XWord4.out
    • tiers-XsInt4.out
    • tiers-XsNat7.out
    • tiers-XsWord4.out
    • tiers-colistable-Bool-Bool.out
    • tiers-colistable-Bool-MBool.out
    • tiers-colistable-Bool-U.out
    • tiers-colistable-Bools-Bools.out
    • tiers-colistable-Int-Int-Int.out
    • tiers-colistable-Int-Int.out
    • tiers-colistable-Ints-Ints.out
    • tiers-colistable-MBool-Bool.out
    • tiers-colistable-MBool-MBool.out
    • tiers-colistable-Nat,Nat-Nat.out
    • tiers-colistable-Nat-Nat-Nat.out
    • tiers-colistable-Nat-Nat.out
    • tiers-colistable-Nat-U.out
    • tiers-colistable-Nat2-Nat2.out
    • tiers-colistable-Nat2-Nat3.out
    • tiers-colistable-Nat3-Nat2.out
    • tiers-colistable-Nat3-Nat3.out
    • tiers-colistable-Nats-Nats.out
    • tiers-colistable-U-Bool.out
    • tiers-colistable-U-Nat.out
    • tiers-colistable-U-U.out
    • tiers-colistable-Us-Us.out
    • tiers-funlistable-Bool-Bool.out
    • tiers-funlistable-Bool-MBool.out
    • tiers-funlistable-Bool-U.out
    • tiers-funlistable-Bools-Bools.out
    • tiers-funlistable-Int-Int-Int.out
    • tiers-funlistable-Int-Int.out
    • tiers-funlistable-Ints-Ints.out
    • tiers-funlistable-MBool-Bool.out
    • tiers-funlistable-MBool-MBool.out
    • tiers-funlistable-Nat,Nat-Nat.out
    • tiers-funlistable-Nat-Nat-Nat.out
    • tiers-funlistable-Nat-Nat.out
    • tiers-funlistable-Nat-U.out
    • tiers-funlistable-Nat2-Nat2.out
    • tiers-funlistable-Nat2-Nat3.out
    • tiers-funlistable-Nat3-Nat2.out
    • tiers-funlistable-Nat3-Nat3.out
    • tiers-funlistable-Nats-Nats.out
    • tiers-funlistable-U-Bool.out
    • tiers-funlistable-U-Nat.out
    • tiers-funlistable-U-U.out
    • tiers-funlistable-Us-Us.out
    • tiers-listsofpairs-Bool-Bool.out
    • tiers-listsofpairs-Bool-MBool.out
    • tiers-listsofpairs-Bool-U.out
    • tiers-listsofpairs-Bools-Bools.out
    • tiers-listsofpairs-Int-Int-Int.out
    • tiers-listsofpairs-Int-Int.out
    • tiers-listsofpairs-Ints-Ints.out
    • tiers-listsofpairs-MBool-Bool.out
    • tiers-listsofpairs-MBool-MBool.out
    • tiers-listsofpairs-Nat,Nat-Nat.out
    • tiers-listsofpairs-Nat-Nat-Nat.out
    • tiers-listsofpairs-Nat-Nat.out
    • tiers-listsofpairs-Nat-U.out
    • tiers-listsofpairs-Nat2-Nat2.out
    • tiers-listsofpairs-Nat2-Nat3.out
    • tiers-listsofpairs-Nat3-Nat2.out
    • tiers-listsofpairs-Nat3-Nat3.out
    • tiers-listsofpairs-Nats-Nats.out
    • tiers-listsofpairs-U-Bool.out
    • tiers-listsofpairs-U-Nat.out
    • tiers-listsofpairs-U-U.out
    • tiers-listsofpairs-Us-Us.out
    • tiers-mixed-Bool-Bool.out
    • tiers-mixed-Bool-MBool.out
    • tiers-mixed-Bool-U.out
    • tiers-mixed-Bools-Bools.out
    • tiers-mixed-Int-Int-Int.out
    • tiers-mixed-Int-Int.out
    • tiers-mixed-Ints-Ints.out
    • tiers-mixed-MBool-Bool.out
    • tiers-mixed-MBool-MBool.out
    • tiers-mixed-Nat,Nat-Nat.out
    • tiers-mixed-Nat-Nat-Nat.out
    • tiers-mixed-Nat-Nat.out
    • tiers-mixed-Nat-U.out
    • tiers-mixed-Nat2-Nat2.out
    • tiers-mixed-Nat2-Nat3.out
    • tiers-mixed-Nat3-Nat2.out
    • tiers-mixed-Nat3-Nat3.out
    • tiers-mixed-Nats-Nats.out
    • tiers-mixed-U-Bool.out
    • tiers-mixed-U-Nat.out
    • tiers-mixed-U-U.out
    • tiers-mixed-Us-Us.out
    • tiers.out
    • eg/
      • higher-order.out
      • overflow.out
      • test-bool.out
      • test-list.out
      • test-sort.out