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.

  1. imapM_ :: (FoldableWithIndex i t, Monad m) => (i -> a -> m b) -> t a -> m ()

    lens Control.Lens.Indexed

    Run monadic actions for each target of an IndexedFold or IndexedTraversal with access to the index, discarding the results. When you don't need access to the index then mapMOf_ is more flexible in what it accepts. 

    mapM_ ≡ imapM . const

  2. imapped :: forall i (f :: Type -> Type) a b . FunctorWithIndex i f => IndexedSetter i (f a) (f b) a b

    lens Control.Lens.Indexed

    The IndexedSetter for a FunctorWithIndex. If you don't need access to the index, then mapped is more flexible in what it accepts.

  3. ifmap :: IndexedFunctor w => (s -> t) -> w a b s -> w a b t

    lens Control.Lens.Internal.Context

    No documentation available.

  4. reifiedMappend :: ReifiedMonoid a -> a -> a -> a

    lens Control.Lens.Internal.Fold

    No documentation available.

  5. MagmaFmap :: forall x t i b a . (x -> t) -> Magma i x b a -> Magma i t b a

    lens Control.Lens.Internal.Magma

    No documentation available.

  6. MagmaPure :: forall t i b a . t -> Magma i t b a

    lens Control.Lens.Internal.Magma

    No documentation available.

  7. fmapValName :: Name

    lens Control.Lens.Internal.TH

    No documentation available.

  8. bimapping :: forall (f :: Type -> Type -> Type) (g :: Type -> Type -> Type) s t a b s' t' a' b' . (Bifunctor f, Bifunctor g) => AnIso s t a b -> AnIso s' t' a' b' -> Iso (f s s') (g t t') (f a a') (g b b')

    lens Control.Lens.Iso

    Lift two Isos into both arguments of a Bifunctor. 

    bimapping :: Bifunctor p => Iso s t a b -> Iso s' t' a' b' -> Iso (p s s') (p t t') (p a a') (p b b')
bimapping :: Bifunctor p => Iso' s a -> Iso' s' a' -> Iso' (p s s') (p a a')

  9. contramapping :: forall (f :: Type -> Type) s t a b . Contravariant f => AnIso s t a b -> Iso (f a) (f b) (f s) (f t)

    lens Control.Lens.Iso

    Lift an Iso into a Contravariant functor. 

    contramapping :: Contravariant f => Iso s t a b -> Iso (f a) (f b) (f s) (f t)
contramapping :: Contravariant f => Iso' s a -> Iso' (f a) (f s)

  10. dimap :: Profunctor p => (a -> b) -> (c -> d) -> p b c -> p a d

    lens Control.Lens.Iso

    Map over both arguments at the same time. 

    dimap f g ≡ lmap f . rmap g

Page 421 of many | Previous | Next