Hoogle Search

Within LTS Haskell 24.34 (ghc-9.10.3)

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

Exact lookup

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

   tasty-quickcheck	Test.Tasty.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
   

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

   tasty-quickcheck	Test.Tasty.QuickCheck

   Non-overloaded version of shrinkMap.

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

   tasty-quickcheck	Test.Tasty.QuickCheck

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

4. ixmap :: (Ix i, Ix j) => (i, i) -> (i -> j) -> Array j e -> Array i e

   array	Data.Array

   No documentation available.

5. amap :: (IArray a e', IArray a e, Ix i) => (e' -> e) -> a i e' -> a i e

   array	Data.Array.Base

   Returns a new array derived from the original array by applying a function to each of the elements.

6. ixmap :: (IArray a e, Ix i, Ix j) => (i, i) -> (i -> j) -> a j e -> a i e

   array	Data.Array.Base

   Returns a new array derived from the original array by applying a function to each of the indices.

7. amap :: (IArray a e', IArray a e, Ix i) => (e' -> e) -> a i e' -> a i e

   array	Data.Array.IArray

   Returns a new array derived from the original array by applying a function to each of the elements.

8. ixmap :: (IArray a e, Ix i, Ix j) => (i, i) -> (i -> j) -> a j e -> a i e

   array	Data.Array.IArray

   Returns a new array derived from the original array by applying a function to each of the indices.

9. gmappend :: (Generic a, GSemigroup (Rep a)) => a -> a -> a

   semigroups	Data.Semigroup.Generic

   Generically generate a Semigroup (<>) operation for any type implementing Generic. This operation will append two values by point-wise appending their component fields. It is only defined for product types.

   gmappend a (gmappend b c) = gmappend (gmappend a b) c
   

10. imapPrimArray :: (Prim a, Prim b) => (Int -> a -> b) -> PrimArray a -> PrimArray b

    primitive	Data.Primitive.PrimArray

    Indexed map over the elements of a primitive array.

Page 415 of many | Previous | Next