Data.Tuple.Update

Documentation

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

Methods

upd1 :: a -> b -> c

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 where

Methods

upd2 :: a -> b -> c

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 where

Methods

upd3 :: a -> b -> c

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 where

Methods

upd4 :: a -> b -> c

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 where

Methods

upd5 :: a -> b -> c

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 where

Methods

upd6 :: a -> b -> c

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 where

Methods

upd7 :: a -> b -> c

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 where

Methods

upd8 :: a -> b -> c

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 where

Methods

upd9 :: a -> b -> c

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 where

Methods

upd10 :: a -> b -> c

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 where

Methods

upd11 :: a -> b -> c

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 where

Methods

upd12 :: a -> b -> c

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 where

Methods

upd13 :: a -> b -> c

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 where

Methods

upd14 :: a -> b -> c

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 where

Methods

upd15 :: a -> b -> c

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)