packages feed

event-list 0.0.10 → 0.0.10.1

raw patch · 12 files changed

+254/−258 lines, 12 filesdep ~QuickCheckdep ~basePVP ok

version bump matches the API change (PVP)

Dependency ranges changed: QuickCheck, base

API changes (from Hackage documentation)

Files

event-list.cabal view
@@ -1,10 +1,10 @@ Name:             event-list-Version:          0.0.10+Version:          0.0.10.1 License:          GPL License-File:     LICENSE Author:           Henning Thielemann <haskell@henning-thielemann.de> Maintainer:       Henning Thielemann <haskell@henning-thielemann.de>-Homepage:         http://darcs.haskell.org/event-list/+Homepage:         http://code.haskell.org/~thielema/event-list/ Category:         Data Synopsis:         Event lists with relative or absolute time stamps Description:@@ -21,12 +21,12 @@ Build-Type:        Simple Source-Repository head   type:     darcs-  location: http://darcs.haskell.org/event-list/+  location: http://code.haskell.org/~thielema/event-list/  Source-Repository this   type:     darcs-  location: http://darcs.haskell.org/event-list/-  tag:      0.0.10+  location: http://code.haskell.org/~thielema/event-list/+  tag:      0.0.10.1  Flag splitBase   description: Choose the new smaller, split-up base package.@@ -36,11 +36,13 @@   default:     False  Library-  Build-Depends: non-negative>=0.0 && <0.1-  Build-Depends: transformers >=0.0.1 && <0.2-  Build-Depends: utility-ht >=0.0.3 && <0.1+  Build-Depends:+    non-negative>=0.0 && <0.1,+    transformers >=0.0.1 && <0.2,+    utility-ht >=0.0.3 && <0.1,+    QuickCheck >=1.1 && <3   If flag(splitBase)-    Build-Depends: base >= 2 && <5+    Build-Depends: base >= 2 && <6   Else     Build-Depends:       special-functors >= 1.0 && <1.1,@@ -77,9 +79,11 @@     Buildable:         False    -- QuickCheck 1.1 has Maybe instance which we need-  Build-Depends: QuickCheck >=1.1 && <2+  Build-Depends:+    QuickCheck >=1.1 && <3   If flag(splitBase)-    Build-Depends: random >=1.0 && <2.0+    Build-Depends:+      random >=1.0 && <2.0    GHC-Options:      -Wall   Hs-Source-Dirs:   src
src/Data/AlternatingList/List/Disparate.hs view
@@ -39,7 +39,7 @@ import Control.Applicative (Applicative, pure, ) import Data.Monoid (Monoid, mempty, mappend, ) -import Test.QuickCheck (Arbitrary, arbitrary, coarbitrary)+import Test.QuickCheck (Arbitrary, arbitrary, )  import Prelude hiding    (null, foldr, map, concat, cycle, length, take, drop, splitAt,@@ -72,12 +72,10 @@ instance (Arbitrary a, Arbitrary b) =>              Arbitrary (Pair a b) where    arbitrary = Monad.liftM2 Pair arbitrary arbitrary-   coarbitrary = undefined  instance (Arbitrary a, Arbitrary b) =>              Arbitrary (T a b) where    arbitrary = Monad.liftM Cons arbitrary-   coarbitrary = undefined   fromPairList :: [(a,b)] -> T a b
src/Data/AlternatingList/List/Uniform.hs view
@@ -39,7 +39,7 @@ import Control.Applicative (Applicative, pure, ) import Data.Monoid (Monoid, mempty, mappend, ) -import Test.QuickCheck (Arbitrary, arbitrary, coarbitrary)+import Test.QuickCheck (Arbitrary, arbitrary, )  import Data.Tuple.HT (mapFst, mapSnd, mapPair, ) import Data.Maybe.HT (toMaybe, )@@ -82,7 +82,6 @@ instance (Arbitrary a, Arbitrary b) =>              Arbitrary (T a b) where    arbitrary = Monad.liftM2 Cons arbitrary arbitrary-   coarbitrary = undefined
src/Data/EventList/Relative/BodyBodyPrivate.hs view
@@ -13,7 +13,7 @@  import qualified Control.Monad as Monad -import Test.QuickCheck (Arbitrary(..))+import Test.QuickCheck (Arbitrary(arbitrary))   @@ -27,7 +27,6 @@ instance (Arbitrary time, Arbitrary body) =>              Arbitrary (T time body) where    arbitrary = Monad.liftM Cons arbitrary-   coarbitrary = undefined   infixl 5 $**
src/Data/EventList/Relative/BodyTimePrivate.hs view
@@ -13,7 +13,7 @@  import qualified Control.Monad as Monad -import Test.QuickCheck (Arbitrary(..))+import Test.QuickCheck (Arbitrary(arbitrary))   @@ -27,7 +27,6 @@ instance (Arbitrary time, Arbitrary body) =>              Arbitrary (T time body) where    arbitrary = Monad.liftM Cons arbitrary-   coarbitrary = undefined   infixl 5 $*~
src/Data/EventList/Relative/TimeBodyPrivate.hs view
@@ -21,7 +21,7 @@  import Data.Tuple.HT (mapSnd, ) -import Test.QuickCheck (Arbitrary(..))+import Test.QuickCheck (Arbitrary(arbitrary))   @@ -36,7 +36,6 @@ instance (Arbitrary time, Arbitrary body) =>              Arbitrary (T time body) where    arbitrary = Monad.liftM Cons arbitrary-   coarbitrary = undefined   infixl 5 $~*
src/Data/EventList/Relative/TimeTimePrivate.hs view
@@ -24,7 +24,7 @@  import Control.Applicative (Applicative, ) -import Test.QuickCheck (Arbitrary(..))+import Test.QuickCheck (Arbitrary(arbitrary))   @@ -38,7 +38,6 @@ instance (Arbitrary time, Arbitrary body) =>              Arbitrary (T time body) where    arbitrary = Monad.liftM Cons arbitrary-   coarbitrary = undefined   infixl 5 $~~
src/Test/Data/EventList/Absolute/BodyEnd.hs view
@@ -8,7 +8,7 @@ module Test.Data.EventList.Absolute.BodyEnd (tests) where  import Test.Utility-import Test.QuickCheck (test)+import Test.QuickCheck (quickCheck)  import qualified Data.EventList.Absolute.TimeBody as AbsBody import qualified Data.EventList.Absolute.TimeBodyPrivate as AbsBodyPriv@@ -278,45 +278,45 @@ tests :: [(String, IO ())] tests =    ("duration",-     test (duration :: RelBody.T TimeDiff ArbChar -> Bool)) :+     quickCheck (duration :: RelBody.T TimeDiff ArbChar -> Bool)) :    ("mapBody",-     test (mapBody toUpper :: RelBody.T TimeDiff ArbChar -> Bool)) :+     quickCheck (mapBody toUpper :: RelBody.T TimeDiff ArbChar -> Bool)) :    ("mapBodyM",-     test (mapBodyMRandom :: Int -> RelBody.T TimeDiff (ArbChar, ArbChar) -> Bool)) :+     quickCheck (mapBodyMRandom :: Int -> RelBody.T TimeDiff (ArbChar, ArbChar) -> Bool)) :    ("filter",-     test (\c -> filter (c<) :: RelBody.T TimeDiff ArbChar -> Bool)) :+     quickCheck (\c -> filter (c<) :: RelBody.T TimeDiff ArbChar -> Bool)) :    ("catMaybes",-     test (catMaybes :: RelBody.T TimeDiff (Maybe ArbChar) -> Bool)) :+     quickCheck (catMaybes :: RelBody.T TimeDiff (Maybe ArbChar) -> Bool)) :    ("partition",-     test (\c -> partition (c<) :: RelBody.T TimeDiff ArbChar -> Bool)) :+     quickCheck (\c -> partition (c<) :: RelBody.T TimeDiff ArbChar -> Bool)) :    ("slice",-     test (slice fst :: RelBody.T TimeDiff (ArbChar,ArbChar) -> Bool)) :+     quickCheck (slice fst :: RelBody.T TimeDiff (ArbChar,ArbChar) -> Bool)) :    ("collectCoincident",-     test (collectCoincident :: RelBody.T TimeDiff ArbChar -> Bool)) :+     quickCheck (collectCoincident :: RelBody.T TimeDiff ArbChar -> Bool)) :    ("collectCoincidentFoldr",-     test (collectCoincidentFoldr :: RelBody.T TimeDiff ArbChar -> Bool)) :+     quickCheck (collectCoincidentFoldr :: RelBody.T TimeDiff ArbChar -> Bool)) :    ("collectCoincidentNonLazy",-     test (collectCoincidentNonLazy :: RelBody.T TimeDiff ArbChar -> Bool)) :+     quickCheck (collectCoincidentNonLazy :: RelBody.T TimeDiff ArbChar -> Bool)) :    ("collectCoincidentInfinite",-     test (collectCoincidentInfinite :: NonEmptyList TimeDiff ArbChar -> Bool)) :+     quickCheck (collectCoincidentInfinite :: NonEmptyList TimeDiff ArbChar -> Bool)) :    ("flatten",-     test (flatten :: RelBody.T TimeDiff [ArbChar] -> Bool)) :+     quickCheck (flatten :: RelBody.T TimeDiff [ArbChar] -> Bool)) :    ("normalize",-     test (normalize :: RelBody.T TimeDiff ArbChar -> Bool)) :+     quickCheck (normalize :: RelBody.T TimeDiff ArbChar -> Bool)) :    ("merge",-     test (merge :: RelBody.T TimeDiff ArbChar -> RelBody.T TimeDiff ArbChar -> Bool)) :+     quickCheck (merge :: RelBody.T TimeDiff ArbChar -> RelBody.T TimeDiff ArbChar -> Bool)) :    ("insert",-     test (insert :: TimeDiff -> ArbChar -> RelBody.T TimeDiff ArbChar -> Bool)) :+     quickCheck (insert :: TimeDiff -> ArbChar -> RelBody.T TimeDiff ArbChar -> Bool)) :    ("append",-     test (append :: RelBody.T TimeDiff ArbChar -> RelBody.T TimeDiff ArbChar -> Bool)) :+     quickCheck (append :: RelBody.T TimeDiff ArbChar -> RelBody.T TimeDiff ArbChar -> Bool)) :    ("concat",-     test (concat :: [RelBody.T TimeDiff ArbChar] -> Bool)) :+     quickCheck (concat :: [RelBody.T TimeDiff ArbChar] -> Bool)) :    ("decreaseStart",-     test (decreaseStart :: TimeDiff -> TimeDiff -> RelBody.T TimeDiff ArbChar -> Bool)) :+     quickCheck (decreaseStart :: TimeDiff -> TimeDiff -> RelBody.T TimeDiff ArbChar -> Bool)) :    ("delay",-     test (delay :: TimeDiff -> RelBody.T TimeDiff ArbChar -> Bool)) :+     quickCheck (delay :: TimeDiff -> RelBody.T TimeDiff ArbChar -> Bool)) :    ("resample",-     test (resample :: TimeDiff -> RelBody.T (TimeDiff, TimeDiff) ArbChar -> Bool)) :+     quickCheck (resample :: TimeDiff -> RelBody.T (TimeDiff, TimeDiff) ArbChar -> Bool)) :    ("resampleInfinite",-     test (resampleInfinite :: TimeDiff -> NonEmptyList (TimeDiff, TimeDiff) ArbChar -> Bool)) :+     quickCheck (resampleInfinite :: TimeDiff -> NonEmptyList (TimeDiff, TimeDiff) ArbChar -> Bool)) :    []
src/Test/Data/EventList/Absolute/TimeEnd.hs view
@@ -8,7 +8,7 @@ module Test.Data.EventList.Absolute.TimeEnd (tests) where  import Test.Utility-import Test.QuickCheck (test)+import Test.QuickCheck (quickCheck)  import qualified Data.EventList.Absolute.TimeTime as AbsTime import qualified Data.EventList.Absolute.TimeTimePrivate as AbsTimePriv@@ -255,41 +255,41 @@ tests :: [(String, IO ())] tests =    ("duration",-     test (duration :: RelTime.T TimeDiff ArbChar -> Bool)) :+     quickCheck (duration :: RelTime.T TimeDiff ArbChar -> Bool)) :    ("mapBody",-     test (mapBody toUpper :: RelTime.T TimeDiff ArbChar -> Bool)) :+     quickCheck (mapBody toUpper :: RelTime.T TimeDiff ArbChar -> Bool)) :    ("mapBodyM",-     test (mapBodyMRandom :: Int -> RelTime.T TimeDiff (ArbChar, ArbChar) -> Bool)) :+     quickCheck (mapBodyMRandom :: Int -> RelTime.T TimeDiff (ArbChar, ArbChar) -> Bool)) :    ("filter",-     test (\c -> filter (c<) :: RelTime.T TimeDiff ArbChar -> Bool)) :+     quickCheck (\c -> filter (c<) :: RelTime.T TimeDiff ArbChar -> Bool)) :    ("catMaybes",-     test (catMaybes :: RelTime.T TimeDiff (Maybe ArbChar) -> Bool)) :+     quickCheck (catMaybes :: RelTime.T TimeDiff (Maybe ArbChar) -> Bool)) :    ("partition",-     test (\c -> partition (c<) :: RelTime.T TimeDiff ArbChar -> Bool)) :+     quickCheck (\c -> partition (c<) :: RelTime.T TimeDiff ArbChar -> Bool)) :    ("slice",-     test (slice fst :: RelTime.T TimeDiff (ArbChar,ArbChar) -> Bool)) :+     quickCheck (slice fst :: RelTime.T TimeDiff (ArbChar,ArbChar) -> Bool)) :    ("collectCoincident",-     test (collectCoincident :: RelTime.T TimeDiff ArbChar -> Bool)) :+     quickCheck (collectCoincident :: RelTime.T TimeDiff ArbChar -> Bool)) :    ("collectCoincidentInfinite",-     test (collectCoincidentInfinite :: NonEmptyList TimeDiff ArbChar -> Bool)) :+     quickCheck (collectCoincidentInfinite :: NonEmptyList TimeDiff ArbChar -> Bool)) :    ("flatten",-     test (flatten :: RelTime.T TimeDiff [ArbChar] -> Bool)) :+     quickCheck (flatten :: RelTime.T TimeDiff [ArbChar] -> Bool)) :    ("normalize",-     test (normalize :: RelTime.T TimeDiff ArbChar -> Bool)) :+     quickCheck (normalize :: RelTime.T TimeDiff ArbChar -> Bool)) :    ("merge",-     test (merge :: RelTime.T TimeDiff ArbChar -> RelTime.T TimeDiff ArbChar -> Bool)) :+     quickCheck (merge :: RelTime.T TimeDiff ArbChar -> RelTime.T TimeDiff ArbChar -> Bool)) :    ("insert",-     test (insert :: TimeDiff -> ArbChar -> RelTime.T TimeDiff ArbChar -> Bool)) :+     quickCheck (insert :: TimeDiff -> ArbChar -> RelTime.T TimeDiff ArbChar -> Bool)) :    ("append",-     test (append :: RelTime.T TimeDiff ArbChar -> RelTime.T TimeDiff ArbChar -> Bool)) :+     quickCheck (append :: RelTime.T TimeDiff ArbChar -> RelTime.T TimeDiff ArbChar -> Bool)) :    ("concat",-     test (concat :: [RelTime.T TimeDiff ArbChar] -> Bool)) :+     quickCheck (concat :: [RelTime.T TimeDiff ArbChar] -> Bool)) :    ("decreaseStart",-     test (decreaseStart :: TimeDiff -> TimeDiff -> RelTime.T TimeDiff ArbChar -> Bool)) :+     quickCheck (decreaseStart :: TimeDiff -> TimeDiff -> RelTime.T TimeDiff ArbChar -> Bool)) :    ("delay",-     test (delay :: TimeDiff -> RelTime.T TimeDiff ArbChar -> Bool)) :+     quickCheck (delay :: TimeDiff -> RelTime.T TimeDiff ArbChar -> Bool)) :    ("resample",-     test (resample :: TimeDiff -> RelTime.T (TimeDiff, TimeDiff) ArbChar -> Bool)) :+     quickCheck (resample :: TimeDiff -> RelTime.T (TimeDiff, TimeDiff) ArbChar -> Bool)) :    ("resampleInfinite",-     test (resampleInfinite :: TimeDiff -> NonEmptyList (TimeDiff, TimeDiff) ArbChar -> Bool)) :+     quickCheck (resampleInfinite :: TimeDiff -> NonEmptyList (TimeDiff, TimeDiff) ArbChar -> Bool)) :    []
src/Test/Data/EventList/Relative/BodyEnd.hs view
@@ -8,7 +8,7 @@ module Test.Data.EventList.Relative.BodyEnd (tests) where  import Test.Utility-import Test.QuickCheck (test)+import Test.QuickCheck (quickCheck)  import qualified Data.EventList.Relative.TimeBody as TimeBodyList import qualified Data.EventList.Relative.TimeTime as TimeTimeList@@ -800,209 +800,209 @@ tests :: [(String, IO ())] tests =    ("viewTimeL consTime",-     test (viewLConsTime :: TimeBodyList.T TimeDiff ArbChar -> Bool)) :+     quickCheck (viewLConsTime :: TimeBodyList.T TimeDiff ArbChar -> Bool)) :    ("viewBodyL consBody",-     test (viewLConsBody :: BodyBodyList.T TimeDiff ArbChar -> Bool)) :+     quickCheck (viewLConsBody :: BodyBodyList.T TimeDiff ArbChar -> Bool)) :    ("switchTimeL consTime",-     test (switchLConsTime :: TimeBodyList.T TimeDiff ArbChar -> Bool)) :+     quickCheck (switchLConsTime :: TimeBodyList.T TimeDiff ArbChar -> Bool)) :    ("switchBodyL consBody",-     test (switchLConsBody :: BodyBodyList.T TimeDiff ArbChar -> Bool)) :+     quickCheck (switchLConsBody :: BodyBodyList.T TimeDiff ArbChar -> Bool)) :     ("viewLInfinite",-     test (viewLInfinite :: NonEmptyList TimeDiff ArbChar -> Bool)) :+     quickCheck (viewLInfinite :: NonEmptyList TimeDiff ArbChar -> Bool)) :    ("switchLInfinite",-     test (switchLInfinite :: NonEmptyList TimeDiff ArbChar -> Bool)) :+     quickCheck (switchLInfinite :: NonEmptyList TimeDiff ArbChar -> Bool)) :    ("consInfinite",-     test (consInfinite :: TimeDiff -> ArbChar -> NonEmptyList TimeDiff ArbChar -> Bool)) :+     quickCheck (consInfinite :: TimeDiff -> ArbChar -> NonEmptyList TimeDiff ArbChar -> Bool)) :    ("consTimeBodyInfinite",-     test (consTimeBodyInfinite :: TimeDiff -> ArbChar -> NonEmptyList TimeDiff ArbChar -> Bool)) :+     quickCheck (consTimeBodyInfinite :: TimeDiff -> ArbChar -> NonEmptyList TimeDiff ArbChar -> Bool)) :    ("snocInfinite",-     test (snocInfinite :: TimeDiff -> ArbChar -> NonEmptyList TimeDiff ArbChar -> Bool)) :+     quickCheck (snocInfinite :: TimeDiff -> ArbChar -> NonEmptyList TimeDiff ArbChar -> Bool)) :    ("consInfix",-     test (consInfix :: TimeDiff -> ArbChar -> TimeDiff -> ArbChar -> Bool)) :+     quickCheck (consInfix :: TimeDiff -> ArbChar -> TimeDiff -> ArbChar -> Bool)) :      ("map body composition",-     test (mapBodyComposition toUpper toLower+     quickCheck (mapBodyComposition toUpper toLower                :: TimeBodyList.T TimeDiff ArbChar -> Bool)) :    ("map time composition",-     test ((\dt0 dt1 -> mapTimeComposition (dt0+) (dt1+))+     quickCheck ((\dt0 dt1 -> mapTimeComposition (dt0+) (dt1+))                :: TimeDiff -> TimeDiff -> TimeBodyList.T TimeDiff ArbChar -> Bool)) :    ("map time body commutative",-     test ((\dt -> mapTimeBodyCommutative (dt+) toUpper)+     quickCheck ((\dt -> mapTimeBodyCommutative (dt+) toUpper)                :: TimeDiff -> TimeBodyList.T TimeDiff ArbChar -> Bool)) :     ("mapBodyInfinite",-     test (mapBodyInfinite toUpper+     quickCheck (mapBodyInfinite toUpper                :: NonEmptyList TimeDiff ArbChar -> Bool)) :    ("mapTimeInfinite",-     test (\dt -> mapTimeInfinite (dt+)+     quickCheck (\dt -> mapTimeInfinite (dt+)                :: NonEmptyList TimeDiff ArbChar -> Bool)) :     ("mapNormalize",-     test (mapNormalize succ+     quickCheck (mapNormalize succ                :: TimeBodyList.T TimeDiff ArbChar -> Bool)) :     ("append left identity",-     test (appendLeftIdentity :: TimeBodyList.T TimeDiff ArbChar -> Bool)) :+     quickCheck (appendLeftIdentity :: TimeBodyList.T TimeDiff ArbChar -> Bool)) :    ("append right identity",-     test (appendRightIdentity :: TimeBodyList.T TimeDiff ArbChar -> Bool)) :+     quickCheck (appendRightIdentity :: TimeBodyList.T TimeDiff ArbChar -> Bool)) :    ("append associative",-     test (appendAssociative+     quickCheck (appendAssociative               :: TimeBodyList.T TimeDiff ArbChar -> TimeBodyList.T TimeDiff ArbChar ->                  TimeBodyList.T TimeDiff ArbChar -> Bool)) :     ("appendCons",-     test (appendCons :: TimeDiff -> ArbChar -> TimeBodyList.T TimeDiff ArbChar -> Bool)) :+     quickCheck (appendCons :: TimeDiff -> ArbChar -> TimeBodyList.T TimeDiff ArbChar -> Bool)) :    ("mapBodyAppend",-     test (mapBodyAppend toUpper+     quickCheck (mapBodyAppend toUpper                :: TimeBodyList.T TimeDiff ArbChar -> TimeBodyList.T TimeDiff ArbChar -> Bool)) :    ("appendSplitAtTime",-     test (appendSplitAtTime :: TimeDiff -> TimeBodyList.T TimeDiff ArbChar -> Bool)) :+     quickCheck (appendSplitAtTime :: TimeDiff -> TimeBodyList.T TimeDiff ArbChar -> Bool)) :    ("appendFirstInfinite",-     test (appendFirstInfinite :: NonEmptyList TimeDiff ArbChar -> TimeBodyList.T TimeDiff ArbChar -> Bool)) :+     quickCheck (appendFirstInfinite :: NonEmptyList TimeDiff ArbChar -> TimeBodyList.T TimeDiff ArbChar -> Bool)) :    ("appendSecondInfinite",-     test (appendSecondInfinite :: TimeBodyList.T TimeDiff ArbChar -> NonEmptyList TimeDiff ArbChar -> Bool)) :+     quickCheck (appendSecondInfinite :: TimeBodyList.T TimeDiff ArbChar -> NonEmptyList TimeDiff ArbChar -> Bool)) :    ("cycleInfinite",-     test (cycleInfinite :: NonEmptyList TimeDiff ArbChar -> Bool)) :+     quickCheck (cycleInfinite :: NonEmptyList TimeDiff ArbChar -> Bool)) :     ("decreaseStart delay",-     test (decreaseStartDelay :: TimeDiff -> TimeBodyList.T TimeDiff ArbChar -> Bool)) :+     quickCheck (decreaseStartDelay :: TimeDiff -> TimeBodyList.T TimeDiff ArbChar -> Bool)) :    ("decreaseStartInfinite",-     test (decreaseStartInfinite :: TimeDiff -> NonEmptyList TimeDiff ArbChar -> Bool)) :+     quickCheck (decreaseStartInfinite :: TimeDiff -> NonEmptyList TimeDiff ArbChar -> Bool)) :     ("delay additive",-     test (delayAdditive :: TimeDiff -> TimeDiff -> TimeBodyList.T TimeDiff ArbChar -> Bool)) :+     quickCheck (delayAdditive :: TimeDiff -> TimeDiff -> TimeBodyList.T TimeDiff ArbChar -> Bool)) :    ("delay append pause",-     test (delayAppendPause :: TimeDiff -> TimeBodyList.T TimeDiff ArbChar -> Bool)) :+     quickCheck (delayAppendPause :: TimeDiff -> TimeBodyList.T TimeDiff ArbChar -> Bool)) :    ("delayInfinite",-     test (delayInfinite :: TimeDiff -> NonEmptyList TimeDiff ArbChar -> Bool)) :+     quickCheck (delayInfinite :: TimeDiff -> NonEmptyList TimeDiff ArbChar -> Bool)) :     ("splitAtTakeDropTime",-     test (splitAtTakeDropTime :: TimeDiff -> TimeBodyList.T TimeDiff ArbChar -> Bool)) :+     quickCheck (splitAtTakeDropTime :: TimeDiff -> TimeBodyList.T TimeDiff ArbChar -> Bool)) :    ("takeTimeEndPause",-     test (takeTimeEndPause :: TimeDiff -> TimeBodyList.T TimeDiff ArbChar -> Bool)) :+     quickCheck (takeTimeEndPause :: TimeDiff -> TimeBodyList.T TimeDiff ArbChar -> Bool)) :    ("takeTimeAppendFirst",-     test (takeTimeAppendFirst :: TimeDiff -> TimeBodyList.T TimeDiff ArbChar -> TimeBodyList.T TimeDiff ArbChar -> Bool)) :+     quickCheck (takeTimeAppendFirst :: TimeDiff -> TimeBodyList.T TimeDiff ArbChar -> TimeBodyList.T TimeDiff ArbChar -> Bool)) :    ("takeTimeAppendSecond",-     test (takeTimeAppendSecond :: TimeDiff -> TimeBodyList.T TimeDiff ArbChar -> TimeBodyList.T TimeDiff ArbChar -> Bool)) :+     quickCheck (takeTimeAppendSecond :: TimeDiff -> TimeBodyList.T TimeDiff ArbChar -> TimeBodyList.T TimeDiff ArbChar -> Bool)) :    ("takeTimeNormalize",-     test (takeTimeNormalize :: TimeDiff -> TimeBodyList.T TimeDiff ArbChar -> Bool)) :+     quickCheck (takeTimeNormalize :: TimeDiff -> TimeBodyList.T TimeDiff ArbChar -> Bool)) :    ("dropTimeNormalize",-     test (dropTimeNormalize :: TimeDiff -> TimeBodyList.T TimeDiff ArbChar -> Bool)) :+     quickCheck (dropTimeNormalize :: TimeDiff -> TimeBodyList.T TimeDiff ArbChar -> Bool)) :    ("takeTimeInfinite",-     test (takeTimeInfinite :: TimeDiff -> NonEmptyList TimeDiff ArbChar -> Bool)) :+     quickCheck (takeTimeInfinite :: TimeDiff -> NonEmptyList TimeDiff ArbChar -> Bool)) :    ("dropTimeInfinite",-     test (dropTimeInfinite :: TimeDiff -> NonEmptyList TimeDiff ArbChar -> Bool)) :+     quickCheck (dropTimeInfinite :: TimeDiff -> NonEmptyList TimeDiff ArbChar -> Bool)) :     ("duration pause",-     test (durationPause :: TimeDiff -> Bool)) :+     quickCheck (durationPause :: TimeDiff -> Bool)) :    ("duration append",-     test (durationAppend :: TimeBodyList.T TimeDiff ArbChar -> TimeBodyList.T TimeDiff ArbChar -> Bool)) :+     quickCheck (durationAppend :: TimeBodyList.T TimeDiff ArbChar -> TimeBodyList.T TimeDiff ArbChar -> Bool)) :    ("duration merge",-     test (durationMerge :: TimeBodyList.T TimeDiff ArbChar -> TimeBodyList.T TimeDiff ArbChar -> Bool)) :+     quickCheck (durationMerge :: TimeBodyList.T TimeDiff ArbChar -> TimeBodyList.T TimeDiff ArbChar -> Bool)) :    ("durationTakeTime",-     test (durationTakeTime :: TimeDiff -> TimeBodyList.T TimeDiff ArbChar -> Bool)) :+     quickCheck (durationTakeTime :: TimeDiff -> TimeBodyList.T TimeDiff ArbChar -> Bool)) :    ("durationDropTime",-     test (durationDropTime :: TimeDiff -> TimeBodyList.T TimeDiff ArbChar -> Bool)) :+     quickCheck (durationDropTime :: TimeDiff -> TimeBodyList.T TimeDiff ArbChar -> Bool)) :     ("filterSatisfy",-     test (\c -> filterSatisfy (c<) :: TimeBodyList.T TimeDiff ArbChar -> Bool)) :+     quickCheck (\c -> filterSatisfy (c<) :: TimeBodyList.T TimeDiff ArbChar -> Bool)) :    ("filterProjection",-     test (\c -> filterProjection (c<) :: TimeBodyList.T TimeDiff ArbChar -> Bool)) :+     quickCheck (\c -> filterProjection (c<) :: TimeBodyList.T TimeDiff ArbChar -> Bool)) :    ("filterCommutative",-     test (\c0 c1 -> filterCommutative (c0<) (c1>) :: TimeBodyList.T TimeDiff ArbChar -> Bool)) :+     quickCheck (\c0 c1 -> filterCommutative (c0<) (c1>) :: TimeBodyList.T TimeDiff ArbChar -> Bool)) :    ("filterComposition",-     test (\c0 c1 -> filterComposition (c0<) (c1>) :: TimeBodyList.T TimeDiff ArbChar -> Bool)) :+     quickCheck (\c0 c1 -> filterComposition (c0<) (c1>) :: TimeBodyList.T TimeDiff ArbChar -> Bool)) :    ("filterNormalize",-     test (\c -> filterNormalize (c<) :: TimeBodyList.T TimeDiff ArbChar -> Bool)) :+     quickCheck (\c -> filterNormalize (c<) :: TimeBodyList.T TimeDiff ArbChar -> Bool)) :    ("filterAppend",-     test (\c -> filterAppend (c<) :: TimeBodyList.T TimeDiff ArbChar -> TimeBodyList.T TimeDiff ArbChar -> Bool)) :+     quickCheck (\c -> filterAppend (c<) :: TimeBodyList.T TimeDiff ArbChar -> TimeBodyList.T TimeDiff ArbChar -> Bool)) :    ("filterDuration",-     test (\c -> filterDuration (c<) :: TimeTimeList.T TimeDiff ArbChar -> Bool)) :+     quickCheck (\c -> filterDuration (c<) :: TimeTimeList.T TimeDiff ArbChar -> Bool)) :    ("filterPartition",-     test (\c -> filterPartition (c<) :: TimeBodyList.T TimeDiff ArbChar -> Bool)) :+     quickCheck (\c -> filterPartition (c<) :: TimeBodyList.T TimeDiff ArbChar -> Bool)) :    ("filterInfinite",-     test (\c -> filterInfinite (c<) :: NonEmptyList TimeDiff ArbChar -> Bool)) :+     quickCheck (\c -> filterInfinite (c<) :: NonEmptyList TimeDiff ArbChar -> Bool)) :    ("catMaybesAppend",-     test (catMaybesAppend :: TimeBodyList.T TimeDiff (Maybe ArbChar) -> TimeBodyList.T TimeDiff (Maybe ArbChar) -> Bool)) :+     quickCheck (catMaybesAppend :: TimeBodyList.T TimeDiff (Maybe ArbChar) -> TimeBodyList.T TimeDiff (Maybe ArbChar) -> Bool)) :     ("mergeNormalize",-     test (mergeNormalize :: TimeBodyList.T TimeDiff ArbChar -> TimeBodyList.T TimeDiff ArbChar -> Bool)) :+     quickCheck (mergeNormalize :: TimeBodyList.T TimeDiff ArbChar -> TimeBodyList.T TimeDiff ArbChar -> Bool)) :    ("merge left identity",-     test (mergeLeftIdentity :: TimeBodyList.T TimeDiff ArbChar -> Bool)) :+     quickCheck (mergeLeftIdentity :: TimeBodyList.T TimeDiff ArbChar -> Bool)) :    ("merge right identity",-     test (mergeRightIdentity :: TimeBodyList.T TimeDiff ArbChar -> Bool)) :+     quickCheck (mergeRightIdentity :: TimeBodyList.T TimeDiff ArbChar -> Bool)) :    ("merge commutative",-     test (mergeCommutative :: TimeBodyList.T TimeDiff ArbChar -> TimeBodyList.T TimeDiff ArbChar -> Bool)) :+     quickCheck (mergeCommutative :: TimeBodyList.T TimeDiff ArbChar -> TimeBodyList.T TimeDiff ArbChar -> Bool)) :    ("merge associative",-     test (mergeAssociative :: TimeBodyList.T TimeDiff ArbChar -> TimeBodyList.T TimeDiff ArbChar -> TimeBodyList.T TimeDiff ArbChar -> Bool)) :+     quickCheck (mergeAssociative :: TimeBodyList.T TimeDiff ArbChar -> TimeBodyList.T TimeDiff ArbChar -> TimeBodyList.T TimeDiff ArbChar -> Bool)) :    ("merge append",-     test (mergeAppend :: TimeBodyList.T TimeDiff ArbChar -> TimeBodyList.T TimeDiff ArbChar -> TimeBodyList.T TimeDiff ArbChar -> Bool)) :+     quickCheck (mergeAppend :: TimeBodyList.T TimeDiff ArbChar -> TimeBodyList.T TimeDiff ArbChar -> TimeBodyList.T TimeDiff ArbChar -> Bool)) :    ("mergeMap",-     test (mergeMap succ :: TimeBodyList.T TimeDiff ArbChar -> TimeBodyList.T TimeDiff ArbChar -> Bool)) :+     quickCheck (mergeMap succ :: TimeBodyList.T TimeDiff ArbChar -> TimeBodyList.T TimeDiff ArbChar -> Bool)) :    ("mergeFilter",-     test (\c -> mergeFilter (c>)+     quickCheck (\c -> mergeFilter (c>)              :: TimeBodyList.T TimeDiff ArbChar -> TimeBodyList.T TimeDiff ArbChar -> Bool)) :    ("mergePartition",-     test (\c -> mergePartition (c<) :: TimeBodyList.T TimeDiff ArbChar -> Bool)) :+     quickCheck (\c -> mergePartition (c<) :: TimeBodyList.T TimeDiff ArbChar -> Bool)) :    ("mergeEitherMapMaybe",-     test (mergeEitherMapMaybe+     quickCheck (mergeEitherMapMaybe          :: TimeBodyList.T TimeDiff ArbChar -> TimeBodyList.T TimeDiff ArbChar -> Bool)) :    ("mergeInfinite",-     test (mergeInfinite+     quickCheck (mergeInfinite          :: NonEmptyList TimeDiff ArbChar -> NonEmptyList TimeDiff ArbChar -> Bool)) :     ("insert commutative",-     test (insertCommutative :: (TimeDiff, ArbChar) -> (TimeDiff, ArbChar) -> TimeBodyList.T TimeDiff ArbChar -> Bool)) :+     quickCheck (insertCommutative :: (TimeDiff, ArbChar) -> (TimeDiff, ArbChar) -> TimeBodyList.T TimeDiff ArbChar -> Bool)) :    ("insert merge",-     test (insertMerge :: TimeDiff -> ArbChar -> TimeBodyList.T TimeDiff ArbChar -> Bool)) :+     quickCheck (insertMerge :: TimeDiff -> ArbChar -> TimeBodyList.T TimeDiff ArbChar -> Bool)) :    ("insertNormalize",-     test (insertNormalize :: TimeDiff -> ArbChar -> TimeBodyList.T TimeDiff ArbChar -> Bool)) :+     quickCheck (insertNormalize :: TimeDiff -> ArbChar -> TimeBodyList.T TimeDiff ArbChar -> Bool)) :    ("insertSplitAtTime",-     test (insertSplitAtTime :: TimeDiff -> ArbChar -> TimeBodyList.T TimeDiff ArbChar -> Bool)) :+     quickCheck (insertSplitAtTime :: TimeDiff -> ArbChar -> TimeBodyList.T TimeDiff ArbChar -> Bool)) :    ("insertInfinite",-     test (insertInfinite :: TimeDiff -> ArbChar -> NonEmptyList TimeDiff ArbChar -> Bool)) :+     quickCheck (insertInfinite :: TimeDiff -> ArbChar -> NonEmptyList TimeDiff ArbChar -> Bool)) :     ("moveForwardIdentity",-     test (moveForwardIdentity :: TimeBodyList.T TimeDiff ArbChar -> Bool)) :+     quickCheck (moveForwardIdentity :: TimeBodyList.T TimeDiff ArbChar -> Bool)) :    ("moveForwardAdditive",-     test (moveForwardAdditive :: TimeBodyList.T TimeDiff ((TimeDiff,TimeDiff),ArbChar) -> Bool)) :+     quickCheck (moveForwardAdditive :: TimeBodyList.T TimeDiff ((TimeDiff,TimeDiff),ArbChar) -> Bool)) :    ("moveForwardCommutative",-     test (moveForwardCommutative :: TimeBodyList.T TimeDiff ((TimeDiff,TimeDiff),ArbChar) -> Bool)) :+     quickCheck (moveForwardCommutative :: TimeBodyList.T TimeDiff ((TimeDiff,TimeDiff),ArbChar) -> Bool)) : {-    ("moveForwardRestricted",-     test (moveForwardRestricted :: TimeDiff -> TimeBodyList.T TimeDiff (TimeDiff,ArbChar) -> Bool)) :+     quickCheck (moveForwardRestricted :: TimeDiff -> TimeBodyList.T TimeDiff (TimeDiff,ArbChar) -> Bool)) :    ("moveForwardRestrictedInfinity",-     test (moveForwardRestrictedInfinity :: TimeDiff -> NonEmptyList TimeDiff (TimeDiff,ArbChar) -> Bool)) :+     quickCheck (moveForwardRestrictedInfinity :: TimeDiff -> NonEmptyList TimeDiff (TimeDiff,ArbChar) -> Bool)) : -}     ("spanSatisfy",-     test (\c -> spanSatisfy (c<) :: TimeBodyList.T TimeDiff ArbChar -> Bool)) :+     quickCheck (\c -> spanSatisfy (c<) :: TimeBodyList.T TimeDiff ArbChar -> Bool)) :    ("spanAppend",-     test (\c -> spanAppend (c<) :: TimeBodyList.T TimeDiff ArbChar -> Bool)) :+     quickCheck (\c -> spanAppend (c<) :: TimeBodyList.T TimeDiff ArbChar -> Bool)) :    ("spanInfinite",-     test (\c -> spanInfinite (c<) :: NonEmptyList TimeDiff ArbChar -> Bool)) :+     quickCheck (\c -> spanInfinite (c<) :: NonEmptyList TimeDiff ArbChar -> Bool)) :     ("coincidentFlatten",-     test (coincidentFlatten :: TimeBodyList.T TimeDiff ArbChar -> Bool)) :+     quickCheck (coincidentFlatten :: TimeBodyList.T TimeDiff ArbChar -> Bool)) :    ("collectCoincidentGaps",-     test (collectCoincidentGaps :: TimeBodyList.T TimeDiff ArbChar -> Bool)) :+     quickCheck (collectCoincidentGaps :: TimeBodyList.T TimeDiff ArbChar -> Bool)) :    ("collectCoincidentNonEmpty",-     test (collectCoincidentNonEmpty :: TimeBodyList.T TimeDiff ArbChar -> Bool)) :+     quickCheck (collectCoincidentNonEmpty :: TimeBodyList.T TimeDiff ArbChar -> Bool)) :    ("collectCoincidentInfinite",-     test (collectCoincidentInfinite :: NonEmptyList TimeDiff ArbChar -> Bool)) :+     quickCheck (collectCoincidentInfinite :: NonEmptyList TimeDiff ArbChar -> Bool)) :     ("mapCoincidentMap",-     test (mapCoincidentMap toUpper :: TimeBodyList.T TimeDiff ArbChar -> Bool)) :+     quickCheck (mapCoincidentMap toUpper :: TimeBodyList.T TimeDiff ArbChar -> Bool)) :    ("mapCoincidentComposition",-     test (mapCoincidentComposition reverse reverse :: TimeBodyList.T TimeDiff ArbChar -> Bool)) :+     quickCheck (mapCoincidentComposition reverse reverse :: TimeBodyList.T TimeDiff ArbChar -> Bool)) :    ("mapCoincidentReverse",-     test (mapCoincidentReverse :: TimeBodyList.T TimeDiff ArbChar -> Bool)) :+     quickCheck (mapCoincidentReverse :: TimeBodyList.T TimeDiff ArbChar -> Bool)) :     ("mapBodyMAppendRandom",-     test (mapBodyMAppendRandom :: Int -> TimeBodyList.T TimeDiff (ArbChar,ArbChar) -> TimeBodyList.T TimeDiff (ArbChar,ArbChar) -> Bool)) :+     quickCheck (mapBodyMAppendRandom :: Int -> TimeBodyList.T TimeDiff (ArbChar,ArbChar) -> TimeBodyList.T TimeDiff (ArbChar,ArbChar) -> Bool)) :    ("mapBodyMInfinite",-     test (mapBodyMInfinite :: Int -> NonEmptyList TimeDiff (ArbChar,ArbChar) -> Bool)) :+     quickCheck (mapBodyMInfinite :: Int -> NonEmptyList TimeDiff (ArbChar,ArbChar) -> Bool)) :     []
src/Test/Data/EventList/Relative/TimeEnd.hs view
@@ -8,7 +8,7 @@ module Test.Data.EventList.Relative.TimeEnd (tests) where  import Test.Utility-import Test.QuickCheck (test)+import Test.QuickCheck (quickCheck)  import qualified Data.EventList.Relative.TimeBody as TimeBodyList import qualified Data.EventList.Relative.TimeTime as TimeTimeList@@ -978,245 +978,245 @@ tests :: [(String, IO ())] tests =    ("viewTimeL consTime",-     test (viewLConsTime :: TimeTimeList.T TimeDiff ArbChar -> Bool)) :+     quickCheck (viewLConsTime :: TimeTimeList.T TimeDiff ArbChar -> Bool)) :    ("viewBodyL consBody",-     test (viewLConsBody :: BodyTimeList.T TimeDiff ArbChar -> Bool)) :+     quickCheck (viewLConsBody :: BodyTimeList.T TimeDiff ArbChar -> Bool)) :    ("viewTimeR snocTime",-     test (viewRSnocTime :: TimeTimeList.T TimeDiff ArbChar -> Bool)) :+     quickCheck (viewRSnocTime :: TimeTimeList.T TimeDiff ArbChar -> Bool)) :    ("viewBodyR snocBody",-     test (viewRSnocBody :: TimeBodyList.T TimeDiff ArbChar -> Bool)) :+     quickCheck (viewRSnocBody :: TimeBodyList.T TimeDiff ArbChar -> Bool)) :     ("viewLInfinite",-     test (viewLInfinite :: NonEmptyList TimeDiff ArbChar -> Bool)) :+     quickCheck (viewLInfinite :: NonEmptyList TimeDiff ArbChar -> Bool)) :    ("viewRInfinite",-     test (viewRInfinite :: NonEmptyList TimeDiff ArbChar -> Bool)) :+     quickCheck (viewRInfinite :: NonEmptyList TimeDiff ArbChar -> Bool)) :     ("switchTimeL consTime",-     test (switchLConsTime :: TimeTimeList.T TimeDiff ArbChar -> Bool)) :+     quickCheck (switchLConsTime :: TimeTimeList.T TimeDiff ArbChar -> Bool)) :    ("switchBodyL consBody",-     test (switchLConsBody :: BodyTimeList.T TimeDiff ArbChar -> Bool)) :+     quickCheck (switchLConsBody :: BodyTimeList.T TimeDiff ArbChar -> Bool)) :    ("switchTimeR snocTime",-     test (switchRSnocTime :: TimeTimeList.T TimeDiff ArbChar -> Bool)) :+     quickCheck (switchRSnocTime :: TimeTimeList.T TimeDiff ArbChar -> Bool)) :    ("switchBodyR snocBody",-     test (switchRSnocBody :: TimeBodyList.T TimeDiff ArbChar -> Bool)) :+     quickCheck (switchRSnocBody :: TimeBodyList.T TimeDiff ArbChar -> Bool)) :     ("switchLInfinite",-     test (switchLInfinite :: NonEmptyList TimeDiff ArbChar -> Bool)) :+     quickCheck (switchLInfinite :: NonEmptyList TimeDiff ArbChar -> Bool)) :    ("switchRInfinite",-     test (switchRInfinite :: NonEmptyList TimeDiff ArbChar -> Bool)) :+     quickCheck (switchRInfinite :: NonEmptyList TimeDiff ArbChar -> Bool)) :     ("consInfinite",-     test (consInfinite :: TimeDiff -> ArbChar -> NonEmptyList TimeDiff ArbChar -> Bool)) :+     quickCheck (consInfinite :: TimeDiff -> ArbChar -> NonEmptyList TimeDiff ArbChar -> Bool)) :    ("consTimeBodyInfinite",-     test (consTimeBodyInfinite :: TimeDiff -> ArbChar -> NonEmptyList TimeDiff ArbChar -> Bool)) :+     quickCheck (consTimeBodyInfinite :: TimeDiff -> ArbChar -> NonEmptyList TimeDiff ArbChar -> Bool)) :    ("snocInfinite",-     test (snocInfinite :: TimeDiff -> ArbChar -> NonEmptyList TimeDiff ArbChar -> Bool)) :+     quickCheck (snocInfinite :: TimeDiff -> ArbChar -> NonEmptyList TimeDiff ArbChar -> Bool)) :    ("snocTimeBodyInfinite",-     test (snocTimeBodyInfinite :: TimeDiff -> ArbChar -> NonEmptyList TimeDiff ArbChar -> Bool)) :+     quickCheck (snocTimeBodyInfinite :: TimeDiff -> ArbChar -> NonEmptyList TimeDiff ArbChar -> Bool)) :    ("consInfix",-     test (consInfix :: TimeDiff -> ArbChar -> TimeDiff -> TimeDiff -> ArbChar -> TimeDiff -> Bool)) :+     quickCheck (consInfix :: TimeDiff -> ArbChar -> TimeDiff -> TimeDiff -> ArbChar -> TimeDiff -> Bool)) :      ("map body composition",-     test (mapBodyComposition toUpper toLower+     quickCheck (mapBodyComposition toUpper toLower                :: TimeTimeList.T TimeDiff ArbChar -> Bool)) :    ("map time composition",-     test ((\dt0 dt1 -> mapTimeComposition (dt0+) (dt1+))+     quickCheck ((\dt0 dt1 -> mapTimeComposition (dt0+) (dt1+))                :: TimeDiff -> TimeDiff -> TimeTimeList.T TimeDiff ArbChar -> Bool)) :    ("map time body commutative",-     test ((\dt -> mapTimeBodyCommutative (dt+) toUpper)+     quickCheck ((\dt -> mapTimeBodyCommutative (dt+) toUpper)                :: TimeDiff -> TimeTimeList.T TimeDiff ArbChar -> Bool)) :     ("mapBodyInfinite",-     test (mapBodyInfinite toUpper+     quickCheck (mapBodyInfinite toUpper                :: NonEmptyList TimeDiff ArbChar -> Bool)) :    ("mapTimeInfinite",-     test (\dt -> mapTimeInfinite (dt+)+     quickCheck (\dt -> mapTimeInfinite (dt+)                :: NonEmptyList TimeDiff ArbChar -> Bool)) :     ("mapNormalize",-     test (mapNormalize succ+     quickCheck (mapNormalize succ                :: TimeTimeList.T TimeDiff ArbChar -> Bool)) :     ("append left identity",-     test (appendLeftIdentity :: TimeTimeList.T TimeDiff ArbChar -> Bool)) :+     quickCheck (appendLeftIdentity :: TimeTimeList.T TimeDiff ArbChar -> Bool)) :    ("append right identity",-     test (appendRightIdentity :: TimeTimeList.T TimeDiff ArbChar -> Bool)) :+     quickCheck (appendRightIdentity :: TimeTimeList.T TimeDiff ArbChar -> Bool)) :    ("append associative",-     test (appendAssociative+     quickCheck (appendAssociative               :: TimeTimeList.T TimeDiff ArbChar -> TimeTimeList.T TimeDiff ArbChar ->                  TimeTimeList.T TimeDiff ArbChar -> Bool)) :     ("appendCons",-     test (appendCons :: TimeDiff -> ArbChar -> TimeTimeList.T TimeDiff ArbChar -> Bool)) :+     quickCheck (appendCons :: TimeDiff -> ArbChar -> TimeTimeList.T TimeDiff ArbChar -> Bool)) :    ("mapBodyAppend",-     test (mapBodyAppend toUpper+     quickCheck (mapBodyAppend toUpper                :: TimeTimeList.T TimeDiff ArbChar -> TimeTimeList.T TimeDiff ArbChar -> Bool)) :    ("appendSplitAtTime",-     test (appendSplitAtTime :: TimeDiff -> TimeTimeList.T TimeDiff ArbChar -> Bool)) :+     quickCheck (appendSplitAtTime :: TimeDiff -> TimeTimeList.T TimeDiff ArbChar -> Bool)) :    ("appendFirstInfinite",-     test (appendFirstInfinite :: NonEmptyList TimeDiff ArbChar -> TimeTimeList.T TimeDiff ArbChar -> Bool)) :+     quickCheck (appendFirstInfinite :: NonEmptyList TimeDiff ArbChar -> TimeTimeList.T TimeDiff ArbChar -> Bool)) :    ("appendSecondInfinite",-     test (appendSecondInfinite :: TimeTimeList.T TimeDiff ArbChar -> NonEmptyList TimeDiff ArbChar -> Bool)) :+     quickCheck (appendSecondInfinite :: TimeTimeList.T TimeDiff ArbChar -> NonEmptyList TimeDiff ArbChar -> Bool)) :    ("concatNaive",-     test (concatNaive :: [TimeTimeList.T TimeDiff ArbChar] -> Bool)) :+     quickCheck (concatNaive :: [TimeTimeList.T TimeDiff ArbChar] -> Bool)) :    ("cycleNaive",-     test (cycleNaive :: NonEmptyList TimeDiff ArbChar -> Bool)) :+     quickCheck (cycleNaive :: NonEmptyList TimeDiff ArbChar -> Bool)) :    ("cycleInfinite",-     test (cycleInfinite :: NonEmptyList TimeDiff ArbChar -> Bool)) :+     quickCheck (cycleInfinite :: NonEmptyList TimeDiff ArbChar -> Bool)) :     ("decreaseStart delay",-     test (decreaseStartDelay :: TimeDiff -> TimeTimeList.T TimeDiff ArbChar -> Bool)) :+     quickCheck (decreaseStartDelay :: TimeDiff -> TimeTimeList.T TimeDiff ArbChar -> Bool)) :    ("decreaseStartInfinite",-     test (decreaseStartInfinite :: TimeDiff -> NonEmptyList TimeDiff ArbChar -> Bool)) :+     quickCheck (decreaseStartInfinite :: TimeDiff -> NonEmptyList TimeDiff ArbChar -> Bool)) :     ("delay additive",-     test (delayAdditive :: TimeDiff -> TimeDiff -> TimeTimeList.T TimeDiff ArbChar -> Bool)) :+     quickCheck (delayAdditive :: TimeDiff -> TimeDiff -> TimeTimeList.T TimeDiff ArbChar -> Bool)) :    ("delay pause",-     test (delayPause :: TimeDiff -> TimeDiff -> Bool)) :+     quickCheck (delayPause :: TimeDiff -> TimeDiff -> Bool)) :    ("delay append pause",-     test (delayAppendPause :: TimeDiff -> TimeTimeList.T TimeDiff ArbChar -> Bool)) :+     quickCheck (delayAppendPause :: TimeDiff -> TimeTimeList.T TimeDiff ArbChar -> Bool)) :    ("delayInfinite",-     test (delayInfinite :: TimeDiff -> NonEmptyList TimeDiff ArbChar -> Bool)) :+     quickCheck (delayInfinite :: TimeDiff -> NonEmptyList TimeDiff ArbChar -> Bool)) :     ("splitAtTakeDropTime",-     test (splitAtTakeDropTime :: TimeDiff -> TimeTimeList.T TimeDiff ArbChar -> Bool)) :+     quickCheck (splitAtTakeDropTime :: TimeDiff -> TimeTimeList.T TimeDiff ArbChar -> Bool)) :    ("takeTimeEndPause",-     test (takeTimeEndPause :: TimeDiff -> TimeTimeList.T TimeDiff ArbChar -> Bool)) :+     quickCheck (takeTimeEndPause :: TimeDiff -> TimeTimeList.T TimeDiff ArbChar -> Bool)) :    ("takeTimeAppendFirst",-     test (takeTimeAppendFirst :: TimeDiff -> TimeTimeList.T TimeDiff ArbChar -> TimeTimeList.T TimeDiff ArbChar -> Bool)) :+     quickCheck (takeTimeAppendFirst :: TimeDiff -> TimeTimeList.T TimeDiff ArbChar -> TimeTimeList.T TimeDiff ArbChar -> Bool)) :    ("takeTimeAppendSecond",-     test (takeTimeAppendSecond :: TimeDiff -> TimeTimeList.T TimeDiff ArbChar -> TimeTimeList.T TimeDiff ArbChar -> Bool)) :+     quickCheck (takeTimeAppendSecond :: TimeDiff -> TimeTimeList.T TimeDiff ArbChar -> TimeTimeList.T TimeDiff ArbChar -> Bool)) :    ("takeTimeNormalize",-     test (takeTimeNormalize :: TimeDiff -> TimeTimeList.T TimeDiff ArbChar -> Bool)) :+     quickCheck (takeTimeNormalize :: TimeDiff -> TimeTimeList.T TimeDiff ArbChar -> Bool)) :    ("dropTimeNormalize",-     test (dropTimeNormalize :: TimeDiff -> TimeTimeList.T TimeDiff ArbChar -> Bool)) :+     quickCheck (dropTimeNormalize :: TimeDiff -> TimeTimeList.T TimeDiff ArbChar -> Bool)) :    ("takeTimeInfinite",-     test (takeTimeInfinite :: TimeDiff -> NonEmptyList TimeDiff ArbChar -> Bool)) :+     quickCheck (takeTimeInfinite :: TimeDiff -> NonEmptyList TimeDiff ArbChar -> Bool)) :    ("dropTimeInfinite",-     test (dropTimeInfinite :: TimeDiff -> NonEmptyList TimeDiff ArbChar -> Bool)) :+     quickCheck (dropTimeInfinite :: TimeDiff -> NonEmptyList TimeDiff ArbChar -> Bool)) :     ("duration pause",-     test (durationPause :: TimeDiff -> Bool)) :+     quickCheck (durationPause :: TimeDiff -> Bool)) :    ("duration append",-     test (durationAppend :: TimeTimeList.T TimeDiff ArbChar -> TimeTimeList.T TimeDiff ArbChar -> Bool)) :+     quickCheck (durationAppend :: TimeTimeList.T TimeDiff ArbChar -> TimeTimeList.T TimeDiff ArbChar -> Bool)) :    ("duration merge",-     test (durationMerge :: TimeTimeList.T TimeDiff ArbChar -> TimeTimeList.T TimeDiff ArbChar -> Bool)) :+     quickCheck (durationMerge :: TimeTimeList.T TimeDiff ArbChar -> TimeTimeList.T TimeDiff ArbChar -> Bool)) :    ("durationTakeTime",-     test (durationTakeTime :: TimeDiff -> TimeTimeList.T TimeDiff ArbChar -> Bool)) :+     quickCheck (durationTakeTime :: TimeDiff -> TimeTimeList.T TimeDiff ArbChar -> Bool)) :    ("durationDropTime",-     test (durationDropTime :: TimeDiff -> TimeTimeList.T TimeDiff ArbChar -> Bool)) :+     quickCheck (durationDropTime :: TimeDiff -> TimeTimeList.T TimeDiff ArbChar -> Bool)) :     ("filterSatisfy",-     test (\c -> filterSatisfy (c<) :: TimeTimeList.T TimeDiff ArbChar -> Bool)) :+     quickCheck (\c -> filterSatisfy (c<) :: TimeTimeList.T TimeDiff ArbChar -> Bool)) :    ("filterProjection",-     test (\c -> filterProjection (c<) :: TimeTimeList.T TimeDiff ArbChar -> Bool)) :+     quickCheck (\c -> filterProjection (c<) :: TimeTimeList.T TimeDiff ArbChar -> Bool)) :    ("filterCommutative",-     test (\c0 c1 -> filterCommutative (c0<) (c1>) :: TimeTimeList.T TimeDiff ArbChar -> Bool)) :+     quickCheck (\c0 c1 -> filterCommutative (c0<) (c1>) :: TimeTimeList.T TimeDiff ArbChar -> Bool)) :    ("filterComposition",-     test (\c0 c1 -> filterComposition (c0<) (c1>) :: TimeTimeList.T TimeDiff ArbChar -> Bool)) :+     quickCheck (\c0 c1 -> filterComposition (c0<) (c1>) :: TimeTimeList.T TimeDiff ArbChar -> Bool)) :    ("filterNormalize",-     test (\c -> filterNormalize (c<) :: TimeTimeList.T TimeDiff ArbChar -> Bool)) :+     quickCheck (\c -> filterNormalize (c<) :: TimeTimeList.T TimeDiff ArbChar -> Bool)) :    ("filterAppend",-     test (\c -> filterAppend (c<) :: TimeTimeList.T TimeDiff ArbChar -> TimeTimeList.T TimeDiff ArbChar -> Bool)) :+     quickCheck (\c -> filterAppend (c<) :: TimeTimeList.T TimeDiff ArbChar -> TimeTimeList.T TimeDiff ArbChar -> Bool)) :    ("filterDuration",-     test (\c -> filterDuration (c<) :: TimeTimeList.T TimeDiff ArbChar -> Bool)) :+     quickCheck (\c -> filterDuration (c<) :: TimeTimeList.T TimeDiff ArbChar -> Bool)) :    ("filterPartition",-     test (\c -> filterPartition (c<) :: TimeTimeList.T TimeDiff ArbChar -> Bool)) :+     quickCheck (\c -> filterPartition (c<) :: TimeTimeList.T TimeDiff ArbChar -> Bool)) :    ("filterInfinite",-     test (\c -> filterInfinite (c<) :: NonEmptyList TimeDiff ArbChar -> Bool)) :+     quickCheck (\c -> filterInfinite (c<) :: NonEmptyList TimeDiff ArbChar -> Bool)) :    ("catMaybesAppend",-     test (catMaybesAppend :: TimeTimeList.T TimeDiff (Maybe ArbChar) -> TimeTimeList.T TimeDiff (Maybe ArbChar) -> Bool)) :+     quickCheck (catMaybesAppend :: TimeTimeList.T TimeDiff (Maybe ArbChar) -> TimeTimeList.T TimeDiff (Maybe ArbChar) -> Bool)) :    ("catMaybesRInfinite",-     test (catMaybesRInfinite :: NonEmptyList TimeDiff (Maybe ArbChar) -> Bool)) :+     quickCheck (catMaybesRInfinite :: NonEmptyList TimeDiff (Maybe ArbChar) -> Bool)) :    ("catMaybesRInitInfinite",-     test (catMaybesRInitInfinite :: NonEmptyList TimeDiff ArbChar -> Bool)) :+     quickCheck (catMaybesRInitInfinite :: NonEmptyList TimeDiff ArbChar -> Bool)) :     ("mergeNormalize",-     test (mergeNormalize :: TimeTimeList.T TimeDiff ArbChar -> TimeTimeList.T TimeDiff ArbChar -> Bool)) :+     quickCheck (mergeNormalize :: TimeTimeList.T TimeDiff ArbChar -> TimeTimeList.T TimeDiff ArbChar -> Bool)) :    ("merge left identity",-     test (mergeLeftIdentity :: TimeTimeList.T TimeDiff ArbChar -> Bool)) :+     quickCheck (mergeLeftIdentity :: TimeTimeList.T TimeDiff ArbChar -> Bool)) :    ("merge right identity",-     test (mergeRightIdentity :: TimeTimeList.T TimeDiff ArbChar -> Bool)) :+     quickCheck (mergeRightIdentity :: TimeTimeList.T TimeDiff ArbChar -> Bool)) :    ("merge commutative",-     test (mergeCommutative :: TimeTimeList.T TimeDiff ArbChar -> TimeTimeList.T TimeDiff ArbChar -> Bool)) :+     quickCheck (mergeCommutative :: TimeTimeList.T TimeDiff ArbChar -> TimeTimeList.T TimeDiff ArbChar -> Bool)) :    ("merge associative",-     test (mergeAssociative :: TimeTimeList.T TimeDiff ArbChar -> TimeTimeList.T TimeDiff ArbChar -> TimeTimeList.T TimeDiff ArbChar -> Bool)) :+     quickCheck (mergeAssociative :: TimeTimeList.T TimeDiff ArbChar -> TimeTimeList.T TimeDiff ArbChar -> TimeTimeList.T TimeDiff ArbChar -> Bool)) :    ("merge append",-     test (mergeAppend :: TimeTimeList.T TimeDiff ArbChar -> TimeTimeList.T TimeDiff ArbChar -> TimeTimeList.T TimeDiff ArbChar -> Bool)) :+     quickCheck (mergeAppend :: TimeTimeList.T TimeDiff ArbChar -> TimeTimeList.T TimeDiff ArbChar -> TimeTimeList.T TimeDiff ArbChar -> Bool)) :    ("appendByMerge",-     test (appendByMerge :: TimeTimeList.T TimeDiff ArbChar -> TimeTimeList.T TimeDiff ArbChar -> Bool)) :+     quickCheck (appendByMerge :: TimeTimeList.T TimeDiff ArbChar -> TimeTimeList.T TimeDiff ArbChar -> Bool)) :    ("mergeMap",-     test (mergeMap succ :: TimeTimeList.T TimeDiff ArbChar -> TimeTimeList.T TimeDiff ArbChar -> Bool)) :+     quickCheck (mergeMap succ :: TimeTimeList.T TimeDiff ArbChar -> TimeTimeList.T TimeDiff ArbChar -> Bool)) :    ("mergeFilter",-     test (\c -> mergeFilter (c>)+     quickCheck (\c -> mergeFilter (c>)              :: TimeTimeList.T TimeDiff ArbChar -> TimeTimeList.T TimeDiff ArbChar -> Bool)) :    ("mergePartition",-     test (\c -> mergePartition (c<) :: TimeTimeList.T TimeDiff ArbChar -> Bool)) :+     quickCheck (\c -> mergePartition (c<) :: TimeTimeList.T TimeDiff ArbChar -> Bool)) :    ("mergeEitherMapMaybe",-     test (mergeEitherMapMaybe+     quickCheck (mergeEitherMapMaybe          :: TimeTimeList.T TimeDiff ArbChar -> TimeTimeList.T TimeDiff ArbChar -> Bool)) :    ("mergeInfinite",-     test (mergeInfinite+     quickCheck (mergeInfinite          :: NonEmptyList TimeDiff ArbChar -> NonEmptyList TimeDiff ArbChar -> Bool)) :     ("insertCommutative",-     test (insertCommutative :: (TimeDiff, ArbChar) -> (TimeDiff, ArbChar) -> TimeTimeList.T TimeDiff ArbChar -> Bool)) :+     quickCheck (insertCommutative :: (TimeDiff, ArbChar) -> (TimeDiff, ArbChar) -> TimeTimeList.T TimeDiff ArbChar -> Bool)) :    ("insertMerge",-     test (insertMerge :: TimeDiff -> ArbChar -> TimeTimeList.T TimeDiff ArbChar -> Bool)) :+     quickCheck (insertMerge :: TimeDiff -> ArbChar -> TimeTimeList.T TimeDiff ArbChar -> Bool)) :    ("insertNormalize",-     test (insertNormalize :: TimeDiff -> ArbChar -> TimeTimeList.T TimeDiff ArbChar -> Bool)) :+     quickCheck (insertNormalize :: TimeDiff -> ArbChar -> TimeTimeList.T TimeDiff ArbChar -> Bool)) :    ("insertSplitAtTime",-     test (insertSplitAtTime :: TimeDiff -> ArbChar -> TimeTimeList.T TimeDiff ArbChar -> Bool)) :+     quickCheck (insertSplitAtTime :: TimeDiff -> ArbChar -> TimeTimeList.T TimeDiff ArbChar -> Bool)) :    ("insertInfinite",-     test (insertInfinite :: TimeDiff -> ArbChar -> NonEmptyList TimeDiff ArbChar -> Bool)) :+     quickCheck (insertInfinite :: TimeDiff -> ArbChar -> NonEmptyList TimeDiff ArbChar -> Bool)) :     ("moveForwardIdentity",-     test (moveForwardIdentity :: TimeTimeList.T TimeDiff ArbChar -> Bool)) :+     quickCheck (moveForwardIdentity :: TimeTimeList.T TimeDiff ArbChar -> Bool)) :    ("moveForwardAdditive",-     test (moveForwardAdditive :: TimeTimeList.T TimeDiff ((TimeDiff,TimeDiff),ArbChar) -> Bool)) :+     quickCheck (moveForwardAdditive :: TimeTimeList.T TimeDiff ((TimeDiff,TimeDiff),ArbChar) -> Bool)) :    ("moveForwardCommutative",-     test (moveForwardCommutative :: TimeTimeList.T TimeDiff ((TimeDiff,TimeDiff),ArbChar) -> Bool)) :+     quickCheck (moveForwardCommutative :: TimeTimeList.T TimeDiff ((TimeDiff,TimeDiff),ArbChar) -> Bool)) :    ("moveForwardRestricted",-     test (moveForwardRestricted :: TimeDiff -> TimeTimeList.T TimeDiff (TimeDiff,ArbChar) -> Bool)) :+     quickCheck (moveForwardRestricted :: TimeDiff -> TimeTimeList.T TimeDiff (TimeDiff,ArbChar) -> Bool)) :    ("moveForwardRestrictedInfinity",-     test (moveForwardRestrictedInfinity :: TimeDiff -> NonEmptyList TimeDiff (TimeDiff,ArbChar) -> Bool)) :+     quickCheck (moveForwardRestrictedInfinity :: TimeDiff -> NonEmptyList TimeDiff (TimeDiff,ArbChar) -> Bool)) :     ("arrangeSingletons",-     test (arrangeSingletons ::+     quickCheck (arrangeSingletons ::         TimeTimeList.T TimeDiff ArbChar -> Bool)) :    ("arrangeDelay",-     test (arrangeDelay ::+     quickCheck (arrangeDelay ::         TimeDiff -> NonEmptyList TimeDiff ArbChar -> Bool)) :    ("arrangeSimple",-     test (arrangeSimple ::+     quickCheck (arrangeSimple ::         TimeTimeList.T TimeDiff (TimeTimeList.T TimeDiff ArbChar) -> Bool)) :    ("arrangeAbsolute",-     test (arrangeAbsolute ::+     quickCheck (arrangeAbsolute ::         TimeTimeList.T TimeDiff (TimeTimeList.T TimeDiff ArbChar) -> Bool)) :    ("arrangeInfinity",-     test (arrangeInfinity ::+     quickCheck (arrangeInfinity ::         NonEmptyList TimeDiff (NonEmptyList TimeDiff ArbChar) -> Bool)) :     ("coincidentFlatten",-     test (coincidentFlatten :: TimeTimeList.T TimeDiff ArbChar -> Bool)) :+     quickCheck (coincidentFlatten :: TimeTimeList.T TimeDiff ArbChar -> Bool)) :    ("collectCoincidentGaps",-     test (collectCoincidentGaps :: TimeTimeList.T TimeDiff ArbChar -> Bool)) :+     quickCheck (collectCoincidentGaps :: TimeTimeList.T TimeDiff ArbChar -> Bool)) :    ("collectCoincidentNonEmpty",-     test (collectCoincidentNonEmpty :: TimeTimeList.T TimeDiff ArbChar -> Bool)) :+     quickCheck (collectCoincidentNonEmpty :: TimeTimeList.T TimeDiff ArbChar -> Bool)) :    ("collectCoincidentInfinite",-     test (collectCoincidentInfinite :: NonEmptyList TimeDiff ArbChar -> Bool)) :+     quickCheck (collectCoincidentInfinite :: NonEmptyList TimeDiff ArbChar -> Bool)) :     ("mapCoincidentMap",-     test (mapCoincidentMap toUpper :: TimeTimeList.T TimeDiff ArbChar -> Bool)) :+     quickCheck (mapCoincidentMap toUpper :: TimeTimeList.T TimeDiff ArbChar -> Bool)) :    ("mapCoincidentComposition",-     test (mapCoincidentComposition reverse reverse :: TimeTimeList.T TimeDiff ArbChar -> Bool)) :+     quickCheck (mapCoincidentComposition reverse reverse :: TimeTimeList.T TimeDiff ArbChar -> Bool)) :    ("mapCoincidentReverse",-     test (mapCoincidentReverse :: TimeTimeList.T TimeDiff ArbChar -> Bool)) :+     quickCheck (mapCoincidentReverse :: TimeTimeList.T TimeDiff ArbChar -> Bool)) :     ("mapBodyMAppendRandom",-     test (mapBodyMAppendRandom :: Int -> TimeTimeList.T TimeDiff (ArbChar,ArbChar) -> TimeTimeList.T TimeDiff (ArbChar,ArbChar) -> Bool)) :+     quickCheck (mapBodyMAppendRandom :: Int -> TimeTimeList.T TimeDiff (ArbChar,ArbChar) -> TimeTimeList.T TimeDiff (ArbChar,ArbChar) -> Bool)) :    ("mapBodyMInfinite",-     test (mapBodyMInfinite :: Int -> NonEmptyList TimeDiff (ArbChar,ArbChar) -> Bool)) :+     quickCheck (mapBodyMInfinite :: Int -> NonEmptyList TimeDiff (ArbChar,ArbChar) -> Bool)) :     []
src/Test/Utility.hs view
@@ -2,7 +2,7 @@  import qualified Numeric.NonNegative.Wrapper as NonNeg -import Test.QuickCheck (Arbitrary(..))+import Test.QuickCheck (Arbitrary(arbitrary))  import qualified Data.Char as Char import System.Random (Random, )@@ -17,7 +17,6 @@  instance Arbitrary ArbChar where    arbitrary = liftM (ArbChar . Char.chr . (32+) . flip mod 96) arbitrary-   coarbitrary = undefined  toLower :: ArbChar -> ArbChar toLower (ArbChar c) = ArbChar (Char.toLower c)@@ -27,7 +26,7 @@   -type TimeDiff = NonNeg.Int+type TimeDiff = NonNeg.Integer  timeToDouble :: TimeDiff -> NonNeg.Double timeToDouble = fromIntegral