Hoogle Search

Within LTS Haskell 24.4 (ghc-9.10.2)

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

Exact lookup

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

   genvalidity-hspec	Test.Validity

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

   monoidSpec @[Int]
   

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

   genvalidity-hspec	Test.Validity

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

   monoidSpecOnArbitrary @[Int]
   

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

   genvalidity-hspec	Test.Validity

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

4. 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]
   

5. 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]
   

6. 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'"
   

7. 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]
   

8. monoidLaws :: (Monoid a, Eq a, Arbitrary a, Show a) => Proxy a -> Laws

   quickcheck-classes	Test.QuickCheck.Classes

   Tests the following properties:

   • Associative mappend a (mappend b c) ≡ mappend (mappend a b) c
   • Left Identity mappend mempty a ≡ a
   • Right Identity mappend a mempty ≡ a
   • Concatenation mconcat as ≡ foldr mappend mempty as

9. monoidConcatMap :: (Storable a, Monoid m) => (a -> m) -> Vector a -> m

   storablevector	Data.StorableVector

   Deprecated: Use foldMap instead.

10. monoidConcatMap :: (Storable a, Monoid m) => (a -> m) -> Vector a -> m

    storablevector	Data.StorableVector.Lazy

    Deprecated: Use foldMap instead.

Page 13 of many | Previous | Next