packages feed

registry-hedgehog 0.7.0.4 → 0.7.0.5

raw patch · 3 files changed

+4/−2 lines, 3 filesPVP: major bump suggested

API removals or changes: PVP suggests a major version bump

API changes (from Hackage documentation)

- Test.Tasty.Hedgehogx: Rec :: K1 R a x -> Rec p a (x :: k)
- Test.Tasty.Hedgehogx: [unRec] :: Rec p a (x :: k) -> K1 R a x
- Test.Tasty.Hedgehogx: bmap :: FunctorB b => (forall (a :: k). () => f a -> g a) -> b f -> b g
- Test.Tasty.Hedgehogx: btraverse :: (TraversableB b, Applicative e) => (forall (a :: k). () => f a -> e (g a)) -> b f -> e (b g)
- Test.Tasty.Hedgehogx: class FunctorB (b :: k -> Type -> Type)
- Test.Tasty.Hedgehogx: class FunctorB b => TraversableB (b :: k -> Type -> Type)
- Test.Tasty.Hedgehogx: infix 4 ===
- Test.Tasty.Hedgehogx: newtype Rec p a (x :: k)
- Test.Tasty.Hedgehogx: Command :: (state Symbolic -> Maybe (gen (input Symbolic))) -> (input Concrete -> m output) -> [Callback input output state] -> Command (gen :: Type -> Type) (m :: TYPE LiftedRep -> Type) (state :: (Type -> Type) -> Type)
+ Test.Tasty.Hedgehogx: Command :: (state Symbolic -> Maybe (gen (input Symbolic))) -> (input Concrete -> m output) -> [Callback input output state] -> Command (gen :: Type -> Type) (m :: Type -> Type) (state :: (Type -> Type) -> Type)
- Test.Tasty.Hedgehogx: Parallel :: [Action m state] -> [Action m state] -> [Action m state] -> Parallel (m :: TYPE LiftedRep -> Type) (state :: (Type -> Type) -> Type)
+ Test.Tasty.Hedgehogx: Parallel :: [Action m state] -> [Action m state] -> [Action m state] -> Parallel (m :: Type -> Type) (state :: (Type -> Type) -> Type)
- Test.Tasty.Hedgehogx: Sequential :: [Action m state] -> Sequential (m :: TYPE LiftedRep -> Type) (state :: (Type -> Type) -> Type)
+ Test.Tasty.Hedgehogx: Sequential :: [Action m state] -> Sequential (m :: Type -> Type) (state :: (Type -> Type) -> Type)
- Test.Tasty.Hedgehogx: [commandCallbacks] :: Command (gen :: Type -> Type) (m :: TYPE LiftedRep -> Type) (state :: (Type -> Type) -> Type) -> [Callback input output state]
+ Test.Tasty.Hedgehogx: [commandCallbacks] :: Command (gen :: Type -> Type) (m :: Type -> Type) (state :: (Type -> Type) -> Type) -> [Callback input output state]
- Test.Tasty.Hedgehogx: [commandExecute] :: Command (gen :: Type -> Type) (m :: TYPE LiftedRep -> Type) (state :: (Type -> Type) -> Type) -> input Concrete -> m output
+ Test.Tasty.Hedgehogx: [commandExecute] :: Command (gen :: Type -> Type) (m :: Type -> Type) (state :: (Type -> Type) -> Type) -> input Concrete -> m output
- Test.Tasty.Hedgehogx: [commandGen] :: Command (gen :: Type -> Type) (m :: TYPE LiftedRep -> Type) (state :: (Type -> Type) -> Type) -> state Symbolic -> Maybe (gen (input Symbolic))
+ Test.Tasty.Hedgehogx: [commandGen] :: Command (gen :: Type -> Type) (m :: Type -> Type) (state :: (Type -> Type) -> Type) -> state Symbolic -> Maybe (gen (input Symbolic))
- Test.Tasty.Hedgehogx: [parallelBranch1] :: Parallel (m :: TYPE LiftedRep -> Type) (state :: (Type -> Type) -> Type) -> [Action m state]
+ Test.Tasty.Hedgehogx: [parallelBranch1] :: Parallel (m :: Type -> Type) (state :: (Type -> Type) -> Type) -> [Action m state]
- Test.Tasty.Hedgehogx: [parallelBranch2] :: Parallel (m :: TYPE LiftedRep -> Type) (state :: (Type -> Type) -> Type) -> [Action m state]
+ Test.Tasty.Hedgehogx: [parallelBranch2] :: Parallel (m :: Type -> Type) (state :: (Type -> Type) -> Type) -> [Action m state]
- Test.Tasty.Hedgehogx: [parallelPrefix] :: Parallel (m :: TYPE LiftedRep -> Type) (state :: (Type -> Type) -> Type) -> [Action m state]
+ Test.Tasty.Hedgehogx: [parallelPrefix] :: Parallel (m :: Type -> Type) (state :: (Type -> Type) -> Type) -> [Action m state]
- Test.Tasty.Hedgehogx: [sequentialActions] :: Sequential (m :: TYPE LiftedRep -> Type) (state :: (Type -> Type) -> Type) -> [Action m state]
+ Test.Tasty.Hedgehogx: [sequentialActions] :: Sequential (m :: Type -> Type) (state :: (Type -> Type) -> Type) -> [Action m state]
- Test.Tasty.Hedgehogx: class HTraversable (t :: Type -> TYPE LiftedRep -> TYPE LiftedRep)
+ Test.Tasty.Hedgehogx: class HTraversable (t :: Type -> Type -> Type)
- Test.Tasty.Hedgehogx: class Show1 (f :: TYPE LiftedRep -> TYPE LiftedRep)
+ Test.Tasty.Hedgehogx: class Show1 (f :: Type -> Type)
- Test.Tasty.Hedgehogx: data Action (m :: TYPE LiftedRep -> Type) (state :: Type -> Type -> Type)
+ Test.Tasty.Hedgehogx: data Action (m :: Type -> Type) (state :: Type -> Type -> Type)
- Test.Tasty.Hedgehogx: data Command (gen :: Type -> Type) (m :: TYPE LiftedRep -> Type) (state :: Type -> Type -> Type)
+ Test.Tasty.Hedgehogx: data Command (gen :: Type -> Type) (m :: Type -> Type) (state :: Type -> Type -> Type)
- Test.Tasty.Hedgehogx: data Parallel (m :: TYPE LiftedRep -> Type) (state :: Type -> Type -> Type)
+ Test.Tasty.Hedgehogx: data Parallel (m :: Type -> Type) (state :: Type -> Type -> Type)
- Test.Tasty.Hedgehogx: newtype Sequential (m :: TYPE LiftedRep -> Type) (state :: Type -> Type -> Type)
+ Test.Tasty.Hedgehogx: newtype Sequential (m :: Type -> Type) (state :: Type -> Type -> Type)
- Test.Tasty.Hedgehogx: type family GenBase (m :: Type -> Type) :: Type -> Type;
+ Test.Tasty.Hedgehogx: type family GenBase (m :: Type -> Type) :: Type -> Type

Files

registry-hedgehog.cabal view
@@ -4,10 +4,10 @@ -- -- see: https://github.com/sol/hpack ----- hash: 8da4d7249d8800f06d303acbc3ed33c9d559db7bfde2ba78d8a2cf4293c4d2d0+-- hash: 7d0b0684f2ba9eb6cb838ca63d1f08de7ee191046c523b7d0ede13b888d63a06  name:           registry-hedgehog-version:        0.7.0.4+version:        0.7.0.5 synopsis:       utilities to work with Hedgehog generators and `registry` description:    This library provides some functions to extract generators from a "Registry" and make stateful modifications of that Registry to precisely control the generation of data category:       Control
test/Test/Data/Registry/HedgehogSpec.hs view
@@ -9,6 +9,7 @@ import Control.Monad.Morph (hoist) import Data.Registry import Data.Registry.Hedgehog+import Data.Registry.State import qualified Data.Text as T import qualified Data.Text.IO as T import Hedgehog.Gen as Gen
test/Test/Tutorial/Exercise5.hs view
@@ -7,6 +7,7 @@  import Data.Registry import Data.Registry.Hedgehog+import Data.Registry.State import Data.Text as T import Hedgehog hiding (test) import Protolude