Data.Generics.Internal.VL.Traversal

Internal lens helpers. Only exported for Haddock

Documentation

type Traversal' s a = forall f. Applicative f => (a -> f a) -> s -> f s

Type alias for traversal

type TraversalC (c :: * -> * -> Constraint) s t = forall f. Applicative f => (forall a b. c a b => a -> f b) -> s -> f t

type TraversalC' (c :: * -> Constraint) s = forall f. Applicative f => (forall a. c a => a -> f a) -> s -> f s

type Traversal s t a b = forall f. Applicative f => (a -> f b) -> s -> f t

type LensLikeC c f s = (forall a. c a => a -> f a) -> s -> f s

confusing :: Applicative f => Traversal s t a b -> (a -> f b) -> s -> f t

confusingC :: forall c f s. Applicative f => TraversalC' c s -> LensLikeC c f s

liftCurriedYoneda :: Applicative f => f a -> Curried (Yoneda f) a

yap :: Applicative f => Yoneda f (a -> b) -> f a -> Yoneda f b

newtype Curried f a

Constructors

Curried

Fields

• runCurried :: forall r. f (a -> r) -> f r

Instances

Functor f => Functor (Curried f)

Defined in Data.Generics.Internal.VL.Traversal

Methods

fmap :: (a -> b) -> Curried f a -> Curried f b

(<$) :: a -> Curried f b -> Curried f a

Functor f => Applicative (Curried f)

Defined in Data.Generics.Internal.VL.Traversal

Methods

pure :: a -> Curried f a

(<*>) :: Curried f (a -> b) -> Curried f a -> Curried f b

liftA2 :: (a -> b -> c) -> Curried f a -> Curried f b -> Curried f c

(*>) :: Curried f a -> Curried f b -> Curried f b

(<*) :: Curried f a -> Curried f b -> Curried f a

liftCurried :: Applicative f => f a -> Curried f a

lowerCurried :: Applicative f => Curried f a -> f a

newtype Yoneda f a

Constructors

Yoneda

Fields

• runYoneda :: forall b. (a -> b) -> f b

Instances

Functor (Yoneda f)

Defined in Data.Generics.Internal.VL.Traversal

Methods

fmap :: (a -> b) -> Yoneda f a -> Yoneda f b

(<$) :: a -> Yoneda f b -> Yoneda f a

Applicative f => Applicative (Yoneda f)

Defined in Data.Generics.Internal.VL.Traversal

Methods

pure :: a -> Yoneda f a

(<*>) :: Yoneda f (a -> b) -> Yoneda f a -> Yoneda f b

liftA2 :: (a -> b -> c) -> Yoneda f a -> Yoneda f b -> Yoneda f c

(*>) :: Yoneda f a -> Yoneda f b -> Yoneda f b

(<*) :: Yoneda f a -> Yoneda f b -> Yoneda f a

liftYoneda :: Functor f => f a -> Yoneda f a

lowerYoneda :: Yoneda f a -> f a