tuple-0.2.0.1: Various functions on tuples

Data.Tuple.Update

Documentation

class Upd1 a b c | a b -> c, b c -> a whereSource

Methods

upd1 :: a -> b -> cSource

Instances

Upd1 b (OneTuple a) (OneTuple b) 
Upd1 b (a1, a2) (b, a2) 
Upd1 b (a1, a2, a3) (b, a2, a3) 
Upd1 b (a1, a2, a3, a4) (b, a2, a3, a4) 
Upd1 b (a1, a2, a3, a4, a5) (b, a2, a3, a4, a5) 
Upd1 b (a1, a2, a3, a4, a5, a6) (b, a2, a3, a4, a5, a6) 
Upd1 b (a1, a2, a3, a4, a5, a6, a7) (b, a2, a3, a4, a5, a6, a7) 
Upd1 b (a1, a2, a3, a4, a5, a6, a7, a8) (b, a2, a3, a4, a5, a6, a7, a8) 
Upd1 b (a1, a2, a3, a4, a5, a6, a7, a8, a9) (b, a2, a3, a4, a5, a6, a7, a8, a9) 
Upd1 b (a1, a2, a3, a4, a5, a6, a7, a8, a9, a10) (b, a2, a3, a4, a5, a6, a7, a8, a9, a10) 
Upd1 b (a1, a2, a3, a4, a5, a6, a7, a8, a9, a10, a11) (b, a2, a3, a4, a5, a6, a7, a8, a9, a10, a11) 
Upd1 b (a1, a2, a3, a4, a5, a6, a7, a8, a9, a10, a11, a12) (b, a2, a3, a4, a5, a6, a7, a8, a9, a10, a11, a12) 
Upd1 b (a1, a2, a3, a4, a5, a6, a7, a8, a9, a10, a11, a12, a13) (b, a2, a3, a4, a5, a6, a7, a8, a9, a10, a11, a12, a13) 
Upd1 b (a1, a2, a3, a4, a5, a6, a7, a8, a9, a10, a11, a12, a13, a14) (b, a2, a3, a4, a5, a6, a7, a8, a9, a10, a11, a12, a13, a14) 
Upd1 b (a1, a2, a3, a4, a5, a6, a7, a8, a9, a10, a11, a12, a13, a14, a15) (b, a2, a3, a4, a5, a6, a7, a8, a9, a10, a11, a12, a13, a14, a15) 

class Upd2 a b c | a b -> c, b c -> a whereSource

Methods

upd2 :: a -> b -> cSource

Instances

Upd2 b (a1, a2) (a1, b) 
Upd2 b (a1, a2, a3) (a1, b, a3) 
Upd2 b (a1, a2, a3, a4) (a1, b, a3, a4) 
Upd2 b (a1, a2, a3, a4, a5) (a1, b, a3, a4, a5) 
Upd2 b (a1, a2, a3, a4, a5, a6) (a1, b, a3, a4, a5, a6) 
Upd2 b (a1, a2, a3, a4, a5, a6, a7) (a1, b, a3, a4, a5, a6, a7) 
Upd2 b (a1, a2, a3, a4, a5, a6, a7, a8) (a1, b, a3, a4, a5, a6, a7, a8) 
Upd2 b (a1, a2, a3, a4, a5, a6, a7, a8, a9) (a1, b, a3, a4, a5, a6, a7, a8, a9) 
Upd2 b (a1, a2, a3, a4, a5, a6, a7, a8, a9, a10) (a1, b, a3, a4, a5, a6, a7, a8, a9, a10) 
Upd2 b (a1, a2, a3, a4, a5, a6, a7, a8, a9, a10, a11) (a1, b, a3, a4, a5, a6, a7, a8, a9, a10, a11) 
Upd2 b (a1, a2, a3, a4, a5, a6, a7, a8, a9, a10, a11, a12) (a1, b, a3, a4, a5, a6, a7, a8, a9, a10, a11, a12) 
Upd2 b (a1, a2, a3, a4, a5, a6, a7, a8, a9, a10, a11, a12, a13) (a1, b, a3, a4, a5, a6, a7, a8, a9, a10, a11, a12, a13) 
Upd2 b (a1, a2, a3, a4, a5, a6, a7, a8, a9, a10, a11, a12, a13, a14) (a1, b, a3, a4, a5, a6, a7, a8, a9, a10, a11, a12, a13, a14) 
Upd2 b (a1, a2, a3, a4, a5, a6, a7, a8, a9, a10, a11, a12, a13, a14, a15) (a1, b, a3, a4, a5, a6, a7, a8, a9, a10, a11, a12, a13, a14, a15) 

