| Portability | non-portable |
|---|---|
| Stability | experimental |
| Maintainer | Edward Kmett <ekmett@gmail.com> |
| Safe Haskell | None |
Control.Lens.Each
Contents
Description
Each
class Each s t a b | s -> a, t -> b, s b -> t, t a -> s whereSource
Extract each element of a (potentially monomorphic) container.
Notably, when applied to a tuple, this generalizes both to arbitrary homogeneous tuples.
>>>(1,2,3) & each *~ 10(10,20,30)
It can also be used on monomorphic containers like Text or ByteString.
>>>over each Char.toUpper ("hello"^.Text.packed)"HELLO"
>>>("hello","world") & each.each %~ Char.toUpper("HELLO","WORLD")
Instances
| (~ * a Word8, ~ * b Word8) => Each ByteString ByteString a b |
|
| (~ * a Word8, ~ * b Word8) => Each ByteString ByteString a b |
|
| (~ * a Char, ~ * b Char) => Each Text Text a b |
|
| (~ * a Char, ~ * b Char) => Each Text Text a b |
|
| Each [a] [b] a b |
|
| Each (Maybe a) (Maybe b) a b |
|
| Each (Complex a) (Complex b) a b |
|
| Each (Identity a) (Identity b) a b |
|
| Each (Tree a) (Tree b) a b |
|
| Each (Seq a) (Seq b) a b |
|
| Each (IntMap a) (IntMap b) a b |
|
| Each (NonEmpty a) (NonEmpty b) a b |
|
| Each (Vector a) (Vector b) a b |
|
| (Unbox a, Unbox b) => Each (Vector a) (Vector b) a b |
|
| (Storable a, Storable b) => Each (Vector a) (Vector b) a b |
|
| (Prim a, Prim b) => Each (Vector a) (Vector b) a b |
|
| (~ * a a', ~ * b b') => Each (a, a') (b, b') a b |
|
| ~ * c d => Each (HashMap c a) (HashMap d b) a b |
|
| ~ * c d => Each (Map c a) (Map d b) a b |
|
| (Ix i, IArray UArray a, IArray UArray b, ~ * i j) => Each (UArray i a) (UArray j b) a b |
|
| (Ix i, ~ * i j) => Each (Array i a) (Array j b) a b |
|
| (~ * a a2, ~ * a a3, ~ * b b2, ~ * b b3) => Each (a, a2, a3) (b, b2, b3) a b |
|
| (~ * a a2, ~ * a a3, ~ * a a4, ~ * b b2, ~ * b b3, ~ * b b4) => Each (a, a2, a3, a4) (b, b2, b3, b4) a b |
|
| (~ * a a2, ~ * a a3, ~ * a a4, ~ * a a5, ~ * b b2, ~ * b b3, ~ * b b4, ~ * b b5) => Each (a, a2, a3, a4, a5) (b, b2, b3, b4, b5) a b |
|
| (~ * a a2, ~ * a a3, ~ * a a4, ~ * a a5, ~ * a a6, ~ * b b2, ~ * b b3, ~ * b b4, ~ * b b5, ~ * b b6) => Each (a, a2, a3, a4, a5, a6) (b, b2, b3, b4, b5, b6) a b |
|
| (~ * a a2, ~ * a a3, ~ * a a4, ~ * a a5, ~ * a a6, ~ * a a7, ~ * b b2, ~ * b b3, ~ * b b4, ~ * b b5, ~ * b b6, ~ * b b7) => Each (a, a2, a3, a4, a5, a6, a7) (b, b2, b3, b4, b5, b6, b7) a b |
|
| (~ * a a2, ~ * a a3, ~ * a a4, ~ * a a5, ~ * a a6, ~ * a a7, ~ * a a8, ~ * b b2, ~ * b b3, ~ * b b4, ~ * b b5, ~ * b b6, ~ * b b7, ~ * b b8) => Each (a, a2, a3, a4, a5, a6, a7, a8) (b, b2, b3, b4, b5, b6, b7, b8) a b |
|
| (~ * a a2, ~ * a a3, ~ * a a4, ~ * a a5, ~ * a a6, ~ * a a7, ~ * a a8, ~ * a a9, ~ * b b2, ~ * b b3, ~ * b b4, ~ * b b5, ~ * b b6, ~ * b b7, ~ * b b8, ~ * b b9) => Each (a, a2, a3, a4, a5, a6, a7, a8, a9) (b, b2, b3, b4, b5, b6, b7, b8, b9) a b |
|