Data.Tuple.HT

Pair

mapPair :: (a -> c, b -> d) -> (a, b) -> (c, d)

Cf. '(Control.Arrow.***)'.

Apply two functions on corresponding values in a pair, where the pattern match on the pair constructor is lazy. This is crucial in recursions such as the of partition.

mapFst :: (a -> c) -> (a, b) -> (c, b)

first

mapSnd :: (b -> c) -> (a, b) -> (a, c)

second

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

forcePair :: (a, b) -> (a, b)

Triple

fst3 :: (a, b, c) -> a

snd3 :: (a, b, c) -> b

thd3 :: (a, b, c) -> c

mapTriple :: (a -> d, b -> e, c -> f) -> (a, b, c) -> (d, e, f)

mapFst3 :: (a -> d) -> (a, b, c) -> (d, b, c)

mapSnd3 :: (b -> d) -> (a, b, c) -> (a, d, c)

mapThd3 :: (c -> d) -> (a, b, c) -> (a, b, d)

curry3 :: ((a, b, c) -> d) -> a -> b -> c -> d

uncurry3 :: (a -> b -> c -> d) -> (a, b, c) -> d