class Upd3 a b c | a b -> c, b c -> a whereSource

Methods

upd3 :: a -> b -> cSource

Instances

Upd3 b (a1, a2, a3) (a1, a2, b) 
Upd3 b (a1, a2, a3, a4) (a1, a2, b, a4) 
Upd3 b (a1, a2, a3, a4, a5) (a1, a2, b, a4, a5) 
Upd3 b (a1, a2, a3, a4, a5, a6) (a1, a2, b, a4, a5, a6) 
Upd3 b (a1, a2, a3, a4, a5, a6, a7) (a1, a2, b, a4, a5, a6, a7) 
Upd3 b (a1, a2, a3, a4, a5, a6, a7, a8) (a1, a2, b, a4, a5, a6, a7, a8) 
Upd3 b (a1, a2, a3, a4, a5, a6, a7, a8, a9) (a1, a2, b, a4, a5, a6, a7, a8, a9) 
Upd3 b (a1, a2, a3, a4, a5, a6, a7, a8, a9, a10) (a1, a2, b, a4, a5, a6, a7, a8, a9, a10) 
Upd3 b (a1, a2, a3, a4, a5, a6, a7, a8, a9, a10, a11) (a1, a2, b, a4, a5, a6, a7, a8, a9, a10, a11) 
Upd3 b (a1, a2, a3, a4, a5, a6, a7, a8, a9, a10, a11, a12) (a1, a2, b, a4, a5, a6, a7, a8, a9, a10, a11, a12) 
Upd3 b (a1, a2, a3, a4, a5, a6, a7, a8, a9, a10, a11, a12, a13) (a1, a2, b, a4, a5, a6, a7, a8, a9, a10, a11, a12, a13) 
Upd3 b (a1, a2, a3, a4, a5, a6, a7, a8, a9, a10, a11, a12, a13, a14) (a1, a2, b, a4, a5, a6, a7, a8, a9, a10, a11, a12, a13, a14) 
Upd3 b (a1, a2, a3, a4, a5, a6, a7, a8, a9, a10, a11, a12, a13, a14, a15) (a1, a2, b, a4, a5, a6, a7, a8, a9, a10, a11, a12, a13, a14, a15) 

class Upd4 a b c | a b -> c, b c -> a whereSource

Methods

upd4 :: a -> b -> cSource

Instances

