yaya-hedgehog 0.1.0.0 → 0.1.1.0

raw patch · 3 files changed

+29/−3 lines, 3 filesdep ~yaya

Dependency ranges changed: yaya

Files

• CHANGELOG.md +14/−0
• src/Yaya/Hedgehog/Fold.hs +11/−0
• yaya-hedgehog.cabal +4/−3

@@ -0,0 +1,14 @@+# Changelog+All notable changes to this project will be documented in this file.++The format is based on [Keep a Changelog](https://keepachangelog.com/en/1.0.0/),+and this project adheres to the [Haskell Package Versioning Policy](https://pvp.haskell.org/).++## 0.1.1.0 – 2019–01–08+### Added+- `law_anaRefl` as dual to `law_cataRefl`+- lower bounds on internal yaya dependencies++## 0.1.0.0 – 2019–01–04+### Added+- everything (this is the initial release)

@@ -17,9 +17,20 @@   => Algebra f a -> f t -> m () law_cataCancel φ = uncurry (===) . (cata φ . embed &&& φ . fmap (cata φ)) +-- law_anaCancel+--   :: (Eq (f t), Show a, Steppable t f, Corecursive t f, Functor f, MonadTest m)+--   => Coalgebra f a -> a -> m ()+-- law_anaCancel ψ = uncurry (===) . (project . ana ψ &&& fmap (ana ψ) . ψ)+ law_cataRefl   :: (Eq t, Show t, Steppable t f, Recursive t f, MonadTest m) => t -> m () law_cataRefl = uncurry (===) . (cata embed &&& id)++-- | NB: Since this requires both a `Corecursive` and `Eq` instance on the same+--       type, it _likely_ requires instances from yaya-unsafe.+law_anaRefl+  :: (Eq t, Show t, Steppable t f, Corecursive t f, MonadTest m) => t -> m ()+law_anaRefl = uncurry (===) . (ana project &&& id)  -- law_cataFusion --   :: (Eq a, Show a, Recursive t f, Functor f, MonadTest m)

@@ -1,5 +1,5 @@ name:                yaya-hedgehog-version:             0.1.0.0+version:             0.1.1.0 synopsis:            Hedgehog testing support for the Yaya recursion scheme                      library. description:         If you use Yaya in your own code and have tests written@@ -13,7 +13,8 @@ license-file:        LICENSE category:            Recursion build-type:          Simple-extra-source-files:  README.md+extra-source-files:  CHANGELOG.md+                   , README.md cabal-version:       >=1.10  library@@ -23,7 +24,7 @@   build-depends:       base >= 4.7 && < 5                      , deriving-compat                      , hedgehog-                     , yaya+                     , yaya >= 0.1.0   default-extensions:  ConstraintKinds                      , DeriveTraversable                      , FlexibleContexts