genvalidity-hspec 1.0.0.3 → 1.0.0.4
raw patch · 6 files changed
+25/−15 lines, 6 filesPVP: major bump suggested
API removals or changes: PVP suggests a major version bump
API changes (from Hackage documentation)
- Test.Validity: applicativeSpecOnGens :: forall (f :: Type -> Type) (a :: Type) (b :: Type) (c :: Type). (HasCallStack, Show a, Show (f a), Eq (f a), Show (f b), Eq (f b), Show (f c), Eq (f c), Applicative f, Typeable f, Typeable a, Typeable b, Typeable c) => Gen a -> String -> Gen (f a) -> String -> Gen (f b) -> String -> Gen (a -> b) -> String -> Gen (f (a -> b)) -> String -> Gen (f (b -> c)) -> String -> Spec
+ Test.Validity: applicativeSpecOnGens :: forall f a b c. (HasCallStack, Show a, Show (f a), Eq (f a), Show (f b), Eq (f b), Show (f c), Eq (f c), Applicative f, Typeable f, Typeable a, Typeable b, Typeable c) => Gen a -> String -> Gen (f a) -> String -> Gen (f b) -> String -> Gen (a -> b) -> String -> Gen (f (a -> b)) -> String -> Gen (f (b -> c)) -> String -> Spec
- Test.Validity: arbitraryGeneratesOnlyValid :: forall a. (Show a, Validity a, Arbitrary a) => Property
+ Test.Validity: arbitraryGeneratesOnlyValid :: (Show a, Validity a, Arbitrary a) => Property
- Test.Validity: arbitrarySpec :: forall a. (Typeable a, Show a, Validity a, Arbitrary a) => Spec
+ Test.Validity: arbitrarySpec :: (Typeable a, Show a, Validity a, Arbitrary a) => Spec
- Test.Validity: eqSpec :: forall a. (Show a, Eq a, Typeable a, GenValid a) => Spec
+ Test.Validity: eqSpec :: (Show a, Eq a, Typeable a, GenValid a) => Spec
- Test.Validity: eqSpecOnArbitrary :: forall a. (Show a, Eq a, Typeable a, Arbitrary a) => Spec
+ Test.Validity: eqSpecOnArbitrary :: (Show a, Eq a, Typeable a, Arbitrary a) => Spec
- Test.Validity: eqSpecOnGen :: forall a. (Show a, Eq a, Typeable a) => Gen a -> String -> (a -> [a]) -> Spec
+ Test.Validity: eqSpecOnGen :: (Show a, Eq a, Typeable a) => Gen a -> String -> (a -> [a]) -> Spec
- Test.Validity: functorSpecOnGens :: forall (f :: Type -> Type) (a :: Type) (b :: Type) (c :: Type). (Show a, Show (f a), Show (f c), Eq (f a), Eq (f c), Functor f, Typeable f, Typeable a, Typeable b, Typeable c) => Gen a -> String -> Gen (f a) -> String -> Gen (b -> c) -> String -> Gen (a -> b) -> String -> Spec
+ Test.Validity: functorSpecOnGens :: forall f a b c. (Show a, Show (f a), Show (f c), Eq (f a), Eq (f c), Functor f, Typeable f, Typeable a, Typeable b, Typeable c) => Gen a -> String -> Gen (f a) -> String -> Gen (b -> c) -> String -> Gen (a -> b) -> String -> Spec
- Test.Validity: genValidGeneratesValid :: forall a. (Show a, GenValid a) => Property
+ Test.Validity: genValidGeneratesValid :: (Show a, GenValid a) => Property
- Test.Validity: genValidSpec :: forall a. (Typeable a, Show a, GenValid a) => Spec
+ Test.Validity: genValidSpec :: (Typeable a, Show a, GenValid a) => Spec
- Test.Validity: monadSpecOnGens :: forall (f :: Type -> Type) (a :: Type) (b :: Type) (c :: Type). (Show a, Show (f a), Show (f b), Show (f c), Eq (f a), Eq (f b), Eq (f c), Monad f, Typeable f, Typeable a, Typeable b, Typeable c) => Gen a -> String -> Gen (f a) -> String -> Gen (f b) -> String -> Gen (a -> b) -> String -> Gen (a -> f b) -> String -> Gen (b -> f c) -> String -> Gen (f (a -> b)) -> String -> Spec
+ Test.Validity: monadSpecOnGens :: forall f a b c. (Show a, Show (f a), Show (f b), Show (f c), Eq (f a), Eq (f b), Eq (f c), Monad f, Typeable f, Typeable a, Typeable b, Typeable c) => Gen a -> String -> Gen (f a) -> String -> Gen (f b) -> String -> Gen (a -> b) -> String -> Gen (a -> f b) -> String -> Gen (b -> f c) -> String -> Gen (f (a -> b)) -> String -> Spec
- Test.Validity: monoidSpec :: forall a. (Show a, Eq a, Monoid a, Typeable a, GenValid a) => Spec
+ Test.Validity: monoidSpec :: (Show a, Eq a, Monoid a, Typeable a, GenValid a) => Spec
- Test.Validity: monoidSpecOnArbitrary :: forall a. (Show a, Eq a, Monoid a, Typeable a, Arbitrary a) => Spec
+ Test.Validity: monoidSpecOnArbitrary :: (Show a, Eq a, Monoid a, Typeable a, Arbitrary a) => Spec
- Test.Validity: monoidSpecOnGen :: forall a. (Show a, Eq a, Monoid a, Typeable a) => Gen a -> String -> (a -> [a]) -> Spec
+ Test.Validity: monoidSpecOnGen :: (Show a, Eq a, Monoid a, Typeable a) => Gen a -> String -> (a -> [a]) -> Spec
- Test.Validity: ordSpec :: forall a. (Show a, Ord a, Typeable a, GenValid a) => Spec
+ Test.Validity: ordSpec :: (Show a, Ord a, Typeable a, GenValid a) => Spec
- Test.Validity: ordSpecOnArbitrary :: forall a. (Show a, Ord a, Typeable a, Arbitrary a) => Spec
+ Test.Validity: ordSpecOnArbitrary :: (Show a, Ord a, Typeable a, Arbitrary a) => Spec
- Test.Validity: ordSpecOnGen :: forall a. (Show a, Ord a, Typeable a) => Gen a -> String -> (a -> [a]) -> Spec
+ Test.Validity: ordSpecOnGen :: (Show a, Ord a, Typeable a) => Gen a -> String -> (a -> [a]) -> Spec
- Test.Validity: showReadSpec :: forall a. (Show a, Eq a, Read a, Typeable a, GenValid a) => Spec
+ Test.Validity: showReadSpec :: (Show a, Eq a, Read a, Typeable a, GenValid a) => Spec
- Test.Validity: showReadSpecOnArbitrary :: forall a. (Show a, Eq a, Read a, Typeable a, Arbitrary a) => Spec
+ Test.Validity: showReadSpecOnArbitrary :: (Show a, Eq a, Read a, Typeable a, Arbitrary a) => Spec
- Test.Validity: showReadSpecOnGen :: forall a. (Show a, Eq a, Read a, Typeable a) => Gen a -> String -> (a -> [a]) -> Spec
+ Test.Validity: showReadSpecOnGen :: (Show a, Eq a, Read a, Typeable a) => Gen a -> String -> (a -> [a]) -> Spec
- Test.Validity: shrinkValidPreservesValidOnGenValid :: forall a. (Show a, GenValid a) => Property
+ Test.Validity: shrinkValidPreservesValidOnGenValid :: (Show a, GenValid a) => Property
- Test.Validity: shrinkValidSpec :: forall a. (Show a, Eq a, Typeable a, GenValid a) => Spec
+ Test.Validity: shrinkValidSpec :: (Show a, Eq a, Typeable a, GenValid a) => Spec
- Test.Validity: shrinkValidSpecWithLimit :: forall a. (Show a, Eq a, Typeable a, GenValid a) => Int -> Spec
+ Test.Validity: shrinkValidSpecWithLimit :: (Show a, Eq a, Typeable a, GenValid a) => Int -> Spec
- Test.Validity.Applicative: applicativeSpecOnGens :: forall (f :: Type -> Type) (a :: Type) (b :: Type) (c :: Type). (HasCallStack, Show a, Show (f a), Eq (f a), Show (f b), Eq (f b), Show (f c), Eq (f c), Applicative f, Typeable f, Typeable a, Typeable b, Typeable c) => Gen a -> String -> Gen (f a) -> String -> Gen (f b) -> String -> Gen (a -> b) -> String -> Gen (f (a -> b)) -> String -> Gen (f (b -> c)) -> String -> Spec
+ Test.Validity.Applicative: applicativeSpecOnGens :: forall f a b c. (HasCallStack, Show a, Show (f a), Eq (f a), Show (f b), Eq (f b), Show (f c), Eq (f c), Applicative f, Typeable f, Typeable a, Typeable b, Typeable c) => Gen a -> String -> Gen (f a) -> String -> Gen (f b) -> String -> Gen (a -> b) -> String -> Gen (f (a -> b)) -> String -> Gen (f (b -> c)) -> String -> Spec
- Test.Validity.Arbitrary: arbitraryGeneratesOnlyValid :: forall a. (Show a, Validity a, Arbitrary a) => Property
+ Test.Validity.Arbitrary: arbitraryGeneratesOnlyValid :: (Show a, Validity a, Arbitrary a) => Property
- Test.Validity.Arbitrary: arbitrarySpec :: forall a. (Typeable a, Show a, Validity a, Arbitrary a) => Spec
+ Test.Validity.Arbitrary: arbitrarySpec :: (Typeable a, Show a, Validity a, Arbitrary a) => Spec
- Test.Validity.Eq: eqSpec :: forall a. (Show a, Eq a, Typeable a, GenValid a) => Spec
+ Test.Validity.Eq: eqSpec :: (Show a, Eq a, Typeable a, GenValid a) => Spec
- Test.Validity.Eq: eqSpecOnArbitrary :: forall a. (Show a, Eq a, Typeable a, Arbitrary a) => Spec
+ Test.Validity.Eq: eqSpecOnArbitrary :: (Show a, Eq a, Typeable a, Arbitrary a) => Spec
- Test.Validity.Eq: eqSpecOnGen :: forall a. (Show a, Eq a, Typeable a) => Gen a -> String -> (a -> [a]) -> Spec
+ Test.Validity.Eq: eqSpecOnGen :: (Show a, Eq a, Typeable a) => Gen a -> String -> (a -> [a]) -> Spec
- Test.Validity.Functor: functorSpecOnGens :: forall (f :: Type -> Type) (a :: Type) (b :: Type) (c :: Type). (Show a, Show (f a), Show (f c), Eq (f a), Eq (f c), Functor f, Typeable f, Typeable a, Typeable b, Typeable c) => Gen a -> String -> Gen (f a) -> String -> Gen (b -> c) -> String -> Gen (a -> b) -> String -> Spec
+ Test.Validity.Functor: functorSpecOnGens :: forall f a b c. (Show a, Show (f a), Show (f c), Eq (f a), Eq (f c), Functor f, Typeable f, Typeable a, Typeable b, Typeable c) => Gen a -> String -> Gen (f a) -> String -> Gen (b -> c) -> String -> Gen (a -> b) -> String -> Spec
- Test.Validity.GenValidity: genValidGeneratesValid :: forall a. (Show a, GenValid a) => Property
+ Test.Validity.GenValidity: genValidGeneratesValid :: (Show a, GenValid a) => Property
- Test.Validity.GenValidity: genValidSpec :: forall a. (Typeable a, Show a, GenValid a) => Spec
+ Test.Validity.GenValidity: genValidSpec :: (Typeable a, Show a, GenValid a) => Spec
- Test.Validity.Monad: monadSpecOnGens :: forall (f :: Type -> Type) (a :: Type) (b :: Type) (c :: Type). (Show a, Show (f a), Show (f b), Show (f c), Eq (f a), Eq (f b), Eq (f c), Monad f, Typeable f, Typeable a, Typeable b, Typeable c) => Gen a -> String -> Gen (f a) -> String -> Gen (f b) -> String -> Gen (a -> b) -> String -> Gen (a -> f b) -> String -> Gen (b -> f c) -> String -> Gen (f (a -> b)) -> String -> Spec
+ Test.Validity.Monad: monadSpecOnGens :: forall f a b c. (Show a, Show (f a), Show (f b), Show (f c), Eq (f a), Eq (f b), Eq (f c), Monad f, Typeable f, Typeable a, Typeable b, Typeable c) => Gen a -> String -> Gen (f a) -> String -> Gen (f b) -> String -> Gen (a -> b) -> String -> Gen (a -> f b) -> String -> Gen (b -> f c) -> String -> Gen (f (a -> b)) -> String -> Spec
- Test.Validity.Monoid: monoidSpec :: forall a. (Show a, Eq a, Monoid a, Typeable a, GenValid a) => Spec
+ Test.Validity.Monoid: monoidSpec :: (Show a, Eq a, Monoid a, Typeable a, GenValid a) => Spec
- Test.Validity.Monoid: monoidSpecOnArbitrary :: forall a. (Show a, Eq a, Monoid a, Typeable a, Arbitrary a) => Spec
+ Test.Validity.Monoid: monoidSpecOnArbitrary :: (Show a, Eq a, Monoid a, Typeable a, Arbitrary a) => Spec
- Test.Validity.Monoid: monoidSpecOnGen :: forall a. (Show a, Eq a, Monoid a, Typeable a) => Gen a -> String -> (a -> [a]) -> Spec
+ Test.Validity.Monoid: monoidSpecOnGen :: (Show a, Eq a, Monoid a, Typeable a) => Gen a -> String -> (a -> [a]) -> Spec
- Test.Validity.Monoid: monoidSpecOnValid :: forall a. (Show a, Eq a, Monoid a, Typeable a, GenValid a) => Spec
+ Test.Validity.Monoid: monoidSpecOnValid :: (Show a, Eq a, Monoid a, Typeable a, GenValid a) => Spec
- Test.Validity.Ord: ordSpec :: forall a. (Show a, Ord a, Typeable a, GenValid a) => Spec
+ Test.Validity.Ord: ordSpec :: (Show a, Ord a, Typeable a, GenValid a) => Spec
- Test.Validity.Ord: ordSpecOnArbitrary :: forall a. (Show a, Ord a, Typeable a, Arbitrary a) => Spec
+ Test.Validity.Ord: ordSpecOnArbitrary :: (Show a, Ord a, Typeable a, Arbitrary a) => Spec
- Test.Validity.Ord: ordSpecOnGen :: forall a. (Show a, Ord a, Typeable a) => Gen a -> String -> (a -> [a]) -> Spec
+ Test.Validity.Ord: ordSpecOnGen :: (Show a, Ord a, Typeable a) => Gen a -> String -> (a -> [a]) -> Spec
- Test.Validity.Show: showReadRoundTrip :: forall a. (Show a, Eq a, Read a, GenValid a) => Property
+ Test.Validity.Show: showReadRoundTrip :: (Show a, Eq a, Read a, GenValid a) => Property
- Test.Validity.Show: showReadRoundTripOnArbitrary :: forall a. (Show a, Eq a, Read a, Arbitrary a) => Property
+ Test.Validity.Show: showReadRoundTripOnArbitrary :: (Show a, Eq a, Read a, Arbitrary a) => Property
- Test.Validity.Show: showReadSpec :: forall a. (Show a, Eq a, Read a, Typeable a, GenValid a) => Spec
+ Test.Validity.Show: showReadSpec :: (Show a, Eq a, Read a, Typeable a, GenValid a) => Spec
- Test.Validity.Show: showReadSpecOnArbitrary :: forall a. (Show a, Eq a, Read a, Typeable a, Arbitrary a) => Spec
+ Test.Validity.Show: showReadSpecOnArbitrary :: (Show a, Eq a, Read a, Typeable a, Arbitrary a) => Spec
- Test.Validity.Show: showReadSpecOnGen :: forall a. (Show a, Eq a, Read a, Typeable a) => Gen a -> String -> (a -> [a]) -> Spec
+ Test.Validity.Show: showReadSpecOnGen :: (Show a, Eq a, Read a, Typeable a) => Gen a -> String -> (a -> [a]) -> Spec
- Test.Validity.Shrinking: shrinkValidDoesNotShrinkToItself :: forall a. (Show a, Eq a, GenValid a) => Property
+ Test.Validity.Shrinking: shrinkValidDoesNotShrinkToItself :: (Show a, Eq a, GenValid a) => Property
- Test.Validity.Shrinking: shrinkValidDoesNotShrinkToItselfWithLimit :: forall a. (Show a, Eq a, GenValid a) => Int -> Property
+ Test.Validity.Shrinking: shrinkValidDoesNotShrinkToItselfWithLimit :: (Show a, Eq a, GenValid a) => Int -> Property
- Test.Validity.Shrinking: shrinkValidPreservesValidOnGenValid :: forall a. (Show a, GenValid a) => Property
+ Test.Validity.Shrinking: shrinkValidPreservesValidOnGenValid :: (Show a, GenValid a) => Property
- Test.Validity.Shrinking: shrinkValidPreservesValidOnGenValidWithLimit :: forall a. (Show a, GenValid a) => Int -> Property
+ Test.Validity.Shrinking: shrinkValidPreservesValidOnGenValidWithLimit :: (Show a, GenValid a) => Int -> Property
- Test.Validity.Shrinking: shrinkValidSpec :: forall a. (Show a, Eq a, Typeable a, GenValid a) => Spec
+ Test.Validity.Shrinking: shrinkValidSpec :: (Show a, Eq a, Typeable a, GenValid a) => Spec
- Test.Validity.Shrinking: shrinkValidSpecWithLimit :: forall a. (Show a, Eq a, Typeable a, GenValid a) => Int -> Spec
+ Test.Validity.Shrinking: shrinkValidSpecWithLimit :: (Show a, Eq a, Typeable a, GenValid a) => Int -> Spec
- Test.Validity.Utils: binRelStr :: forall a. Typeable a => String -> String
+ Test.Validity.Utils: binRelStr :: forall {k} (a :: k). Typeable a => String -> String
- Test.Validity.Utils: genDescr :: forall a. Typeable a => String -> String
+ Test.Validity.Utils: genDescr :: forall {k} (a :: k). Typeable a => String -> String
- Test.Validity.Utils: nameOf :: forall a. Typeable a => String
+ Test.Validity.Utils: nameOf :: forall {k} (a :: k). Typeable a => String
Files
- CHANGELOG.md +6/−0
- genvalidity-hspec.cabal +2/−2
- src/Test/Validity/Eq.hs +2/−2
- src/Test/Validity/Monoid.hs +3/−3
- src/Test/Validity/Ord.hs +4/−4
- src/Test/Validity/Utils.hs +8/−4
CHANGELOG.md view
@@ -1,5 +1,11 @@ # Changelog +## [1.0.0.4] - 2022-10-04++### Changed++* Compatibility with `hspec >= 2.11.10`.+ ## [1.0.0.3] - 2022-10-04 ### Changed
genvalidity-hspec.cabal view
@@ -1,11 +1,11 @@ cabal-version: 1.12 --- This file has been generated from package.yaml by hpack version 0.35.2.+-- This file has been generated from package.yaml by hpack version 0.36.1. -- -- see: https://github.com/sol/hpack name: genvalidity-hspec-version: 1.0.0.3+version: 1.0.0.4 synopsis: Standard spec's for GenValidity instances description: Note: There are companion packages for this library: .
src/Test/Validity/Eq.hs view
@@ -23,13 +23,13 @@ eqTypeStr :: forall a.- Typeable a =>+ (Typeable a) => String eqTypeStr = binRelStr @a "==" neqTypeStr :: forall a.- Typeable a =>+ (Typeable a) => String neqTypeStr = binRelStr @a "/="
src/Test/Validity/Monoid.hs view
@@ -24,13 +24,13 @@ memptyTypeStr :: forall a.- Typeable a =>+ (Typeable a) => String memptyTypeStr = unwords ["mempty", "::", nameOf @a] mappendTypeStr :: forall a.- Typeable a =>+ (Typeable a) => String mappendTypeStr = unwords ["mappend", "::", an, "->", an, "->", an] where@@ -38,7 +38,7 @@ mconcatTypeStr :: forall a.- Typeable a =>+ (Typeable a) => String mconcatTypeStr = unwords ["mconcat", "::", "[" ++ an ++ "]", "->", an] where
src/Test/Validity/Ord.hs view
@@ -31,25 +31,25 @@ leTypeStr :: forall a.- Typeable a =>+ (Typeable a) => String leTypeStr = binRelStr @a "<=" geTypeStr :: forall a.- Typeable a =>+ (Typeable a) => String geTypeStr = binRelStr @a ">=" ltTypeStr :: forall a.- Typeable a =>+ (Typeable a) => String ltTypeStr = binRelStr @a "<" gtTypeStr :: forall a.- Typeable a =>+ (Typeable a) => String gtTypeStr = binRelStr @a ">"
src/Test/Validity/Utils.hs view
@@ -33,7 +33,7 @@ nameOf :: forall a.- Typeable a =>+ (Typeable a) => String nameOf = let s = show $ typeRep (Proxy @a)@@ -43,14 +43,14 @@ genDescr :: forall a.- Typeable a =>+ (Typeable a) => String -> String genDescr genname = unwords ["\"" ++ genname, "::", nameOf @a ++ "\""] binRelStr :: forall a.- Typeable a =>+ (Typeable a) => String -> String binRelStr op = unwords ["(" ++ op ++ ")", "::", name, "->", name, "->", "Bool"]@@ -76,7 +76,7 @@ #else mapSpecTree' f (SpecM specs) = SpecM (mapWriterT (fmap (second (map f))) specs) #endif-+{- ORMOLU_DISABLE -} -- | Asserts that a given 'Spec' tree fails _somewhere_. -- -- It also shows the given string when reporting that the tree unexpectedly@@ -92,6 +92,9 @@ itemLocation = Nothing, itemIsFocused = False, itemIsParallelizable = Nothing,+#if MIN_VERSION_hspec(2,11,10)+ itemAnnotations = mempty,+#endif itemExample = \_ _ _ -> do let conf =@@ -101,6 +104,7 @@ summaryExamples r > 0 && summaryFailures r > 0 pure $ produceResult succesful }+{- ORMOLU_ENABLE -} produceResult :: Bool -> Test.Hspec.Core.Spec.Result produceResult succesful =