Copyright	(C) 2017 Csongor Kiss
License	BSD3
Maintainer	Csongor Kiss <kiss.csongor.kiss@gmail.com>
Stability	experimental
Portability	non-portable
Safe Haskell	Safe
Language	Haskell2010

Data.Generics.Internal.VL.Traversal

Description

Internal lens helpers. Only exported for Haddock

Synopsis

type Traversal' s a = forall f. Applicative f => (a -> f a) -> s -> f s
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 = Curried {
- runCurried :: forall r. f (a -> r) -> f r
}
liftCurried :: Applicative f => f a -> Curried f a
lowerCurried :: Applicative f => Curried f a -> f a
newtype Yoneda f a = Yoneda {
- runYoneda :: forall b. (a -> b) -> f b
}
liftYoneda :: Functor f => f a -> Yoneda f a
lowerYoneda :: Yoneda f a -> f a

Documentation

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

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 Source #

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

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

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

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

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

Constructors

Curried
Fields runCurried :: forall r. f (a -> r) -> f r

Instances

Functor f => Functor (Curried f) Source #
Instance details 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) Source #
Instance details 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 #

newtype Yoneda f a Source #

Constructors

Yoneda
Fields runYoneda :: forall b. (a -> b) -> f b

Instances

Functor (Yoneda f) Source #
Instance details 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) Source #
Instance details 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 #