Copyright  (C) 2017 Csongor Kiss 

License  BSD3 
Maintainer  Csongor Kiss <kiss.csongor.kiss@gmail.com> 
Stability  experimental 
Portability  nonportable 
Safe Haskell  Safe 
Language  Haskell2010 
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 #
confusing :: Applicative f => Traversal s t a b > (a > f b) > s > f t Source #
confusingC :: forall c f s. Applicative f => TraversalC' c s > LensLikeC c f s Source #
liftCurriedYoneda :: Applicative f => f a > Curried (Yoneda f) a Source #
Curried  

liftCurried :: Applicative f => f a > Curried f a Source #
lowerCurried :: Applicative f => Curried f a > f a Source #
Instances
Functor (Yoneda f) Source #  
Applicative f => Applicative (Yoneda f) Source #  
liftYoneda :: Functor f => f a > Yoneda f a Source #
lowerYoneda :: Yoneda f a > f a Source #