Upd4 b (a1, a2, a3, a4) (a1, a2, a3, b) 
Upd4 b (a1, a2, a3, a4, a5) (a1, a2, a3, b, a5) 
Upd4 b (a1, a2, a3, a4, a5, a6) (a1, a2, a3, b, a5, a6) 
Upd4 b (a1, a2, a3, a4, a5, a6, a7) (a1, a2, a3, b, a5, a6, a7) 
Upd4 b (a1, a2, a3, a4, a5, a6, a7, a8) (a1, a2, a3, b, a5, a6, a7, a8) 
Upd4 b (a1, a2, a3, a4, a5, a6, a7, a8, a9) (a1, a2, a3, b, a5, a6, a7, a8, a9) 
Upd4 b (a1, a2, a3, a4, a5, a6, a7, a8, a9, a10) (a1, a2, a3, b, a5, a6, a7, a8, a9, a10) 
Upd4 b (a1, a2, a3, a4, a5, a6, a7, a8, a9, a10, a11) (a1, a2, a3, b, a5, a6, a7, a8, a9, a10, a11) 
Upd4 b (a1, a2, a3, a4, a5, a6, a7, a8, a9, a10, a11, a12) (a1, a2, a3, b, a5, a6, a7, a8, a9, a10, a11, a12) 
Upd4 b (a1, a2, a3, a4, a5, a6, a7, a8, a9, a10, a11, a12, a13) (a1, a2, a3, b, a5, a6, a7, a8, a9, a10, a11, a12, a13) 
Upd4 b (a1, a2, a3, a4, a5, a6, a7, a8, a9, a10, a11, a12, a13, a14) (a1, a2, a3, b, a5, a6, a7, a8, a9, a10, a11, a12, a13, a14) 
Upd4 b (a1, a2, a3, a4, a5, a6, a7, a8, a9, a10, a11, a12, a13, a14, a15) (a1, a2, a3, b, a5, a6, a7, a8, a9, a10, a11, a12, a13, a14, a15) 

class Upd5 a b c | a b -> c, b c -> a whereSource

Methods

upd5 :: a -> b -> cSource

Instances

Upd5 b (a1, a2, a3, a4, a5) (a1, a2, a3, a4, b) 
Upd5 b (a1, a2, a3, a4, a5, a6) (a1, a2, a3, a4, b, a6) 
Upd5 b (a1, a2, a3, a4, a5, a6, a7) (a1, a2, a3, a4, b, a6, a7) 
Upd5 b (a1, a2, a3, a4, a5, a6, a7, a8) (a1, a2, a3, a4, b, a6, a7, a8) 
Upd5 b (a1, a2, a3, a4, a5, a6, a7, a8, a9) (a1, a2, a3, a4, b, a6, a7, a8, a9) 
Upd5 b (a1, a2, a3, a4, a5, a6, a7, a8, a9, a10) (a1, a2, a3, a4, b, a6, a7, a8, a9, a10) 
Upd5 b (a1, a2, a3, a4, a5, a6, a7, a8, a9, a10, a11) (a1, a2, a3, a4, b, a6, a7, a8, a9, a10, a11) 
Upd5 b (a1, a2, a3, a4, a5, a6, a7, a8, a9, a10, a11, a12) (a1, a2, a3, a4, b, a6, a7, a8, a9, a10, a11, a12) 
Upd5 b (a1, a2, a3, a4, a5, a6, a7, a8, a9, a10, a11, a12, a13) (a1, a2, a3, a4, b, a6, a7, a8, a9, a10, a11, a12, a13) 
Upd5 b (a1, a2, a3, a4, a5, a6, a7, a8, a9, a10, a11, a12, a13, a14) (a1, a2, a3, a4, b, a6, a7, a8, a9, a10, a11, a12, a13, a14) 
Upd5 b (a1, a2, a3, a4, a5, a6, a7, a8, a9, a10, a11, a12, a13, a14, a15) (a1, a2, a3, a4, b, a6, a7, a8, a9, a10, a11, a12, a13, a14, a15) 

class Upd6 a b c | a b -> c, b c -> a whereSource

Methods

upd6 :: a -> b -> cSource

Instances

