Portability | Rank2Types |
---|---|
Stability | experimental |
Maintainer | Edward Kmett <ekmett@gmail.com> |
Safe Haskell | Safe-Infered |
- _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