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. foldMapM :: (Monad m, Monoid w, Foldable t) => (a -> m w) -> t a -> m w

   rio	RIO.Prelude

   Extend foldMap to allow side effects. Internally, this is implemented using a strict left fold. This is used for performance reasons. It also necessitates that this function has a Monad constraint and not just an Applicative constraint. For more information, see https://github.com/commercialhaskell/rio/pull/99#issuecomment-394179757.

2. data HashMap k v

   rio	RIO.Prelude.Types

   A map from keys to values. A map cannot contain duplicate keys; each key can map to at most one value.

3. data IntMap a

   rio	RIO.Prelude.Types

   A map of integers to values a.

4. gmapM :: (Data a, Monad m) => (forall d . Data d => d -> m d) -> a -> m a

   rio	RIO.Prelude.Types

   A generic monadic transformation that maps over the immediate subterms The default definition instantiates the type constructor c in the type of gfoldl to the monad datatype constructor, defining injection and projection using return and >>=.

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

   rio	RIO.Prelude.Types

   Transformation of one immediate subterm with success

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

   rio	RIO.Prelude.Types

   Transformation of at least one immediate subterm does not fail

7. gmapQ :: Data a => (forall d . Data d => d -> u) -> a -> [u]

   rio	RIO.Prelude.Types

   A generic query that processes the immediate subterms and returns a list of results. The list is given in the same order as originally specified in the declaration of the data constructors.

8. gmapQi :: Data a => Int -> (forall d . Data d => d -> u) -> a -> u

   rio	RIO.Prelude.Types

   A generic query that processes one child by index (zero-based)

9. gmapQl :: Data a => (r -> r' -> r) -> r -> (forall d . Data d => d -> r') -> a -> r

   rio	RIO.Prelude.Types

   A generic query with a left-associative binary operator

10. gmapQr :: forall r r' . Data a => (r' -> r -> r) -> r -> (forall d . Data d => d -> r') -> a -> r

    rio	RIO.Prelude.Types

    A generic query with a right-associative binary operator

Page 492 of many | Previous | Next