tasty-lens 0.3 → 0.3.1
raw patch · 5 files changed
+16/−6 lines, 5 filesPVP ok
version bump matches the API change (PVP)
API changes (from Hackage documentation)
+ Test.Tasty.Lens.Prism: testSeries :: (Eq s, Eq a, Show s, Show a, Serial IO a, Serial Identity a, CoSerial IO a) => Prism' s a -> Series IO s -> TestTree
Files
- CHANGELOG.md +8/−0
- Test/Tasty/Lens/Prism.hs +1/−0
- Test/Tasty/Lens/Setter.hs +3/−2
- Test/Tasty/Lens/Traversal.hs +3/−3
- tasty-lens.cabal +1/−1
CHANGELOG.md view
@@ -4,6 +4,13 @@ CHANGELOG](http://keepachangelog.com/). This project adheres to [Semantic Versioning](http://semver.org/). +## [0.3.1] - 2015-09-23+### Fixed+- Export `Prism` `listSeries`.++### Changed+- Make `Depth` of compositing functions for `Traversal` and `Setter` constant.+ ## [0.3] - 2015-09-11 ### Added - Multiple `TestTree`s with different settings for dealing with `SmallCheck`@@ -23,5 +30,6 @@ - `tasty` test trees for each `Lens` type. - Tests for some `Lens`. +[0.3.1]: https://github.com/jdnavarro/tasty-lens/compare/v0.3...v0.3.1 [0.3]: https://github.com/jdnavarro/tasty-lens/compare/v0.1...v0.3 [0.1]: https://github.com/jdnavarro/tasty-lens/compare/1df060...v0.1
Test/Tasty/Lens/Prism.hs view
@@ -8,6 +8,7 @@ ( -- * Tests test+ , testSeries , testExhaustive -- * Re-exports , module Test.SmallCheck.Lens.Prism
Test/Tasty/Lens/Setter.hs view
@@ -15,7 +15,7 @@ ) where import Control.Lens-import Test.SmallCheck.Series (Serial(series), Series)+import Test.SmallCheck.Series (Serial(series), Series, localDepth) import Test.Tasty (TestTree, testGroup) import Test.Tasty.SmallCheck (testProperty) @@ -73,7 +73,8 @@ , testProperty "set l y (set l x a) ≡ set l y a" $ setSetSum l ss series series , testProperty "over l f . over l g ≡ over l (f . g)" $- compositionSum l ss series series+ compositionSum l ss (localDepth (const 2) series)+ (localDepth (const 2) series) ] -- | A 'Setter' is only legal if the following laws hold:
Test/Tasty/Lens/Traversal.hs view
@@ -22,7 +22,7 @@ import Data.Proxy (Proxy(..)) import Control.Lens-import Test.SmallCheck.Series (Serial(series), CoSerial, Series)+import Test.SmallCheck.Series (Serial(series), CoSerial, Series, localDepth) import Test.Tasty (TestTree, testGroup) import Test.Tasty.SmallCheck (testProperty) @@ -86,8 +86,8 @@ testSeries p t ss = testGroup "Traversal Laws" [ testProperty "t pure ≡ pure" $ Traversal.pure p t ss , testProperty "fmap (t f) . t g ≡ getCompose . t (Compose . fmap f . g)" $- compositionSum t ss (series :: Series IO (a -> f a))- (series :: Series IO (a -> f a))+ compositionSum t ss (localDepth (const 2) $ series :: Series IO (a -> f a))+ (localDepth (const 2) $ series :: Series IO (a -> f a)) , Setter.testSeries t ss ]
tasty-lens.cabal view
@@ -1,5 +1,5 @@ name: tasty-lens-version: 0.3+version: 0.3.1 synopsis: Tasty TestTrees for Lens validation description: Preassembled 'tasty' 'TestTree's for property testing @Lens@es, @Setter@s,