Upd6 b (a1, a2, a3, a4, a5, a6) (a1, a2, a3, a4, a5, b) 
Upd6 b (a1, a2, a3, a4, a5, a6, a7) (a1, a2, a3, a4, a5, b, a7) 
Upd6 b (a1, a2, a3, a4, a5, a6, a7, a8) (a1, a2, a3, a4, a5, b, a7, a8) 
Upd6 b (a1, a2, a3, a4, a5, a6, a7, a8, a9) (a1, a2, a3, a4, a5, b, a7, a8, a9) 
Upd6 b (a1, a2, a3, a4, a5, a6, a7, a8, a9, a10) (a1, a2, a3, a4, a5, b, a7, a8, a9, a10) 
Upd6 b (a1, a2, a3, a4, a5, a6, a7, a8, a9, a10, a11) (a1, a2, a3, a4, a5, b, a7, a8, a9, a10, a11) 
Upd6 b (a1, a2, a3, a4, a5, a6, a7, a8, a9, a10, a11, a12) (a1, a2, a3, a4, a5, b, a7, a8, a9, a10, a11, a12) 
Upd6 b (a1, a2, a3, a4, a5, a6, a7, a8, a9, a10, a11, a12, a13) (a1, a2, a3, a4, a5, b, a7, a8, a9, a10, a11, a12, a13) 
Upd6 b (a1, a2, a3, a4, a5, a6, a7, a8, a9, a10, a11, a12, a13, a14) (a1, a2, a3, a4, a5, b, a7, a8, a9, a10, a11, a12, a13, a14) 
Upd6 b (a1, a2, a3, a4, a5, a6, a7, a8, a9, a10, a11, a12, a13, a14, a15) (a1, a2, a3, a4, a5, b, a7, a8, a9, a10, a11, a12, a13, a14, a15) 

class Upd7 a b c | a b -> c, b c -> a whereSource

Methods

upd7 :: a -> b -> cSource

Instances

Upd7 b (a1, a2, a3, a4, a5, a6, a7) (a1, a2, a3, a4, a5, a6, b) 
Upd7 b (a1, a2, a3, a4, a5, a6, a7, a8) (a1, a2, a3, a4, a5, a6, b, a8) 
Upd7 b (a1, a2, a3, a4, a5, a6, a7, a8, a9) (a1, a2, a3, a4, a5, a6, b, a8, a9) 
Upd7 b (a1, a2, a3, a4, a5, a6, a7, a8, a9, a10) (a1, a2, a3, a4, a5, a6, b, a8, a9, a10) 
Upd7 b (a1, a2, a3, a4, a5, a6, a7, a8, a9, a10, a11) (a1, a2, a3, a4, a5, a6, b, a8, a9, a10, a11) 
Upd7 b (a1, a2, a3, a4, a5, a6, a7, a8, a9, a10, a11, a12) (a1, a2, a3, a4, a5, a6, b, a8, a9, a10, a11, a12) 
Upd7 b (a1, a2, a3, a4, a5, a6, a7, a8, a9, a10, a11, a12, a13) (a1, a2, a3, a4, a5, a6, b, a8, a9, a10, a11, a12, a13) 
Upd7 b (a1, a2, a3, a4, a5, a6, a7, a8, a9, a10, a11, a12, a13, a14) (a1, a2, a3, a4, a5, a6, b, a8, a9, a10, a11, a12, a13, a14) 
Upd7 b (a1, a2, a3, a4, a5, a6, a7, a8, a9, a10, a11, a12, a13, a14, a15) (a1, a2, a3, a4, a5, a6, b, a8, a9, a10, a11, a12, a13, a14, a15) 

class Upd8 a b c | a b -> c, b c -> a whereSource

Methods

upd8 :: a -> b -> cSource

Instances

