Hoogle Search

Within LTS Haskell 24.40 (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]

   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
   

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

   massiv-test	Test.Massiv.Utils

   Non-overloaded version of shrinkMap.

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

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

   matrices	Data.Matrix

   No documentation available.

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

6. imapM_ :: (Context a, Monad m) => ((Int, Int) -> a -> m b) -> Matrix a -> m ()

   matrices	Data.Matrix

   O(m*n) Apply the monadic action to every element and its index, ignoring the results.

7. imap :: forall (v :: Type -> Type) a b . (Vector v a, Vector v b) => ((Int, Int) -> a -> b) -> Matrix v a -> Matrix v b

   matrices	Data.Matrix.Generic

   No documentation available.

8. imapM :: forall (v :: Type -> Type) a b m . (Vector v a, Vector v b, Monad m) => ((Int, Int) -> a -> m b) -> Matrix v a -> m (Matrix v b)

   matrices	Data.Matrix.Generic

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

9. imapM_ :: forall (v :: Type -> Type) a m b . (Vector v a, Monad m) => ((Int, Int) -> a -> m b) -> Matrix v a -> m ()

   matrices	Data.Matrix.Generic

   O(m*n) Apply the monadic action to every element and its index, ignoring the results.

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

    matrices	Data.Matrix.Storable

    No documentation available.

Page 948 of many | Previous | Next