Data.Tuple.Util

Functions for manipulating tuples, supplementing Data.Tuple.

Functions on pairs.

($$) :: Monad ((->) a) => (a -> b, a -> c) -> a -> (b, c)

Apply a pair of functions to a value.

Functions on triplets.

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

Curry a triplet.

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

Uncurry a triplet.

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

Extract the first entry of a triplet.

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

Extract the second entry of a triplet.

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

Extract the third entry of a triplet.

first3 :: Arrow a => a b c -> a (b, d, e) (c, d, e)

Send the first component of the input through the argument arrow, and copy the rest unchanged to the output.

second3 :: Arrow a => a b c -> a (d, b, e) (d, c, e)

Send the second component of the input through the argument arrow, and copy the rest unchanged to the output.

third3 :: Arrow a => a b c -> a (d, e, b) (d, e, c)

Send the third component of the input through the argument arrow, and copy the rest unchanged to the output.

Functions on quadruplets.

curry4 :: ((a, b, c, d) -> e) -> a -> b -> c -> d -> e

Curry a quadruplet.

uncurry4 :: (a -> b -> c -> d -> e) -> (a, b, c, d) -> e

Uncurry a quadruplet.

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

Extract the first entry of a quadruplet.

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

Extract the second entry of a quadruplet.

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

Extract the third entry of a quadruplet.

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

Extract the fourth entry of a quadruplet.

first4 :: Arrow a => a b c -> a (b, d, e, f) (c, d, e, f)

Send the first component of the input through the argument arrow, and copy the rest unchanged to the output.

second4 :: Arrow a => a b c -> a (d, b, e, f) (d, c, e, f)

Send the second component of the input through the argument arrow, and copy the rest unchanged to the output.

third4 :: Arrow a => a b c -> a (d, e, b, f) (d, e, c, f)

Send the third component of the input through the argument arrow, and copy the rest unchanged to the output.

fourth4 :: Arrow a => a b c -> a (d, e, f, b) (d, e, f, c)

Send the fourth component of the input through the argument arrow, and copy the rest unchanged to the output.