| Portability | Rank2Types |
|---|---|
| Stability | experimental |
| Maintainer | Edward Kmett <ekmett@gmail.com> |
| Safe Haskell | Safe-Infered |
Data.Monoid.Lens
Description
- _dual :: Iso a b (Dual a) (Dual b)
- _endo :: Iso (a -> a) (b -> b) (Endo a) (Endo b)
- _all :: Simple Iso Bool All
- _any :: Simple Iso Bool Any
- _sum :: Iso a b (Sum a) (Sum b)
- _product :: Iso a b (Product a) (Product b)
- _first :: Iso (Maybe a) (Maybe b) (First a) (First b)
- _last :: Iso (Maybe a) (Maybe b) (Last a) (Last b)
Documentation
_all :: Simple Iso Bool AllSource
Isomorphism for All
>>>:m + Control.Lens Data.Monoid.Lens Data.Foldable>>>au _all foldMap [True,True]True
>>>:m + Control.Lens Data.Monoid.Lens Data.Foldable>>>au _all foldMap [True,False]False
_any :: Simple Iso Bool AnySource
Isomorphism for Any
>>>:m + Control.Lens Data.Monoid.Lens Data.Foldable>>>au _any foldMap [False,False]False
>>>:m + Control.Lens Data.Monoid.Lens Data.Foldable>>>au _any foldMap [True,False]True
_sum :: Iso a b (Sum a) (Sum b)Source
Isomorphism for Sum
>>>:m + Control.Lens Data.Monoid.Lens Data.Foldable>>>au _sum foldMap [1,2,3,4]10