acc 0.2.0.3 → 0.2.0.4
raw patch · 2 files changed
+12/−5 lines, 2 filesdep ~quickcheck-instancesPVP: major bump suggested
API removals or changes: PVP suggests a major version bump
Dependency ranges changed: quickcheck-instances
API changes (from Hackage documentation)
- Acc: instance GHC.Exts.IsList (Acc.Acc a)
+ Acc: instance GHC.IsList.IsList (Acc.Acc a)
Files
- acc.cabal +4/−4
- test/Main.hs +8/−1
acc.cabal view
@@ -1,6 +1,6 @@ cabal-version: 3.0 name: acc-version: 0.2.0.3+version: 0.2.0.4 synopsis: Sequence optimized for monoidal construction and folding description: Data structure intended for accumulating a sequence of elements@@ -25,7 +25,7 @@ source-repository head type: git- location: git://github.com/nikita-volkov/acc.git+ location: https://github.com/nikita-volkov/acc.git library hs-source-dirs: library@@ -186,8 +186,8 @@ main-is: Main.hs build-depends: , acc- , quickcheck-instances >=0.3.11 && <0.4+ , quickcheck-instances >=0.3.11 && <0.5 , rerebase >=1.9 && <2 , tasty >=0.12 && <2 , tasty-hunit ^>=0.10- , tasty-quickcheck >=0.9 && <0.11+ , tasty-quickcheck >=0.9 && <1
test/Main.hs view
@@ -53,11 +53,18 @@ $ \(acc :: Acc Int) -> Acc.toNonEmpty acc === NonEmpty.nonEmpty (toList acc),- testProperty "snoccing an unsnocced element of an acc produces the same acc"+ testProperty "Snoccing an unsnocced element of an acc produces the same acc" $ \(acc :: Acc Int) -> case Acc.unsnoc acc of Just (lastElement, prefix) -> toList (Acc.snoc lastElement prefix) === toList acc+ Nothing ->+ discard,+ testProperty "Consing an unconsed element of an acc produces the same acc"+ $ \(acc :: Acc Int) ->+ case Acc.uncons acc of+ Just (firstElement, suffix) ->+ toList (Acc.cons firstElement suffix) === toList acc Nothing -> discard, testGroup "Issue #10"