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.

Exact lookup

1. foldMapWithIndex :: Monoid m => (Int -> a -> m) -> Seq a -> m

   containers	Data.Sequence.Internal

   No documentation available.

2. functionMap :: Function b => (a -> b) -> (b -> a) -> (a -> c) -> a :-> c

   QuickCheck	Test.QuickCheck

   The basic building block for Function instances. Provides a Function instance by mapping to and from a type that already has a Function instance.

3. shrinkMap :: Arbitrary a => (a -> b) -> (b -> a) -> b -> [b]

   QuickCheck	Test.QuickCheck

   Map a shrink function to another domain. This is handy if your data type has special invariants, but is almost isomorphic to some other type.

   shrinkOrderedList :: (Ord a, Arbitrary a) => [a] -> [[a]]
   shrinkOrderedList = shrinkMap sort id
   
   shrinkSet :: (Ord a, Arbitrary a) => Set a -> [Set a]
   shrinkSet = shrinkMap fromList toList
   

4. shrinkMapBy :: (a -> b) -> (b -> a) -> (a -> [a]) -> b -> [b]

   QuickCheck	Test.QuickCheck

   Non-overloaded version of shrinkMap.

5. suchThatMap :: Gen a -> (a -> Maybe b) -> Gen b

   QuickCheck	Test.QuickCheck

   Generates a value for which the given function returns a Just, and then applies the function.

6. shrinkMap :: Arbitrary a => (a -> b) -> (b -> a) -> b -> [b]

   QuickCheck	Test.QuickCheck.Arbitrary

   Map a shrink function to another domain. This is handy if your data type has special invariants, but is almost isomorphic to some other type.

   shrinkOrderedList :: (Ord a, Arbitrary a) => [a] -> [[a]]
   shrinkOrderedList = shrinkMap sort id
   
   shrinkSet :: (Ord a, Arbitrary a) => Set a -> [Set a]
   shrinkSet = shrinkMap fromList toList
   

7. shrinkMapBy :: (a -> b) -> (b -> a) -> (a -> [a]) -> b -> [b]

   QuickCheck	Test.QuickCheck.Arbitrary

   Non-overloaded version of shrinkMap.

8. functionMap :: Function b => (a -> b) -> (b -> a) -> (a -> c) -> a :-> c

   QuickCheck	Test.QuickCheck.Function

   The basic building block for Function instances. Provides a Function instance by mapping to and from a type that already has a Function instance.

9. functionMapWith :: ((b -> c) -> b :-> c) -> (a -> b) -> (b -> a) -> (a -> c) -> a :-> c

   QuickCheck	Test.QuickCheck.Function

   No documentation available.

10. suchThatMap :: Gen a -> (a -> Maybe b) -> Gen b

    QuickCheck	Test.QuickCheck.Gen

    Generates a value for which the given function returns a Just, and then applies the function.

Page 410 of many | Previous | Next