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):
>>>
Just 1 ^.. traversed
[1]
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