HORIZON HASKELLDocslts/ghc-9.10.x248f8f02026-10-05Search names, modules, packages, or :: a typeCtrl K

GHC 9.10.3 · lts/ghc-9.10.x · 248f8f0 · 2026-10-05

Modulegeneric-lens-core-2.2.1.0Haskell2010

Data.Generics.Internal.VL.Traversal

Internal lens helpers. Only exported for Haddock

  • 4 types
  • 7 values
typetype Traversal' s a = forall (f :: Type -> Type). Applicative f => (a -> f a) -> s -> f s
#

Type alias for traversal

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.2.1.0 · Data.Generics.Internal.VL.Traversal
  • Functor f => Applicative (Curried f)Defined in generic-lens-core-2.2.1.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.2.1.0 · Data.Generics.Internal.VL.Traversal
  • Applicative f => Applicative (Yoneda f)Defined in generic-lens-core-2.2.1.0 · Data.Generics.Internal.VL.Traversal
valueliftYoneda :: Functor f => f a -> Yoneda f a
#
valuelowerYoneda :: Yoneda f a -> f a
#