Modulelens-5.3.5Haskell2010

Control.Lens.Tuple

19 classes
19 values

Packagelens-5.3.5
Exports38
LanguageHaskell2010
LicenceBSD-2-Clause
SourceTuple.hs

Tuples

19 declarations

classclass Field1 s t a b | s -> a, t -> b, s b -> t, t a -> s where

Provides access to 1st field of a tuple.

Methods

_1 :: Lens s t a b

Access the 1st field of a tuple (and possibly change its type).

Example1 expression

>>> (1,2)^._11

Example1 expression

>>> _1 .~ "hello" $ (1,2)("hello",2)

Example1 expression

>>> (1,2) & _1 .~ "hello"("hello",2)

Example1 expression

>>> _1 putStrLn ("hello","world")hello((),"world")

This can also be used on larger tuples as well:

Example1 expression

>>> (1,2,3,4,5) & _1 +~ 41(42,2,3,4,5)

_1 :: Lens (a,b) (a',b) a a'
_1 :: Lens (a,b,c) (a',b,c) a a'
_1 :: Lens (a,b,c,d) (a',b,c,d) a a'
...
_1 :: Lens (a,b,c,d,e,f,g,h,i) (a',b,c,d,e,f,g,h,i) a a'

Instances22Field1, …

Field1 (Identity a) (Identity b) a bDefined in lens-5.3.5 · Control.Lens.Tuple
Field1 (Pair a b) (Pair a' b) a a'Defined in lens-5.3.5 · Control.Lens.Tuple
Field1 (a, b) (a', b) a a'Defined in lens-5.3.5 · Control.Lens.Tuple
```
_1 k ~(a,b) = (\a' -> (a',b)) Data.Functor.<$> k a
```
Field1 (a, b, c) (a', b, c) a a'Defined in lens-5.3.5 · Control.Lens.Tuple
Field1 (a, b, c, d) (a', b, c, d) a a'Defined in lens-5.3.5 · Control.Lens.Tuple
Field1 (Product f g a) (Product f' g a) (f a) (f' a)Defined in lens-5.3.5 · Control.Lens.Tuple
Field1 ((:*:) f g p) ((:*:) f' g p) (f p) (f' p)Defined in lens-5.3.5 · Control.Lens.Tuple
Field1 (a, b, c, d, e) (a', b, c, d, e) a a'Defined in lens-5.3.5 · Control.Lens.Tuple
Field1 (a, b, c, d, e, f) (a', b, c, d, e, f) a a'Defined in lens-5.3.5 · Control.Lens.Tuple
Field1 (a, b, c, d, e, f, g) (a', b, c, d, e, f, g) a a'Defined in lens-5.3.5 · Control.Lens.Tuple
Field1 (a, b, c, d, e, f, g, h) (a', b, c, d, e, f, g, h) a a'Defined in lens-5.3.5 · Control.Lens.Tuple
Field1 (a, b, c, d, e, f, g, h, i) (a', b, c, d, e, f, g, h, i) a a'Defined in lens-5.3.5 · Control.Lens.Tuple
Field1 (a, b, c, d, e, f, g, h, i, j) (a', b, c, d, e, f, g, h, i, j) a a'Defined in lens-5.3.5 · Control.Lens.Tuple
Field1 (a, b, c, d, e, f, g, h, i, j, kk) (a', b, c, d, e, f, g, h, i, j, kk) a a'Defined in lens-5.3.5 · Control.Lens.Tuple
Field1 (a, b, c, d, e, f, g, h, i, j, kk, l) (a', b, c, d, e, f, g, h, i, j, kk, l) a a'Defined in lens-5.3.5 · Control.Lens.Tuple
Field1 (a, b, c, d, e, f, g, h, i, j, kk, l, m) (a', b, c, d, e, f, g, h, i, j, kk, l, m) a a'Defined in lens-5.3.5 · Control.Lens.Tuple
Field1 (a, b, c, d, e, f, g, h, i, j, kk, l, m, n) (a', b, c, d, e, f, g, h, i, j, kk, l, m, n) a a'Defined in lens-5.3.5 · Control.Lens.Tuple
Field1 (a, b, c, d, e, f, g, h, i, j, kk, l, m, n, o) (a', b, c, d, e, f, g, h, i, j, kk, l, m, n, o) a a'Defined in lens-5.3.5 · Control.Lens.Tuple
Field1 (a, b, c, d, e, f, g, h, i, j, kk, l, m, n, o, p) (a', b, c, d, e, f, g, h, i, j, kk, l, m, n, o, p) a a'Defined in lens-5.3.5 · Control.Lens.Tuple
Field1 (a, b, c, d, e, f, g, h, i, j, kk, l, m, n, o, p, q) (a', b, c, d, e, f, g, h, i, j, kk, l, m, n, o, p, q) a a'Defined in lens-5.3.5 · Control.Lens.Tuple
Field1 (a, b, c, d, e, f, g, h, i, j, kk, l, m, n, o, p, q, r) (a', b, c, d, e, f, g, h, i, j, kk, l, m, n, o, p, q, r) a a'Defined in lens-5.3.5 · Control.Lens.Tuple
Field1 (a, b, c, d, e, f, g, h, i, j, kk, l, m, n, o, p, q, r, s) (a', b, c, d, e, f, g, h, i, j, kk, l, m, n, o, p, q, r, s) a a'Defined in lens-5.3.5 · Control.Lens.Tuple

classclass Field2 s t a b | s -> a, t -> b, s b -> t, t a -> s where

Provides access to the 2nd field of a tuple.

Methods

_2 :: Lens s t a b

Access the 2nd field of a tuple.

Example1 expression

>>> _2 .~ "hello" $ (1,(),3,4)(1,"hello",3,4)

Example1 expression

>>> (1,2,3,4) & _2 *~ 3(1,6,3,4)

Example1 expression

>>> _2 print (1,2)2(1,())

anyOf _2 :: (s -> Bool) -> (a, s) -> Bool
traverse . _2 :: (Applicative f, Traversable t) => (a -> f b) -> t (s, a) -> f (t (s, b))
foldMapOf (traverse . _2) :: (Traversable t, Monoid m) => (s -> m) -> t (b, s) -> m

Instances21Field2, …

Field2 (Pair a b) (Pair a b') b b'Defined in lens-5.3.5 · Control.Lens.Tuple
Field2 (a, b) (a, b') b b'Defined in lens-5.3.5 · Control.Lens.Tuple
```
_2 k ~(a,b) = (\b' -> (a,b')) Data.Functor.<$> k b
```
Field2 (a, b, c) (a, b', c) b b'Defined in lens-5.3.5 · Control.Lens.Tuple
Field2 (a, b, c, d) (a, b', c, d) b b'Defined in lens-5.3.5 · Control.Lens.Tuple
Field2 (Product f g a) (Product f g' a) (g a) (g' a)Defined in lens-5.3.5 · Control.Lens.Tuple
Field2 ((:*:) f g p) ((:*:) f g' p) (g p) (g' p)Defined in lens-5.3.5 · Control.Lens.Tuple
Field2 (a, b, c, d, e) (a, b', c, d, e) b b'Defined in lens-5.3.5 · Control.Lens.Tuple
Field2 (a, b, c, d, e, f) (a, b', c, d, e, f) b b'Defined in lens-5.3.5 · Control.Lens.Tuple
Field2 (a, b, c, d, e, f, g) (a, b', c, d, e, f, g) b b'Defined in lens-5.3.5 · Control.Lens.Tuple
Field2 (a, b, c, d, e, f, g, h) (a, b', c, d, e, f, g, h) b b'Defined in lens-5.3.5 · Control.Lens.Tuple
Field2 (a, b, c, d, e, f, g, h, i) (a, b', c, d, e, f, g, h, i) b b'Defined in lens-5.3.5 · Control.Lens.Tuple
Field2 (a, b, c, d, e, f, g, h, i, j) (a, b', c, d, e, f, g, h, i, j) b b'Defined in lens-5.3.5 · Control.Lens.Tuple
Field2 (a, b, c, d, e, f, g, h, i, j, kk) (a, b', c, d, e, f, g, h, i, j, kk) b b'Defined in lens-5.3.5 · Control.Lens.Tuple
Field2 (a, b, c, d, e, f, g, h, i, j, kk, l) (a, b', c, d, e, f, g, h, i, j, kk, l) b b'Defined in lens-5.3.5 · Control.Lens.Tuple
Field2 (a, b, c, d, e, f, g, h, i, j, kk, l, m) (a, b', c, d, e, f, g, h, i, j, kk, l, m) b b'Defined in lens-5.3.5 · Control.Lens.Tuple
Field2 (a, b, c, d, e, f, g, h, i, j, kk, l, m, n) (a, b', c, d, e, f, g, h, i, j, kk, l, m, n) b b'Defined in lens-5.3.5 · Control.Lens.Tuple
Field2 (a, b, c, d, e, f, g, h, i, j, kk, l, m, n, o) (a, b', c, d, e, f, g, h, i, j, kk, l, m, n, o) b b'Defined in lens-5.3.5 · Control.Lens.Tuple
Field2 (a, b, c, d, e, f, g, h, i, j, kk, l, m, n, o, p) (a, b', c, d, e, f, g, h, i, j, kk, l, m, n, o, p) b b'Defined in lens-5.3.5 · Control.Lens.Tuple
Field2 (a, b, c, d, e, f, g, h, i, j, kk, l, m, n, o, p, q) (a, b', c, d, e, f, g, h, i, j, kk, l, m, n, o, p, q) b b'Defined in lens-5.3.5 · Control.Lens.Tuple
Field2 (a, b, c, d, e, f, g, h, i, j, kk, l, m, n, o, p, q, r) (a, b', c, d, e, f, g, h, i, j, kk, l, m, n, o, p, q, r) b b'Defined in lens-5.3.5 · Control.Lens.Tuple
Field2 (a, b, c, d, e, f, g, h, i, j, kk, l, m, n, o, p, q, r, s) (a, b', c, d, e, f, g, h, i, j, kk, l, m, n, o, p, q, r, s) b b'Defined in lens-5.3.5 · Control.Lens.Tuple

classclass Field3 s t a b | s -> a, t -> b, s b -> t, t a -> s where

Provides access to the 3rd field of a tuple.

Methods

_3 :: Lens s t a b
Access the 3rd field of a tuple.

Instances17Field3, …

Field3 (a, b, c) (a, b, c') c c'Defined in lens-5.3.5 · Control.Lens.Tuple
Field3 (a, b, c, d) (a, b, c', d) c c'Defined in lens-5.3.5 · Control.Lens.Tuple
Field3 (a, b, c, d, e) (a, b, c', d, e) c c'Defined in lens-5.3.5 · Control.Lens.Tuple
Field3 (a, b, c, d, e, f) (a, b, c', d, e, f) c c'Defined in lens-5.3.5 · Control.Lens.Tuple
Field3 (a, b, c, d, e, f, g) (a, b, c', d, e, f, g) c c'Defined in lens-5.3.5 · Control.Lens.Tuple
Field3 (a, b, c, d, e, f, g, h) (a, b, c', d, e, f, g, h) c c'Defined in lens-5.3.5 · Control.Lens.Tuple
Field3 (a, b, c, d, e, f, g, h, i) (a, b, c', d, e, f, g, h, i) c c'Defined in lens-5.3.5 · Control.Lens.Tuple
Field3 (a, b, c, d, e, f, g, h, i, j) (a, b, c', d, e, f, g, h, i, j) c c'Defined in lens-5.3.5 · Control.Lens.Tuple
Field3 (a, b, c, d, e, f, g, h, i, j, kk) (a, b, c', d, e, f, g, h, i, j, kk) c c'Defined in lens-5.3.5 · Control.Lens.Tuple
Field3 (a, b, c, d, e, f, g, h, i, j, kk, l) (a, b, c', d, e, f, g, h, i, j, kk, l) c c'Defined in lens-5.3.5 · Control.Lens.Tuple
Field3 (a, b, c, d, e, f, g, h, i, j, kk, l, m) (a, b, c', d, e, f, g, h, i, j, kk, l, m) c c'Defined in lens-5.3.5 · Control.Lens.Tuple
Field3 (a, b, c, d, e, f, g, h, i, j, kk, l, m, n) (a, b, c', d, e, f, g, h, i, j, kk, l, m, n) c c'Defined in lens-5.3.5 · Control.Lens.Tuple
Field3 (a, b, c, d, e, f, g, h, i, j, kk, l, m, n, o) (a, b, c', d, e, f, g, h, i, j, kk, l, m, n, o) c c'Defined in lens-5.3.5 · Control.Lens.Tuple
Field3 (a, b, c, d, e, f, g, h, i, j, kk, l, m, n, o, p) (a, b, c', d, e, f, g, h, i, j, kk, l, m, n, o, p) c c'Defined in lens-5.3.5 · Control.Lens.Tuple
Field3 (a, b, c, d, e, f, g, h, i, j, kk, l, m, n, o, p, q) (a, b, c', d, e, f, g, h, i, j, kk, l, m, n, o, p, q) c c'Defined in lens-5.3.5 · Control.Lens.Tuple
Field3 (a, b, c, d, e, f, g, h, i, j, kk, l, m, n, o, p, q, r) (a, b, c', d, e, f, g, h, i, j, kk, l, m, n, o, p, q, r) c c'Defined in lens-5.3.5 · Control.Lens.Tuple
Field3 (a, b, c, d, e, f, g, h, i, j, kk, l, m, n, o, p, q, r, s) (a, b, c', d, e, f, g, h, i, j, kk, l, m, n, o, p, q, r, s) c c'Defined in lens-5.3.5 · Control.Lens.Tuple

classclass Field4 s t a b | s -> a, t -> b, s b -> t, t a -> s where

Provide access to the 4th field of a tuple.

Methods

_4 :: Lens s t a b
Access the 4th field of a tuple.

Instances16Field4, …

Field4 (a, b, c, d) (a, b, c, d') d d'Defined in lens-5.3.5 · Control.Lens.Tuple
Field4 (a, b, c, d, e) (a, b, c, d', e) d d'Defined in lens-5.3.5 · Control.Lens.Tuple
Field4 (a, b, c, d, e, f) (a, b, c, d', e, f) d d'Defined in lens-5.3.5 · Control.Lens.Tuple
Field4 (a, b, c, d, e, f, g) (a, b, c, d', e, f, g) d d'Defined in lens-5.3.5 · Control.Lens.Tuple
Field4 (a, b, c, d, e, f, g, h) (a, b, c, d', e, f, g, h) d d'Defined in lens-5.3.5 · Control.Lens.Tuple
Field4 (a, b, c, d, e, f, g, h, i) (a, b, c, d', e, f, g, h, i) d d'Defined in lens-5.3.5 · Control.Lens.Tuple
Field4 (a, b, c, d, e, f, g, h, i, j) (a, b, c, d', e, f, g, h, i, j) d d'Defined in lens-5.3.5 · Control.Lens.Tuple
Field4 (a, b, c, d, e, f, g, h, i, j, kk) (a, b, c, d', e, f, g, h, i, j, kk) d d'Defined in lens-5.3.5 · Control.Lens.Tuple
Field4 (a, b, c, d, e, f, g, h, i, j, kk, l) (a, b, c, d', e, f, g, h, i, j, kk, l) d d'Defined in lens-5.3.5 · Control.Lens.Tuple
Field4 (a, b, c, d, e, f, g, h, i, j, kk, l, m) (a, b, c, d', e, f, g, h, i, j, kk, l, m) d d'Defined in lens-5.3.5 · Control.Lens.Tuple
Field4 (a, b, c, d, e, f, g, h, i, j, kk, l, m, n) (a, b, c, d', e, f, g, h, i, j, kk, l, m, n) d d'Defined in lens-5.3.5 · Control.Lens.Tuple
Field4 (a, b, c, d, e, f, g, h, i, j, kk, l, m, n, o) (a, b, c, d', e, f, g, h, i, j, kk, l, m, n, o) d d'Defined in lens-5.3.5 · Control.Lens.Tuple
Field4 (a, b, c, d, e, f, g, h, i, j, kk, l, m, n, o, p) (a, b, c, d', e, f, g, h, i, j, kk, l, m, n, o, p) d d'Defined in lens-5.3.5 · Control.Lens.Tuple
Field4 (a, b, c, d, e, f, g, h, i, j, kk, l, m, n, o, p, q) (a, b, c, d', e, f, g, h, i, j, kk, l, m, n, o, p, q) d d'Defined in lens-5.3.5 · Control.Lens.Tuple
Field4 (a, b, c, d, e, f, g, h, i, j, kk, l, m, n, o, p, q, r) (a, b, c, d', e, f, g, h, i, j, kk, l, m, n, o, p, q, r) d d'Defined in lens-5.3.5 · Control.Lens.Tuple
Field4 (a, b, c, d, e, f, g, h, i, j, kk, l, m, n, o, p, q, r, s) (a, b, c, d', e, f, g, h, i, j, kk, l, m, n, o, p, q, r, s) d d'Defined in lens-5.3.5 · Control.Lens.Tuple

classclass Field5 s t a b | s -> a, t -> b, s b -> t, t a -> s where

Provides access to the 5th field of a tuple.

Methods

_5 :: Lens s t a b
Access the 5th field of a tuple.

Instances15Field5, …

Field5 (a, b, c, d, e) (a, b, c, d, e') e e'Defined in lens-5.3.5 · Control.Lens.Tuple
Field5 (a, b, c, d, e, f) (a, b, c, d, e', f) e e'Defined in lens-5.3.5 · Control.Lens.Tuple
Field5 (a, b, c, d, e, f, g) (a, b, c, d, e', f, g) e e'Defined in lens-5.3.5 · Control.Lens.Tuple
Field5 (a, b, c, d, e, f, g, h) (a, b, c, d, e', f, g, h) e e'Defined in lens-5.3.5 · Control.Lens.Tuple
Field5 (a, b, c, d, e, f, g, h, i) (a, b, c, d, e', f, g, h, i) e e'Defined in lens-5.3.5 · Control.Lens.Tuple
Field5 (a, b, c, d, e, f, g, h, i, j) (a, b, c, d, e', f, g, h, i, j) e e'Defined in lens-5.3.5 · Control.Lens.Tuple
Field5 (a, b, c, d, e, f, g, h, i, j, kk) (a, b, c, d, e', f, g, h, i, j, kk) e e'Defined in lens-5.3.5 · Control.Lens.Tuple
Field5 (a, b, c, d, e, f, g, h, i, j, kk, l) (a, b, c, d, e', f, g, h, i, j, kk, l) e e'Defined in lens-5.3.5 · Control.Lens.Tuple
Field5 (a, b, c, d, e, f, g, h, i, j, kk, l, m) (a, b, c, d, e', f, g, h, i, j, kk, l, m) e e'Defined in lens-5.3.5 · Control.Lens.Tuple
Field5 (a, b, c, d, e, f, g, h, i, j, kk, l, m, n) (a, b, c, d, e', f, g, h, i, j, kk, l, m, n) e e'Defined in lens-5.3.5 · Control.Lens.Tuple
Field5 (a, b, c, d, e, f, g, h, i, j, kk, l, m, n, o) (a, b, c, d, e', f, g, h, i, j, kk, l, m, n, o) e e'Defined in lens-5.3.5 · Control.Lens.Tuple
Field5 (a, b, c, d, e, f, g, h, i, j, kk, l, m, n, o, p) (a, b, c, d, e', f, g, h, i, j, kk, l, m, n, o, p) e e'Defined in lens-5.3.5 · Control.Lens.Tuple
Field5 (a, b, c, d, e, f, g, h, i, j, kk, l, m, n, o, p, q) (a, b, c, d, e', f, g, h, i, j, kk, l, m, n, o, p, q) e e'Defined in lens-5.3.5 · Control.Lens.Tuple
Field5 (a, b, c, d, e, f, g, h, i, j, kk, l, m, n, o, p, q, r) (a, b, c, d, e', f, g, h, i, j, kk, l, m, n, o, p, q, r) e e'Defined in lens-5.3.5 · Control.Lens.Tuple
Field5 (a, b, c, d, e, f, g, h, i, j, kk, l, m, n, o, p, q, r, s) (a, b, c, d, e', f, g, h, i, j, kk, l, m, n, o, p, q, r, s) e e'Defined in lens-5.3.5 · Control.Lens.Tuple

classclass Field6 s t a b | s -> a, t -> b, s b -> t, t a -> s where

Provides access to the 6th element of a tuple.

Methods

_6 :: Lens s t a b
Access the 6th field of a tuple.

Instances14Field6, …

Field6 (a, b, c, d, e, f) (a, b, c, d, e, f') f f'Defined in lens-5.3.5 · Control.Lens.Tuple
Field6 (a, b, c, d, e, f, g) (a, b, c, d, e, f', g) f f'Defined in lens-5.3.5 · Control.Lens.Tuple
Field6 (a, b, c, d, e, f, g, h) (a, b, c, d, e, f', g, h) f f'Defined in lens-5.3.5 · Control.Lens.Tuple
Field6 (a, b, c, d, e, f, g, h, i) (a, b, c, d, e, f', g, h, i) f f'Defined in lens-5.3.5 · Control.Lens.Tuple
Field6 (a, b, c, d, e, f, g, h, i, j) (a, b, c, d, e, f', g, h, i, j) f f'Defined in lens-5.3.5 · Control.Lens.Tuple
Field6 (a, b, c, d, e, f, g, h, i, j, kk) (a, b, c, d, e, f', g, h, i, j, kk) f f'Defined in lens-5.3.5 · Control.Lens.Tuple
Field6 (a, b, c, d, e, f, g, h, i, j, kk, l) (a, b, c, d, e, f', g, h, i, j, kk, l) f f'Defined in lens-5.3.5 · Control.Lens.Tuple
Field6 (a, b, c, d, e, f, g, h, i, j, kk, l, m) (a, b, c, d, e, f', g, h, i, j, kk, l, m) f f'Defined in lens-5.3.5 · Control.Lens.Tuple
Field6 (a, b, c, d, e, f, g, h, i, j, kk, l, m, n) (a, b, c, d, e, f', g, h, i, j, kk, l, m, n) f f'Defined in lens-5.3.5 · Control.Lens.Tuple
Field6 (a, b, c, d, e, f, g, h, i, j, kk, l, m, n, o) (a, b, c, d, e, f', g, h, i, j, kk, l, m, n, o) f f'Defined in lens-5.3.5 · Control.Lens.Tuple
Field6 (a, b, c, d, e, f, g, h, i, j, kk, l, m, n, o, p) (a, b, c, d, e, f', g, h, i, j, kk, l, m, n, o, p) f f'Defined in lens-5.3.5 · Control.Lens.Tuple
Field6 (a, b, c, d, e, f, g, h, i, j, kk, l, m, n, o, p, q) (a, b, c, d, e, f', g, h, i, j, kk, l, m, n, o, p, q) f f'Defined in lens-5.3.5 · Control.Lens.Tuple
Field6 (a, b, c, d, e, f, g, h, i, j, kk, l, m, n, o, p, q, r) (a, b, c, d, e, f', g, h, i, j, kk, l, m, n, o, p, q, r) f f'Defined in lens-5.3.5 · Control.Lens.Tuple
Field6 (a, b, c, d, e, f, g, h, i, j, kk, l, m, n, o, p, q, r, s) (a, b, c, d, e, f', g, h, i, j, kk, l, m, n, o, p, q, r, s) f f'Defined in lens-5.3.5 · Control.Lens.Tuple

classclass Field7 s t a b | s -> a, t -> b, s b -> t, t a -> s where

Provide access to the 7th field of a tuple.

Methods

_7 :: Lens s t a b
Access the 7th field of a tuple.

Instances13Field7, …

Field7 (a, b, c, d, e, f, g) (a, b, c, d, e, f, g') g g'Defined in lens-5.3.5 · Control.Lens.Tuple
Field7 (a, b, c, d, e, f, g, h) (a, b, c, d, e, f, g', h) g g'Defined in lens-5.3.5 · Control.Lens.Tuple
Field7 (a, b, c, d, e, f, g, h, i) (a, b, c, d, e, f, g', h, i) g g'Defined in lens-5.3.5 · Control.Lens.Tuple
Field7 (a, b, c, d, e, f, g, h, i, j) (a, b, c, d, e, f, g', h, i, j) g g'Defined in lens-5.3.5 · Control.Lens.Tuple
Field7 (a, b, c, d, e, f, g, h, i, j, kk) (a, b, c, d, e, f, g', h, i, j, kk) g g'Defined in lens-5.3.5 · Control.Lens.Tuple
Field7 (a, b, c, d, e, f, g, h, i, j, kk, l) (a, b, c, d, e, f, g', h, i, j, kk, l) g g'Defined in lens-5.3.5 · Control.Lens.Tuple
Field7 (a, b, c, d, e, f, g, h, i, j, kk, l, m) (a, b, c, d, e, f, g', h, i, j, kk, l, m) g g'Defined in lens-5.3.5 · Control.Lens.Tuple
Field7 (a, b, c, d, e, f, g, h, i, j, kk, l, m, n) (a, b, c, d, e, f, g', h, i, j, kk, l, m, n) g g'Defined in lens-5.3.5 · Control.Lens.Tuple
Field7 (a, b, c, d, e, f, g, h, i, j, kk, l, m, n, o) (a, b, c, d, e, f, g', h, i, j, kk, l, m, n, o) g g'Defined in lens-5.3.5 · Control.Lens.Tuple
Field7 (a, b, c, d, e, f, g, h, i, j, kk, l, m, n, o, p) (a, b, c, d, e, f, g', h, i, j, kk, l, m, n, o, p) g g'Defined in lens-5.3.5 · Control.Lens.Tuple
Field7 (a, b, c, d, e, f, g, h, i, j, kk, l, m, n, o, p, q) (a, b, c, d, e, f, g', h, i, j, kk, l, m, n, o, p, q) g g'Defined in lens-5.3.5 · Control.Lens.Tuple
Field7 (a, b, c, d, e, f, g, h, i, j, kk, l, m, n, o, p, q, r) (a, b, c, d, e, f, g', h, i, j, kk, l, m, n, o, p, q, r) g g'Defined in lens-5.3.5 · Control.Lens.Tuple
Field7 (a, b, c, d, e, f, g, h, i, j, kk, l, m, n, o, p, q, r, s) (a, b, c, d, e, f, g', h, i, j, kk, l, m, n, o, p, q, r, s) g g'Defined in lens-5.3.5 · Control.Lens.Tuple

classclass Field8 s t a b | s -> a, t -> b, s b -> t, t a -> s where

Provide access to the 8th field of a tuple.

Methods

_8 :: Lens s t a b
Access the 8th field of a tuple.

Instances12Field8, …

Field8 (a, b, c, d, e, f, g, h) (a, b, c, d, e, f, g, h') h h'Defined in lens-5.3.5 · Control.Lens.Tuple
Field8 (a, b, c, d, e, f, g, h, i) (a, b, c, d, e, f, g, h', i) h h'Defined in lens-5.3.5 · Control.Lens.Tuple
Field8 (a, b, c, d, e, f, g, h, i, j) (a, b, c, d, e, f, g, h', i, j) h h'Defined in lens-5.3.5 · Control.Lens.Tuple
Field8 (a, b, c, d, e, f, g, h, i, j, kk) (a, b, c, d, e, f, g, h', i, j, kk) h h'Defined in lens-5.3.5 · Control.Lens.Tuple
Field8 (a, b, c, d, e, f, g, h, i, j, kk, l) (a, b, c, d, e, f, g, h', i, j, kk, l) h h'Defined in lens-5.3.5 · Control.Lens.Tuple
Field8 (a, b, c, d, e, f, g, h, i, j, kk, l, m) (a, b, c, d, e, f, g, h', i, j, kk, l, m) h h'Defined in lens-5.3.5 · Control.Lens.Tuple
Field8 (a, b, c, d, e, f, g, h, i, j, kk, l, m, n) (a, b, c, d, e, f, g, h', i, j, kk, l, m, n) h h'Defined in lens-5.3.5 · Control.Lens.Tuple
Field8 (a, b, c, d, e, f, g, h, i, j, kk, l, m, n, o) (a, b, c, d, e, f, g, h', i, j, kk, l, m, n, o) h h'Defined in lens-5.3.5 · Control.Lens.Tuple
Field8 (a, b, c, d, e, f, g, h, i, j, kk, l, m, n, o, p) (a, b, c, d, e, f, g, h', i, j, kk, l, m, n, o, p) h h'Defined in lens-5.3.5 · Control.Lens.Tuple
Field8 (a, b, c, d, e, f, g, h, i, j, kk, l, m, n, o, p, q) (a, b, c, d, e, f, g, h', i, j, kk, l, m, n, o, p, q) h h'Defined in lens-5.3.5 · Control.Lens.Tuple
Field8 (a, b, c, d, e, f, g, h, i, j, kk, l, m, n, o, p, q, r) (a, b, c, d, e, f, g, h', i, j, kk, l, m, n, o, p, q, r) h h'Defined in lens-5.3.5 · Control.Lens.Tuple
Field8 (a, b, c, d, e, f, g, h, i, j, kk, l, m, n, o, p, q, r, s) (a, b, c, d, e, f, g, h', i, j, kk, l, m, n, o, p, q, r, s) h h'Defined in lens-5.3.5 · Control.Lens.Tuple

classclass Field9 s t a b | s -> a, t -> b, s b -> t, t a -> s where

Provides access to the 9th field of a tuple.

Methods

_9 :: Lens s t a b
Access the 9th field of a tuple.

Instances11Field9, …

Field9 (a, b, c, d, e, f, g, h, i) (a, b, c, d, e, f, g, h, i') i i'Defined in lens-5.3.5 · Control.Lens.Tuple
Field9 (a, b, c, d, e, f, g, h, i, j) (a, b, c, d, e, f, g, h, i', j) i i'Defined in lens-5.3.5 · Control.Lens.Tuple
Field9 (a, b, c, d, e, f, g, h, i, j, kk) (a, b, c, d, e, f, g, h, i', j, kk) i i'Defined in lens-5.3.5 · Control.Lens.Tuple
Field9 (a, b, c, d, e, f, g, h, i, j, kk, l) (a, b, c, d, e, f, g, h, i', j, kk, l) i i'Defined in lens-5.3.5 · Control.Lens.Tuple
Field9 (a, b, c, d, e, f, g, h, i, j, kk, l, m) (a, b, c, d, e, f, g, h, i', j, kk, l, m) i i'Defined in lens-5.3.5 · Control.Lens.Tuple
Field9 (a, b, c, d, e, f, g, h, i, j, kk, l, m, n) (a, b, c, d, e, f, g, h, i', j, kk, l, m, n) i i'Defined in lens-5.3.5 · Control.Lens.Tuple
Field9 (a, b, c, d, e, f, g, h, i, j, kk, l, m, n, o) (a, b, c, d, e, f, g, h, i', j, kk, l, m, n, o) i i'Defined in lens-5.3.5 · Control.Lens.Tuple
Field9 (a, b, c, d, e, f, g, h, i, j, kk, l, m, n, o, p) (a, b, c, d, e, f, g, h, i', j, kk, l, m, n, o, p) i i'Defined in lens-5.3.5 · Control.Lens.Tuple
Field9 (a, b, c, d, e, f, g, h, i, j, kk, l, m, n, o, p, q) (a, b, c, d, e, f, g, h, i', j, kk, l, m, n, o, p, q) i i'Defined in lens-5.3.5 · Control.Lens.Tuple
Field9 (a, b, c, d, e, f, g, h, i, j, kk, l, m, n, o, p, q, r) (a, b, c, d, e, f, g, h, i', j, kk, l, m, n, o, p, q, r) i i'Defined in lens-5.3.5 · Control.Lens.Tuple
Field9 (a, b, c, d, e, f, g, h, i, j, kk, l, m, n, o, p, q, r, s) (a, b, c, d, e, f, g, h, i', j, kk, l, m, n, o, p, q, r, s) i i'Defined in lens-5.3.5 · Control.Lens.Tuple

classclass Field10 s t a b | s -> a, t -> b, s b -> t, t a -> s where

Provides access to the 10th field of a tuple.

Methods

_10 :: Lens s t a b
Access the 10th field of a tuple.

Instances10Field10, …

Field10 (a, b, c, d, e, f, g, h, i, j) (a, b, c, d, e, f, g, h, i, j') j j'Defined in lens-5.3.5 · Control.Lens.Tuple
Field10 (a, b, c, d, e, f, g, h, i, j, kk) (a, b, c, d, e, f, g, h, i, j', kk) j j'Defined in lens-5.3.5 · Control.Lens.Tuple
Field10 (a, b, c, d, e, f, g, h, i, j, kk, l) (a, b, c, d, e, f, g, h, i, j', kk, l) j j'Defined in lens-5.3.5 · Control.Lens.Tuple
Field10 (a, b, c, d, e, f, g, h, i, j, kk, l, m) (a, b, c, d, e, f, g, h, i, j', kk, l, m) j j'Defined in lens-5.3.5 · Control.Lens.Tuple
Field10 (a, b, c, d, e, f, g, h, i, j, kk, l, m, n) (a, b, c, d, e, f, g, h, i, j', kk, l, m, n) j j'Defined in lens-5.3.5 · Control.Lens.Tuple
Field10 (a, b, c, d, e, f, g, h, i, j, kk, l, m, n, o) (a, b, c, d, e, f, g, h, i, j', kk, l, m, n, o) j j'Defined in lens-5.3.5 · Control.Lens.Tuple
Field10 (a, b, c, d, e, f, g, h, i, j, kk, l, m, n, o, p) (a, b, c, d, e, f, g, h, i, j', kk, l, m, n, o, p) j j'Defined in lens-5.3.5 · Control.Lens.Tuple
Field10 (a, b, c, d, e, f, g, h, i, j, kk, l, m, n, o, p, q) (a, b, c, d, e, f, g, h, i, j', kk, l, m, n, o, p, q) j j'Defined in lens-5.3.5 · Control.Lens.Tuple
Field10 (a, b, c, d, e, f, g, h, i, j, kk, l, m, n, o, p, q, r) (a, b, c, d, e, f, g, h, i, j', kk, l, m, n, o, p, q, r) j j'Defined in lens-5.3.5 · Control.Lens.Tuple
Field10 (a, b, c, d, e, f, g, h, i, j, kk, l, m, n, o, p, q, r, s) (a, b, c, d, e, f, g, h, i, j', kk, l, m, n, o, p, q, r, s) j j'Defined in lens-5.3.5 · Control.Lens.Tuple

classclass Field11 s t a b | s -> a, t -> b, s b -> t, t a -> s where

Provides access to the 11th field of a tuple.

Methods

_11 :: Lens s t a b
Access the 11th field of a tuple.

Instances9Field11, …

Field11 (a, b, c, d, e, f, g, h, i, j, kk) (a, b, c, d, e, f, g, h, i, j, kk') kk kk'Defined in lens-5.3.5 · Control.Lens.Tuple
Field11 (a, b, c, d, e, f, g, h, i, j, kk, l) (a, b, c, d, e, f, g, h, i, j, kk', l) kk kk'Defined in lens-5.3.5 · Control.Lens.Tuple
Field11 (a, b, c, d, e, f, g, h, i, j, kk, l, m) (a, b, c, d, e, f, g, h, i, j, kk', l, m) kk kk'Defined in lens-5.3.5 · Control.Lens.Tuple
Field11 (a, b, c, d, e, f, g, h, i, j, kk, l, m, n) (a, b, c, d, e, f, g, h, i, j, kk', l, m, n) kk kk'Defined in lens-5.3.5 · Control.Lens.Tuple
Field11 (a, b, c, d, e, f, g, h, i, j, kk, l, m, n, o) (a, b, c, d, e, f, g, h, i, j, kk', l, m, n, o) kk kk'Defined in lens-5.3.5 · Control.Lens.Tuple
Field11 (a, b, c, d, e, f, g, h, i, j, kk, l, m, n, o, p) (a, b, c, d, e, f, g, h, i, j, kk', l, m, n, o, p) kk kk'Defined in lens-5.3.5 · Control.Lens.Tuple
Field11 (a, b, c, d, e, f, g, h, i, j, kk, l, m, n, o, p, q) (a, b, c, d, e, f, g, h, i, j, kk', l, m, n, o, p, q) kk kk'Defined in lens-5.3.5 · Control.Lens.Tuple
Field11 (a, b, c, d, e, f, g, h, i, j, kk, l, m, n, o, p, q, r) (a, b, c, d, e, f, g, h, i, j, kk', l, m, n, o, p, q, r) kk kk'Defined in lens-5.3.5 · Control.Lens.Tuple
Field11 (a, b, c, d, e, f, g, h, i, j, kk, l, m, n, o, p, q, r, s) (a, b, c, d, e, f, g, h, i, j, kk', l, m, n, o, p, q, r, s) kk kk'Defined in lens-5.3.5 · Control.Lens.Tuple

classclass Field12 s t a b | s -> a, t -> b, s b -> t, t a -> s where

Provides access to the 12th field of a tuple.

Methods

_12 :: Lens s t a b
Access the 12th field of a tuple.

Instances8Field12, …

Field12 (a, b, c, d, e, f, g, h, i, j, kk, l) (a, b, c, d, e, f, g, h, i, j, kk, l') l l'Defined in lens-5.3.5 · Control.Lens.Tuple
Field12 (a, b, c, d, e, f, g, h, i, j, kk, l, m) (a, b, c, d, e, f, g, h, i, j, kk, l', m) l l'Defined in lens-5.3.5 · Control.Lens.Tuple
Field12 (a, b, c, d, e, f, g, h, i, j, kk, l, m, n) (a, b, c, d, e, f, g, h, i, j, kk, l', m, n) l l'Defined in lens-5.3.5 · Control.Lens.Tuple
Field12 (a, b, c, d, e, f, g, h, i, j, kk, l, m, n, o) (a, b, c, d, e, f, g, h, i, j, kk, l', m, n, o) l l'Defined in lens-5.3.5 · Control.Lens.Tuple
Field12 (a, b, c, d, e, f, g, h, i, j, kk, l, m, n, o, p) (a, b, c, d, e, f, g, h, i, j, kk, l', m, n, o, p) l l'Defined in lens-5.3.5 · Control.Lens.Tuple
Field12 (a, b, c, d, e, f, g, h, i, j, kk, l, m, n, o, p, q) (a, b, c, d, e, f, g, h, i, j, kk, l', m, n, o, p, q) l l'Defined in lens-5.3.5 · Control.Lens.Tuple
Field12 (a, b, c, d, e, f, g, h, i, j, kk, l, m, n, o, p, q, r) (a, b, c, d, e, f, g, h, i, j, kk, l', m, n, o, p, q, r) l l'Defined in lens-5.3.5 · Control.Lens.Tuple
Field12 (a, b, c, d, e, f, g, h, i, j, kk, l, m, n, o, p, q, r, s) (a, b, c, d, e, f, g, h, i, j, kk, l', m, n, o, p, q, r, s) l l'Defined in lens-5.3.5 · Control.Lens.Tuple

classclass Field13 s t a b | s -> a, t -> b, s b -> t, t a -> s where

Provides access to the 13th field of a tuple.

Methods

_13 :: Lens s t a b
Access the 13th field of a tuple.

Instances7Field13, …

Field13 (a, b, c, d, e, f, g, h, i, j, kk, l, m) (a, b, c, d, e, f, g, h, i, j, kk, l, m') m m'Defined in lens-5.3.5 · Control.Lens.Tuple
Field13 (a, b, c, d, e, f, g, h, i, j, kk, l, m, n) (a, b, c, d, e, f, g, h, i, j, kk, l, m', n) m m'Defined in lens-5.3.5 · Control.Lens.Tuple
Field13 (a, b, c, d, e, f, g, h, i, j, kk, l, m, n, o) (a, b, c, d, e, f, g, h, i, j, kk, l, m', n, o) m m'Defined in lens-5.3.5 · Control.Lens.Tuple
Field13 (a, b, c, d, e, f, g, h, i, j, kk, l, m, n, o, p) (a, b, c, d, e, f, g, h, i, j, kk, l, m', n, o, p) m m'Defined in lens-5.3.5 · Control.Lens.Tuple
Field13 (a, b, c, d, e, f, g, h, i, j, kk, l, m, n, o, p, q) (a, b, c, d, e, f, g, h, i, j, kk, l, m', n, o, p, q) m m'Defined in lens-5.3.5 · Control.Lens.Tuple
Field13 (a, b, c, d, e, f, g, h, i, j, kk, l, m, n, o, p, q, r) (a, b, c, d, e, f, g, h, i, j, kk, l, m', n, o, p, q, r) m m'Defined in lens-5.3.5 · Control.Lens.Tuple
Field13 (a, b, c, d, e, f, g, h, i, j, kk, l, m, n, o, p, q, r, s) (a, b, c, d, e, f, g, h, i, j, kk, l, m', n, o, p, q, r, s) m m'Defined in lens-5.3.5 · Control.Lens.Tuple

classclass Field14 s t a b | s -> a, t -> b, s b -> t, t a -> s where

Provides access to the 14th field of a tuple.

Methods

_14 :: Lens s t a b
Access the 14th field of a tuple.

Instances6Field14

Field14 (a, b, c, d, e, f, g, h, i, j, kk, l, m, n) (a, b, c, d, e, f, g, h, i, j, kk, l, m, n') n n'Defined in lens-5.3.5 · Control.Lens.Tuple
Field14 (a, b, c, d, e, f, g, h, i, j, kk, l, m, n, o) (a, b, c, d, e, f, g, h, i, j, kk, l, m, n', o) n n'Defined in lens-5.3.5 · Control.Lens.Tuple
Field14 (a, b, c, d, e, f, g, h, i, j, kk, l, m, n, o, p) (a, b, c, d, e, f, g, h, i, j, kk, l, m, n', o, p) n n'Defined in lens-5.3.5 · Control.Lens.Tuple
Field14 (a, b, c, d, e, f, g, h, i, j, kk, l, m, n, o, p, q) (a, b, c, d, e, f, g, h, i, j, kk, l, m, n', o, p, q) n n'Defined in lens-5.3.5 · Control.Lens.Tuple
Field14 (a, b, c, d, e, f, g, h, i, j, kk, l, m, n, o, p, q, r) (a, b, c, d, e, f, g, h, i, j, kk, l, m, n', o, p, q, r) n n'Defined in lens-5.3.5 · Control.Lens.Tuple
Field14 (a, b, c, d, e, f, g, h, i, j, kk, l, m, n, o, p, q, r, s) (a, b, c, d, e, f, g, h, i, j, kk, l, m, n', o, p, q, r, s) n n'Defined in lens-5.3.5 · Control.Lens.Tuple

classclass Field15 s t a b | s -> a, t -> b, s b -> t, t a -> s where

Provides access to the 15th field of a tuple.

Methods

_15 :: Lens s t a b
Access the 15th field of a tuple.

Instances5Field15

Field15 (a, b, c, d, e, f, g, h, i, j, kk, l, m, n, o) (a, b, c, d, e, f, g, h, i, j, kk, l, m, n, o') o o'Defined in lens-5.3.5 · Control.Lens.Tuple
Field15 (a, b, c, d, e, f, g, h, i, j, kk, l, m, n, o, p) (a, b, c, d, e, f, g, h, i, j, kk, l, m, n, o', p) o o'Defined in lens-5.3.5 · Control.Lens.Tuple
Field15 (a, b, c, d, e, f, g, h, i, j, kk, l, m, n, o, p, q) (a, b, c, d, e, f, g, h, i, j, kk, l, m, n, o', p, q) o o'Defined in lens-5.3.5 · Control.Lens.Tuple
Field15 (a, b, c, d, e, f, g, h, i, j, kk, l, m, n, o, p, q, r) (a, b, c, d, e, f, g, h, i, j, kk, l, m, n, o', p, q, r) o o'Defined in lens-5.3.5 · Control.Lens.Tuple
Field15 (a, b, c, d, e, f, g, h, i, j, kk, l, m, n, o, p, q, r, s) (a, b, c, d, e, f, g, h, i, j, kk, l, m, n, o', p, q, r, s) o o'Defined in lens-5.3.5 · Control.Lens.Tuple

classclass Field16 s t a b | s -> a, t -> b, s b -> t, t a -> s where

Provides access to the 16th field of a tuple.

Methods

_16 :: Lens s t a b
Access the 16th field of a tuple.

Instances4Field16

Field16 (a, b, c, d, e, f, g, h, i, j, kk, l, m, n, o, p) (a, b, c, d, e, f, g, h, i, j, kk, l, m, n, o, p') p p'Defined in lens-5.3.5 · Control.Lens.Tuple
Field16 (a, b, c, d, e, f, g, h, i, j, kk, l, m, n, o, p, q) (a, b, c, d, e, f, g, h, i, j, kk, l, m, n, o, p', q) p p'Defined in lens-5.3.5 · Control.Lens.Tuple
Field16 (a, b, c, d, e, f, g, h, i, j, kk, l, m, n, o, p, q, r) (a, b, c, d, e, f, g, h, i, j, kk, l, m, n, o, p', q, r) p p'Defined in lens-5.3.5 · Control.Lens.Tuple
Field16 (a, b, c, d, e, f, g, h, i, j, kk, l, m, n, o, p, q, r, s) (a, b, c, d, e, f, g, h, i, j, kk, l, m, n, o, p', q, r, s) p p'Defined in lens-5.3.5 · Control.Lens.Tuple

classclass Field17 s t a b | s -> a, t -> b, s b -> t, t a -> s where

Provides access to the 17th field of a tuple.

Methods

_17 :: Lens s t a b
Access the 17th field of a tuple.

Instances3Field17

Field17 (a, b, c, d, e, f, g, h, i, j, kk, l, m, n, o, p, q) (a, b, c, d, e, f, g, h, i, j, kk, l, m, n, o, p, q') q q'Defined in lens-5.3.5 · Control.Lens.Tuple
Field17 (a, b, c, d, e, f, g, h, i, j, kk, l, m, n, o, p, q, r) (a, b, c, d, e, f, g, h, i, j, kk, l, m, n, o, p, q', r) q q'Defined in lens-5.3.5 · Control.Lens.Tuple
Field17 (a, b, c, d, e, f, g, h, i, j, kk, l, m, n, o, p, q, r, s) (a, b, c, d, e, f, g, h, i, j, kk, l, m, n, o, p, q', r, s) q q'Defined in lens-5.3.5 · Control.Lens.Tuple

classclass Field18 s t a b | s -> a, t -> b, s b -> t, t a -> s where

Provides access to the 18th field of a tuple.

Methods

_18 :: Lens s t a b
Access the 18th field of a tuple.

Instances2Field18

Field18 (a, b, c, d, e, f, g, h, i, j, kk, l, m, n, o, p, q, r) (a, b, c, d, e, f, g, h, i, j, kk, l, m, n, o, p, q, r') r r'Defined in lens-5.3.5 · Control.Lens.Tuple
Field18 (a, b, c, d, e, f, g, h, i, j, kk, l, m, n, o, p, q, r, s) (a, b, c, d, e, f, g, h, i, j, kk, l, m, n, o, p, q, r', s) r r'Defined in lens-5.3.5 · Control.Lens.Tuple

classclass Field19 s t a b | s -> a, t -> b, s b -> t, t a -> s where

Provides access to the 19th field of a tuple.

Methods

_19 :: Lens s t a b
Access the 19th field of a tuple.

Instances1Field19

Field19 (a, b, c, d, e, f, g, h, i, j, kk, l, m, n, o, p, q, r, s) (a, b, c, d, e, f, g, h, i, j, kk, l, m, n, o, p, q, r, s') s s'Defined in lens-5.3.5 · Control.Lens.Tuple

Strict variations

19 declarations

value_1' :: Field1 s t a b => Lens s t a b

Strict version of _1

value_2' :: Field2 s t a b => Lens s t a b

Strict version of _2

value_3' :: Field3 s t a b => Lens s t a b

Strict version of _3

value_4' :: Field4 s t a b => Lens s t a b

Strict version of _4

value_5' :: Field5 s t a b => Lens s t a b

Strict version of _5

value_6' :: Field6 s t a b => Lens s t a b

Strict version of _6

value_7' :: Field7 s t a b => Lens s t a b

Strict version of _7

value_8' :: Field8 s t a b => Lens s t a b

Strict version of _8

value_9' :: Field9 s t a b => Lens s t a b

Strict version of _9

value_10' :: Field10 s t a b => Lens s t a b

Strict version of _10

value_11' :: Field11 s t a b => Lens s t a b

Strict version of _11

value_12' :: Field12 s t a b => Lens s t a b

Strict version of _12

value_13' :: Field13 s t a b => Lens s t a b

Strict version of _13

value_14' :: Field14 s t a b => Lens s t a b

Strict version of _14

value_15' :: Field15 s t a b => Lens s t a b

Strict version of _15

value_16' :: Field16 s t a b => Lens s t a b

Strict version of _16

value_17' :: Field17 s t a b => Lens s t a b

Strict version of _17

value_18' :: Field18 s t a b => Lens s t a b

Strict version of _18

value_19' :: Field19 s t a b => Lens s t a b

Strict version of _19