Hoogle Search

Within LTS Haskell 24.41 (ghc-9.10.3)

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

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

    lens Control.Lens.Internal.Context

    No documentation available.

  2. reifiedMappend :: ReifiedMonoid a -> a -> a -> a

    lens Control.Lens.Internal.Fold

    No documentation available.

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

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

    lens Control.Lens.Internal.Magma

    No documentation available.

  5. fmapValName :: Name

    lens Control.Lens.Internal.TH

    No documentation available.

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

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

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

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

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

    lens Control.Lens.Iso

    Map the first argument contravariantly. 

    lmap f ≡ dimap f id

Page 422 of many | Previous | Next