Data.Tuple.Strict

Pair

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

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

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

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

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

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

Triple

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)

zipWithTriple :: (a -> d -> g, b -> e -> h, c -> f -> i) -> (a, b, c) -> (d, e, f) -> (g, h, i)

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