Hoogle Search

Within LTS Haskell 24.45 (ghc-9.10.3)

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

Exact lookup

1. foldMapWithKey1Default :: (TraversableWithKey1 t, Semigroup m) => (Key t -> a -> m) -> t a -> m

   keys	Data.Key

   No documentation available.

2. foldMapWithKeyDefault :: (TraversableWithKey t, Monoid m) => (Key t -> a -> m) -> t a -> m

   keys	Data.Key

   This function may be used as a value for foldMapWithKey in a FoldableWithKey instance.

3. foldMapWithKeyDefault1 :: (FoldableWithKey1 t, Monoid m) => (Key t -> a -> m) -> t a -> m

   keys	Data.Key

   No documentation available.

4. prop_smapMaybe :: forall r ix e a . (Eq a, Show a, Stream r ix e, Foldable (Array r ix)) => Array r ix e -> Fun e (Maybe a) -> Property

   massiv-test	Test.Massiv.Array.Delayed

   No documentation available.

5. prop_iMapiMapM :: (Show (Array r ix e), Eq (Array r ix e), Manifest r e, Index ix) => Fun (ix, e) e -> Array D ix e -> Property

   massiv-test	Test.Massiv.Array.Mutable

   No documentation available.

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

   massiv-test	Test.Massiv.Utils

   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]

   massiv-test	Test.Massiv.Utils

   Non-overloaded version of shrinkMap.

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

   massiv-test	Test.Massiv.Utils

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

9. imap :: (Context a, Context b) => ((Int, Int) -> a -> b) -> Matrix a -> Matrix b

   matrices	Data.Matrix

   No documentation available.

10. imapM :: (Context a, Context b, Monad m) => ((Int, Int) -> a -> m b) -> Matrix a -> m (Matrix b)

    matrices	Data.Matrix

    O(m*n) Apply the monadic action to every element and its index, yielding a matrix of results.

Page 949 of many | Previous | Next