HORIZON HASKELLDocslts/ghc-9.14.x7a6c33e2026-10-12Search packagesCtrl K
Theme: |

GHC 9.14.1 · lts/ghc-9.14.x · 7a6c33e · 2026-10-12

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
#