Hoogle Search

Within LTS Haskell 24.65 (ghc-9.10.3)

Note that Stackage only displays results for the latest LTS and Nightly snapshot. Learn more.

  1. module Test.Validity.Monoid

    Monoid properties You will need TypeApplications to use these.

  2. monoidSpec :: (Show a, Eq a, Monoid a, Typeable a, GenValid a) => Spec

    genvalidity-hspec Test.Validity.Monoid

    Standard test spec for properties of Monoid instances for valid values Example usage:

    monoidSpec @[Int]
    

  3. monoidSpecOnArbitrary :: (Show a, Eq a, Monoid a, Typeable a, Arbitrary a) => Spec

    genvalidity-hspec Test.Validity.Monoid

    Standard test spec for properties of Monoid instances for arbitrary values Example usage:

    monoidSpecOnArbitrary @[Int]
    

  4. monoidSpecOnGen :: (Show a, Eq a, Monoid a, Typeable a) => Gen a -> String -> (a -> [a]) -> Spec

    genvalidity-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'"
    

  5. monoidSpecOnValid :: (Show a, Eq a, Monoid a, Typeable a, GenValid a) => Spec

    genvalidity-hspec Test.Validity.Monoid

    Standard test spec for properties of Monoid instances for valid values Example usage:

    monoidSpecOnValid @[Double]
    

  6. shrinkPreservesValidOnGenValid :: (Show a, GenValid a) => (a -> [a]) -> Property

    genvalidity-hspec Test.Validity.Shrinking

    shrinkPreservesValidOnGenValid ((:[]) :: Int -> [Int])
    

  7. shrinkValidDoesNotShrinkToItself :: (Show a, Eq a, GenValid a) => Property

    genvalidity-hspec Test.Validity.Shrinking

    No documentation available.

  8. shrinkValidDoesNotShrinkToItselfWithLimit :: (Show a, Eq a, GenValid a) => Int -> Property

    genvalidity-hspec Test.Validity.Shrinking

    No documentation available.

  9. shrinkValidPreservesValid :: (Show a, GenValid a) => Gen a -> Property

    genvalidity-hspec Test.Validity.Shrinking

    shrinkValidPreservesValid (pure 5 :: Gen Rational)
    

  10. shrinkValidPreservesValidOnGenValid :: (Show a, GenValid a) => Property

    genvalidity-hspec Test.Validity.Shrinking

    No documentation available.

Page 621 of many | Previous | Next