Hoogle Search
Within LTS Haskell 24.41 (ghc-9.10.3)
Note that Stackage only displays results for the latest LTS and Nightly snapshot. Learn more.
monoidSpecOnArbitrary :: (Show a, Eq a, Monoid a, Typeable a, Arbitrary a) => Specgenvalidity-hspec Test.Validity.Monoid Standard test spec for properties of Monoid instances for arbitrary values Example usage:
monoidSpecOnArbitrary @[Int]
monoidSpecOnGen :: (Show a, Eq a, Monoid a, Typeable a) => Gen a -> String -> (a -> [a]) -> Specgenvalidity-hspec Test.Validity.Monoid Standard test spec for properties of Monoid instances for values generated by a given generator (and name for that generator). Example usage:
monoidSpecOnGen (pure "a") "singleton list of 'a'"
monoidSpecOnValid :: (Show a, Eq a, Monoid a, Typeable a, GenValid a) => Specgenvalidity-hspec Test.Validity.Monoid Standard test spec for properties of Monoid instances for valid values Example usage:
monoidSpecOnValid @[Double]
shrinkPreservesValidOnGenValid :: (Show a, GenValid a) => (a -> [a]) -> Propertygenvalidity-hspec Test.Validity.Shrinking shrinkPreservesValidOnGenValid ((:[]) :: Int -> [Int])
shrinkValidDoesNotShrinkToItself :: (Show a, Eq a, GenValid a) => Propertygenvalidity-hspec Test.Validity.Shrinking No documentation available.
shrinkValidDoesNotShrinkToItselfWithLimit :: (Show a, Eq a, GenValid a) => Int -> Propertygenvalidity-hspec Test.Validity.Shrinking No documentation available.
shrinkValidPreservesValid :: (Show a, GenValid a) => Gen a -> Propertygenvalidity-hspec Test.Validity.Shrinking shrinkValidPreservesValid (pure 5 :: Gen Rational)
shrinkValidPreservesValidOnGenValid :: (Show a, GenValid a) => Propertygenvalidity-hspec Test.Validity.Shrinking No documentation available.
shrinkValidPreservesValidOnGenValidWithLimit :: (Show a, GenValid a) => Int -> Propertygenvalidity-hspec Test.Validity.Shrinking No documentation available.
shrinkValidSpec :: (Show a, Eq a, Typeable a, GenValid a) => Specgenvalidity-hspec Test.Validity.Shrinking No documentation available.