Upd8 b (a1, a2, a3, a4, a5, a6, a7, a8) (a1, a2, a3, a4, a5, a6, a7, b) 
Upd8 b (a1, a2, a3, a4, a5, a6, a7, a8, a9) (a1, a2, a3, a4, a5, a6, a7, b, a9) 
Upd8 b (a1, a2, a3, a4, a5, a6, a7, a8, a9, a10) (a1, a2, a3, a4, a5, a6, a7, b, a9, a10) 
Upd8 b (a1, a2, a3, a4, a5, a6, a7, a8, a9, a10, a11) (a1, a2, a3, a4, a5, a6, a7, b, a9, a10, a11) 
Upd8 b (a1, a2, a3, a4, a5, a6, a7, a8, a9, a10, a11, a12) (a1, a2, a3, a4, a5, a6, a7, b, a9, a10, a11, a12) 
Upd8 b (a1, a2, a3, a4, a5, a6, a7, a8, a9, a10, a11, a12, a13) (a1, a2, a3, a4, a5, a6, a7, b, a9, a10, a11, a12, a13) 
Upd8 b (a1, a2, a3, a4, a5, a6, a7, a8, a9, a10, a11, a12, a13, a14) (a1, a2, a3, a4, a5, a6, a7, b, a9, a10, a11, a12, a13, a14) 
Upd8 b (a1, a2, a3, a4, a5, a6, a7, a8, a9, a10, a11, a12, a13, a14, a15) (a1, a2, a3, a4, a5, a6, a7, b, a9, a10, a11, a12, a13, a14, a15) 

class Upd9 a b c | a b -> c, b c -> a whereSource

Methods

upd9 :: a -> b -> cSource

Instances

Upd9 b (a1, a2, a3, a4, a5, a6, a7, a8, a9) (a1, a2, a3, a4, a5, a6, a7, a8, b) 
Upd9 b (a1, a2, a3, a4, a5, a6, a7, a8, a9, a10) (a1, a2, a3, a4, a5, a6, a7, a8, b, a10) 
Upd9 b (a1, a2, a3, a4, a5, a6, a7, a8, a9, a10, a11) (a1, a2, a3, a4, a5, a6, a7, a8, b, a10, a11) 
Upd9 b (a1, a2, a3, a4, a5, a6, a7, a8, a9, a10, a11, a12) (a1, a2, a3, a4, a5, a6, a7, a8, b, a10, a11, a12) 
Upd9 b (a1, a2, a3, a4, a5, a6, a7, a8, a9, a10, a11, a12, a13) (a1, a2, a3, a4, a5, a6, a7, a8, b, a10, a11, a12, a13) 
Upd9 b (a1, a2, a3, a4, a5, a6, a7, a8, a9, a10, a11, a12, a13, a14) (a1, a2, a3, a4, a5, a6, a7, a8, b, a10, a11, a12, a13, a14) 
Upd9 b (a1, a2, a3, a4, a5, a6, a7, a8, a9, a10, a11, a12, a13, a14, a15) (a1, a2, a3, a4, a5, a6, a7, a8, b, a10, a11, a12, a13, a14, a15) 

class Upd10 a b c | a b -> c, b c -> a whereSource

Methods

upd10 :: a -> b -> cSource

Instances

Upd10 b (a1, a2, a3, a4, a5, a6, a7, a8, a9, a10) (a1, a2, a3, a4, a5, a6, a7, a8, a9, b) 
Upd10 b (a1, a2, a3, a4, a5, a6, a7, a8, a9, a10, a11) (a1, a2, a3, a4, a5, a6, a7, a8, a9, b, a11) 
Upd10 b (a1, a2, a3, a4, a5, a6, a7, a8, a9, a10, a11, a12) (a1, a2, a3, a4, a5, a6, a7, a8, a9, b, a11, a12) 
Upd10 b (a1, a2, a3, a4, a5, a6, a7, a8, a9, a10, a11, a12, a13) (a1, a2, a3, a4, a5, a6, a7, a8, a9, b, a11, a12, a13) 
Upd10 b (a1, a2, a3, a4, a5, a6, a7, a8, a9, a10, a11, a12, a13, a14) (a1, a2, a3, a4, a5, a6, a7, a8, a9, b, a11, a12, a13, a14) 
Upd10 b (a1, a2, a3, a4, a5, a6, a7, a8, a9, a10, a11, a12, a13, a14, a15) (a1, a2, a3, a4, a5, a6, a7, a8, a9, b, a11, a12, a13, a14, a15) 

class Upd11 a b c | a b -> c, b c -> a whereSource

Methods

upd11 :: a -> b -> cSource

Instances

