cabal-install/tests/UnitTests/Distribution/Solver/Modular/Builder.hs

   1 module UnitTests.Distribution.Solver.Modular.Builder
   2   ( tests
   3   ) where
   4
   5 import Distribution.Solver.Modular.Builder
   6
   7 import Test.Tasty
   8 import Test.Tasty.QuickCheck
   9
  10 tests :: [TestTree]
  11 tests =
  12   [ testProperty "splitsAltImplementation" splitsTest
  13   ]
  14
  15 -- | Simpler splits implementation
  16 splits' :: [a] -> [(a, [a])]
  17 splits' [] = []
  18 splits' (x : xs) = (x, xs) : map (\(y, ys) -> (y, x : ys)) (splits' xs)
  19
  20 splitsTest :: [Int] -> Property
  21 splitsTest xs = splits' xs === splits xs