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.

  1. mapM_ :: MonadParallel m => (a -> m b) -> [a] -> m ()

    monad-parallel Control.Monad.Parallel

    Like mapM_, but applying the function to the individual list items in parallel.

  2. mapMaybe :: (Key -> Maybe Key) -> IntMultiSet -> IntMultiSet

    multiset Data.IntMultiSet

    O(n). Map and collect the Just results.

  3. mapMonotonic :: (Key -> Key) -> IntMultiSet -> IntMultiSet

    multiset Data.IntMultiSet

    O(n). mapMonotonic f s == map f s, but works only when f is strictly monotonic. The precondition is not checked. Semi-formally, we have: 

    and [x < y ==> f x < f y | x <- ls, y <- ls]
==> mapMonotonic f s == map f s
where ls = toList s

  4. mapMaybe :: Ord b => (a -> Maybe b) -> MultiSet a -> MultiSet b

    multiset Data.MultiSet

    O(n). Map and collect the Just results.

  5. mapMonotonic :: (a -> b) -> MultiSet a -> MultiSet b

    multiset Data.MultiSet

    O(n). mapMonotonic f s == map f s, but works only when f is strictly monotonic. The precondition is not checked. Semi-formally, we have: 

    and [x < y ==> f x < f y | x <- ls, y <- ls]
==> mapMonotonic f s == map f s
where ls = toList s

  6. mapMultiGSTT :: forall ts (cts :: [CanReadWrite Type]) m a m' a' . ts ~ HListM cts => (m (a, ts) -> m' (a', ts)) -> MultiGSTT cts m a -> MultiGSTT cts m' a'

    multistate Control.Monad.Trans.MultiGST

    No documentation available.

  7. mapMultiGSTT :: forall ts (cts :: [CanReadWrite Type]) m a m' a' . ts ~ HListM cts => (m (a, ts) -> m' (a', ts)) -> MultiGSTT cts m a -> MultiGSTT cts m' a'

    multistate Control.Monad.Trans.MultiGST.Lazy

    No documentation available.

  8. mapMultiGSTT :: forall ts (cts :: [CanReadWrite Type]) m a m' a' . ts ~ HListM cts => (m (a, ts) -> m' (a', ts)) -> MultiGSTT cts m a -> MultiGSTT cts m' a'

    multistate Control.Monad.Trans.MultiGST.Strict

    No documentation available.

  9. mapMultiRWST :: forall ss (r :: [Type]) (w :: [Type]) (s :: [Type]) m a m' a' . ss ~ (HList r, HList w, HList s) => (m (a, ss) -> m' (a', ss)) -> MultiRWST r w s m a -> MultiRWST r w s m' a'

    multistate Control.Monad.Trans.MultiRWS

    No documentation available.

  10. mapMultiRWST :: forall ss (r :: [Type]) (w :: [Type]) (s :: [Type]) m a m' a' . ss ~ (HList r, HList w, HList s) => (m (a, ss) -> m' (a', ss)) -> MultiRWST r w s m a -> MultiRWST r w s m' a'

    multistate Control.Monad.Trans.MultiRWS.Lazy

    No documentation available.

Page 48 of many | Previous | Next