Data.Invertible.Tuple

Bidirectional version of Data.Tuple and other operations over nested tuples.

Documentation

fst :: (a, ()) <-> a

Extract the fst component of a pair.

snd :: ((), a) <-> a

Extract the snd component of a pair.

curry :: ((a, b) -> c) <-> (a -> b -> c)

Convert between an uncurried function and a curryed function.

swap :: (a, b) <-> (b, a)

swap the components of a pair.

flatten1_2 :: (a, (b, c)) <-> (a, b, c)

flatten1_3 :: (a, (b, c, d)) <-> (a, b, c, d)

flatten1_4 :: (a, (b, c, d, e)) <-> (a, b, c, d, e)

flatten2_1 :: ((a, b), c) <-> (a, b, c)

flatten2_2 :: ((a, b), (c, d)) <-> (a, b, c, d)

flatten3_1 :: ((a, b, c), d) <-> (a, b, c, d)

flatten4_1 :: ((a, b, c, d), e) <-> (a, b, c, d, e)