HORIZON HASKELLDocslts/ghc-10.0.x8fef28d2026-11-02Search packagesCtrl K
Theme: |

GHC 10.0.0.20260917 · lts/ghc-10.0.x · 8fef28d · 2026-11-02

Modulegeneric-lens-core-2.3.0.0Haskell2010

Data.Generics.Internal.VL.Traversal

Internal lens helpers. Only exported for Haddock

Synopsis
typetype Traversal s t a b = forall (f :: Type -> Type). Applicative f => (a -> f b) -> s -> f t
#
valueconfusing :: Applicative f => Traversal s t a b -> (a -> f b) -> s -> f t
#
valueliftCurriedYoneda :: Applicative f => f a -> Curried (Yoneda f) a
#
valueyap :: Applicative f => Yoneda f (a -> b) -> f a -> Yoneda f b
#
newtypenewtype Curried (f :: Type -> Type) a
#

Constructors

  • Curried
    • runCurried :: forall r. f (a -> r) -> f r
Instances2Functor, Applicative
  • Functor f => Functor (Curried f)Defined in generic-lens-core-2.3.0.0 · Data.Generics.Internal.VL.Traversal
  • Functor f => Applicative (Curried f)Defined in generic-lens-core-2.3.0.0 · Data.Generics.Internal.VL.Traversal
valueliftCurried :: Applicative f => f a -> Curried f a
#
valuelowerCurried :: Applicative f => Curried f a -> f a
#
newtypenewtype Yoneda (f :: Type -> Type) a
#

Constructors

  • Yoneda
    • runYoneda :: forall b. (a -> b) -> f b
Instances2Functor, Applicative
  • Functor (Yoneda f)Defined in generic-lens-core-2.3.0.0 · Data.Generics.Internal.VL.Traversal
  • Applicative f => Applicative (Yoneda f)Defined in generic-lens-core-2.3.0.0 · Data.Generics.Internal.VL.Traversal
valueliftYoneda :: Functor f => f a -> Yoneda f a
#
valuelowerYoneda :: Yoneda f a -> f a
#