Hoogle Search

Within LTS Haskell 24.19 (ghc-9.10.3)

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

  1. gmapMo :: (Data a, MonadPlus m) => (forall d . Data d => d -> m d) -> a -> m a

    ghc-internal GHC.Internal.Data.Data

    Transformation of one immediate subterm with success

  2. gmapMp :: (Data a, MonadPlus m) => (forall d . Data d => d -> m d) -> a -> m a

    ghc-internal GHC.Internal.Data.Data

    Transformation of at least one immediate subterm does not fail

  3. imapM :: forall r ix b r' a m . (Source r' a, Manifest r b, Index ix, Monad m) => (ix -> a -> m b) -> Array r' ix a -> m (Array r ix b)

    massiv Data.Massiv.Array

    Map an index aware monadic action over an array sequentially.

  4. imapM_ :: (Index ix, Source r a, Monad m) => (ix -> a -> m b) -> Array r ix a -> m ()

    massiv Data.Massiv.Array

    Map a monadic index aware function over an array sequentially, while discarding the result.

    Examples

    >>> import Data.Massiv.Array

>>> imapM_ (curry print) $ range Seq (Ix1 10) 15
(0,10)
(1,11)
(2,12)
(3,13)
(4,14)

  5. simapM :: forall r ix a b m . (Stream r ix a, Monad m) => (ix -> a -> m b) -> Array r ix a -> m (Vector DS b)

    massiv Data.Massiv.Vector

    Traverse a stream vector with a monadic index aware function. Corresponds to: mapM (uncurry f) . imap (,) v

    Examples

  6. simapM_ :: forall r ix a b m . (Stream r ix a, Monad m) => (ix -> a -> m b) -> Array r ix a -> m ()

    massiv Data.Massiv.Vector

    Traverse a stream vector with a monadic index aware function, while discarding the result

    Examples

  7. simapMaybe :: Stream r ix a => (ix -> a -> Maybe b) -> Array r ix a -> Vector DS b

    massiv Data.Massiv.Vector

    Similar to smapMaybe, but map with an index aware function.

    Examples

  8. simapMaybeM :: forall r ix a b f . (Stream r ix a, Applicative f) => (ix -> a -> f (Maybe b)) -> Array r ix a -> f (Vector DS b)

    massiv Data.Massiv.Vector

    Similar to smapMaybeM, but map with an index aware function.

    Examples

  9. smapM :: forall r ix a b m . (Stream r ix a, Monad m) => (a -> m b) -> Array r ix a -> m (Vector DS b)

    massiv Data.Massiv.Vector

    Traverse a stream vector with a monadic function.

    Examples

  10. smapM_ :: forall r ix a b m . (Stream r ix a, Monad m) => (a -> m b) -> Array r ix a -> m ()

    massiv Data.Massiv.Vector

    Traverse a stream vector with a monadic function, while discarding the result

    Examples

Page 79 of many | Previous | Next