Safe Haskell | None |
---|---|

Language | Haskell2010 |

This module is needed to give other packages from the microlens family (like microlens-ghc) access to functions that don't need to be exported from Lens.Micro (because they just clutter the namespace). Also, okay, uh, e.g. `traversed`

is here because otherwise there'd be a dependency cycle.

- traversed :: Traversable f => Traversal (f a) (f b) a b
- folded :: (Foldable f, Applicative (Const r)) => Getting r (f a) a
- foldring :: Applicative (Const r) => ((a -> Const r a -> Const r a) -> Const r a -> s -> Const r a) -> (a -> Const r b) -> s -> Const r t
- foldrOf :: Getting (Endo r) s a -> (a -> r -> r) -> r -> s -> r
- foldMapOf :: Getting r s a -> (a -> r) -> s -> r
- sets :: ((a -> b) -> s -> t) -> ASetter s t a b
- (#.) :: Coercible c b => (b -> c) -> (a -> b) -> a -> c
- (.#) :: Coercible b a => (b -> c) -> (a -> b) -> a -> c

# Documentation

traversed :: Traversable f => Traversal (f a) (f b) a b Source

`traversed`

traverses any `Traversable`

container (list, vector, `Map`

, `Maybe`

, you name it):

`>>>`

[1]`Just 1 ^.. traversed`

`traversed`

is the same as `traverse`

, but can be faster thanks to magic rewrite rules.

foldring :: Applicative (Const r) => ((a -> Const r a -> Const r a) -> Const r a -> s -> Const r a) -> (a -> Const r b) -> s -> Const r t Source