Hoogle Search

Within LTS Haskell 24.35 (ghc-9.10.3)

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

Exact lookup

1. ifoldMap :: (FoldableWithIndex i f, Monoid m) => (i -> a -> m) -> f a -> m

   optics-core	Optics.Indexed.Core

   Fold a container by mapping value to an arbitrary Monoid with access to the index i. When you don't need access to the index then foldMap is more flexible in what it accepts.

   foldMap ≡ ifoldMap . const
   

2. ifoldMap' :: (FoldableWithIndex i f, Monoid m) => (i -> a -> m) -> f a -> m

   optics-core	Optics.Indexed.Core

   A variant of ifoldMap that is strict in the accumulator. When you don't need access to the index then foldMap' is more flexible in what it accepts.

   foldMap' ≡ ifoldMap' . const
   

3. imap :: FunctorWithIndex i f => (i -> a -> b) -> f a -> f b

   optics-core	Optics.Indexed.Core

   Map with access to the index.

4. bimap :: forall a b c d (i :: k) . Bifunctor p => (a -> b) -> (c -> d) -> p i a c -> p i b d

   optics-core	Optics.Internal.Bi

   No documentation available.

5. contrabimap :: forall b a d c (i :: k) . Bicontravariant p => (b -> a) -> (d -> c) -> p i a c -> p i b d

   optics-core	Optics.Internal.Bi

   No documentation available.

6. imapped__ :: (Mapping p, FunctorWithIndex i f) => Optic__ p j (i -> j) (f a) (f b) a b

   optics-core	Optics.Internal.IxSetter

   Internal implementation of imapped.

7. ifoldMap :: (FoldableWithIndex i f, Monoid m) => (i -> a -> m) -> f a -> m

   optics-core	Optics.IxFold

   Fold a container by mapping value to an arbitrary Monoid with access to the index i. When you don't need access to the index then foldMap is more flexible in what it accepts.

   foldMap ≡ ifoldMap . const
   

8. ifoldMap' :: (FoldableWithIndex i f, Monoid m) => (i -> a -> m) -> f a -> m

   optics-core	Optics.IxFold

   A variant of ifoldMap that is strict in the accumulator. When you don't need access to the index then foldMap' is more flexible in what it accepts.

   foldMap' ≡ ifoldMap' . const
   

9. ifoldMapOf :: forall k m (is :: IxList) i s a . (Is k A_Fold, Monoid m, HasSingleIndex is i) => Optic' k is s a -> (i -> a -> m) -> s -> m

   optics-core	Optics.IxFold

   Fold with index via embedding into a monoid.

10. imap :: FunctorWithIndex i f => (i -> a -> b) -> f a -> f b

    optics-core	Optics.IxSetter

    Map with access to the index.

Page 483 of many | Previous | Next