tuple-0.2.0.1: Various functions on tuples Source code Contents Index

Data.Tuple.Update

Documentation

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

Methods upd1 :: a -> b -> c Source 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 Source

Methods upd2 :: a -> b -> c Source 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 Source

Methods upd3 :: a -> b -> c Source 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 Source

Methods upd4 :: a -> b -> c Source 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 Source

Methods upd5 :: a -> b -> c Source 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 Source

Methods upd6 :: a -> b -> c Source 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 Source

Methods upd7 :: a -> b -> c Source 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 Source

Methods upd8 :: a -> b -> c Source 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 Source

Methods upd9 :: a -> b -> c Source 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 Source

Methods upd10 :: a -> b -> c Source 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 Source

Methods upd11 :: a -> b -> c Source 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 Source

Methods upd12 :: a -> b -> c Source 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 Source

Methods upd13 :: a -> b -> c Source 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 Source

Methods upd14 :: a -> b -> c Source 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 Source

Methods upd15 :: a -> b -> c Source 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)

Produced by Haddock version 2.6.0