Upd11 b (a1, a2, a3, a4, a5, a6, a7, a8, a9, a10, a11) (a1, a2, a3, a4, a5, a6, a7, a8, a9, a10, b) 
Upd11 b (a1, a2, a3, a4, a5, a6, a7, a8, a9, a10, a11, a12) (a1, a2, a3, a4, a5, a6, a7, a8, a9, a10, b, a12) 
Upd11 b (a1, a2, a3, a4, a5, a6, a7, a8, a9, a10, a11, a12, a13) (a1, a2, a3, a4, a5, a6, a7, a8, a9, a10, b, a12, a13) 
Upd11 b (a1, a2, a3, a4, a5, a6, a7, a8, a9, a10, a11, a12, a13, a14) (a1, a2, a3, a4, a5, a6, a7, a8, a9, a10, b, a12, a13, a14) 
Upd11 b (a1, a2, a3, a4, a5, a6, a7, a8, a9, a10, a11, a12, a13, a14, a15) (a1, a2, a3, a4, a5, a6, a7, a8, a9, a10, b, a12, a13, a14, a15) 

class Upd12 a b c | a b -> c, b c -> a whereSource

Methods

upd12 :: a -> b -> cSource

Instances

Upd12 b (a1, a2, a3, a4, a5, a6, a7, a8, a9, a10, a11, a12) (a1, a2, a3, a4, a5, a6, a7, a8, a9, a10, a11, b) 
Upd12 b (a1, a2, a3, a4, a5, a6, a7, a8, a9, a10, a11, a12, a13) (a1, a2, a3, a4, a5, a6, a7, a8, a9, a10, a11, b, a13) 
Upd12 b (a1, a2, a3, a4, a5, a6, a7, a8, a9, a10, a11, a12, a13, a14) (a1, a2, a3, a4, a5, a6, a7, a8, a9, a10, a11, b, a13, a14) 
Upd12 b (a1, a2, a3, a4, a5, a6, a7, a8, a9, a10, a11, a12, a13, a14, a15) (a1, a2, a3, a4, a5, a6, a7, a8, a9, a10, a11, b, a13, a14, a15) 

class Upd13 a b c | a b -> c, b c -> a whereSource

Methods

upd13 :: a -> b -> cSource

Instances

Upd13 b (a1, a2, a3, a4, a5, a6, a7, a8, a9, a10, a11, a12, a13) (a1, a2, a3, a4, a5, a6, a7, a8, a9, a10, a11, a12, b) 
Upd13 b (a1, a2, a3, a4, a5, a6, a7, a8, a9, a10, a11, a12, a13, a14) (a1, a2, a3, a4, a5, a6, a7, a8, a9, a10, a11, a12, b, a14) 
Upd13 b (a1, a2, a3, a4, a5, a6, a7, a8, a9, a10, a11, a12, a13, a14, a15) (a1, a2, a3, a4, a5, a6, a7, a8, a9, a10, a11, a12, b, a14, a15) 

class Upd14 a b c | a b -> c, b c -> a whereSource

Methods

upd14 :: a -> b -> cSource

Instances

Upd14 b (a1, a2, a3, a4, a5, a6, a7, a8, a9, a10, a11, a12, a13, a14) (a1, a2, a3, a4, a5, a6, a7, a8, a9, a10, a11, a12, a13, b) 
Upd14 b (a1, a2, a3, a4, a5, a6, a7, a8, a9, a10, a11, a12, a13, a14, a15) (a1, a2, a3, a4, a5, a6, a7, a8, a9, a10, a11, a12, a13, b, a15) 

class Upd15 a b c | a b -> c, b c -> a whereSource

Methods

upd15 :: a -> b -> cSource

Instances

Upd15 b (a1, a2, a3, a4, a5, a6, a7, a8, a9, a10, a11, a12, a13, a14, a15) (a1, a2, a3, a4, a5, a6, a7, a8, a9, a10, a11, a12, a13, a14, b)