Hoogle Search

Within LTS Haskell 24.66 (ghc-9.10.3)

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

Exact lookup

1. fmapF :: FunctorF m => (forall (x :: k) . () => f x -> g x) -> m f -> m g

   parameterized-utils	Data.Parameterized.TraversableF

   No documentation available.

2. fmapFDefault :: TraversableF t => (forall (s :: k) . () => e s -> f s) -> t e -> t f

   parameterized-utils	Data.Parameterized.TraversableF

   This function may be used as a value for fmapF in a FunctorF instance.

3. foldMapF :: (FoldableF t, Monoid m) => (forall (s :: k) . () => e s -> m) -> t e -> m

   parameterized-utils	Data.Parameterized.TraversableF

   Map each element of the structure to a monoid, and combine the results.

4. foldMapFDefault :: (TraversableF t, Monoid m) => (forall (s :: k) . () => e s -> m) -> t e -> m

   parameterized-utils	Data.Parameterized.TraversableF

   This function may be used as a value for foldMap in a Foldable instance.

5. fmapFC :: FunctorFC t => (forall (x :: k) . () => f x -> g x) -> forall (x :: l) . () => t f x -> t g x

   parameterized-utils	Data.Parameterized.TraversableFC

   No documentation available.

6. fmapFCDefault :: TraversableFC t => forall (f :: k -> Type) (g :: k -> Type) . () => (forall (x :: k) . () => f x -> g x) -> forall (x :: l) . () => t f x -> t g x

   parameterized-utils	Data.Parameterized.TraversableFC

   This function may be used as a value for fmapF in a FunctorF instance.

7. foldMapFC :: forall f m . (FoldableFC t, Monoid m) => (forall (x :: k) . () => f x -> m) -> forall (x :: l) . () => t f x -> m

   parameterized-utils	Data.Parameterized.TraversableFC

   Map each element of the structure to a monoid, and combine the results.

8. foldMapFCDefault :: (TraversableFC t, Monoid m) => (forall (x :: k) . () => f x -> m) -> forall (x :: l) . () => t f x -> m

   parameterized-utils	Data.Parameterized.TraversableFC

   This function may be used as a value for foldMap in a Foldable instance.

9. ifoldMapFC :: forall f m (z :: l) . (FoldableFCWithIndex t, Monoid m) => (forall (x :: k) . () => IndexF (t f z) x -> f x -> m) -> t f z -> m

   parameterized-utils	Data.Parameterized.TraversableFC.WithIndex

   Like foldMapFC, but with an index.

   foldMapFC f ≡ ifoldMapFC (const f)
   

10. imapFC :: forall f g (z :: l) . FunctorFCWithIndex t => (forall (x :: k) . () => IndexF (t f z) x -> f x -> g x) -> t f z -> t g z

    parameterized-utils	Data.Parameterized.TraversableFC.WithIndex

    Like fmapFC, but with an index.

    fmapFC f ≡ imapFC (const f)
    

Page 587 of many | Previous | Next