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.

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

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

    lens Control.Lens.Internal.Context

    No documentation available.

  3. reifiedMappend :: ReifiedMonoid a -> a -> a -> a

    lens Control.Lens.Internal.Fold

    No documentation available.

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

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

    lens Control.Lens.Internal.Magma

    No documentation available.

  6. fmapValName :: Name

    lens Control.Lens.Internal.TH

    No documentation available.

  7. 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')

  8. 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)

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

  10. dimapping :: forall (p :: Type -> Type -> Type) (q :: Type -> Type -> Type) s t a b s' t' a' b' . (Profunctor p, Profunctor q) => AnIso s t a b -> AnIso s' t' a' b' -> Iso (p a s') (q b t') (p s a') (q t b')

    lens Control.Lens.Iso

    Lift two Isos into both arguments of a Profunctor simultaneously. 

    dimapping :: Profunctor p => Iso s t a b -> Iso s' t' a' b' -> Iso (p a s') (p b t') (p s a') (p t b')
dimapping :: Profunctor p => Iso' s a -> Iso' s' a' -> Iso' (p a s') (p s a')

Page 422 of many | Previous | Next