Modulelinear-base-0.8.1

Control.Optics.Linear.Traversal

Synopsis

value(.>) :: Optic_ arr s t a b -> Optic_ arr a b x y -> Optic_ arr s t x y

valueover :: Optic_ (FUN 'One) s t a b -> (a %1 -> b) -> s %1 -> t

valueoverU :: Optic_ (->) s t a b -> (a -> b) -> s -> t

valuetraversal

valuetraverseOf :: Optic_ (Kleisli f) s t a b -> (a %1 -> f b) -> s %1 -> f t

valuetraverseOfU :: Optic_ (Kleisli f) s t a b -> (a -> f b) -> s -> f t

valuetraversed :: Traversable t => Traversal (t a) (t b) a b

typetype Traversal s t a b = Optic Wandering s t a b

typetype Traversal' s a = Traversal s s a a