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. bimapDefault :: Bitraversable t => (a -> b) -> (c -> d) -> t a c -> t b d

   base	Data.Bitraversable

   A default definition of bimap in terms of the Bitraversable operations.

   bimapDefault f g ≡
   runIdentity . bitraverse (Identity . f) (Identity . g)
   

2. bimapM :: (Bitraversable t, Applicative f) => (a -> f c) -> (b -> f d) -> t a b -> f (t c d)

   base	Data.Bitraversable

   Alias for bitraverse.

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

   base	Data.Data

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

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

   base	Data.Data

   Transformation of one immediate subterm with success

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

   base	Data.Data

   Transformation of at least one immediate subterm does not fail

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

   base	Data.Data

   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.

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

   base	Data.Data

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

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

   base	Data.Data

   A generic query with a left-associative binary operator

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

   base	Data.Data

   A generic query with a right-associative binary operator

10. gmapT :: Data a => (forall b . Data b => b -> b) -> a -> a

    base	Data.Data

    A generic transformation that maps over the immediate subterms The default definition instantiates the type constructor c in the type of gfoldl to an identity datatype constructor, using the isomorphism pair as injection and projection.

Page 399 of many | Previous | Next