Antelude.Tuple.Pair

Documentation

type Pair a b = (a, b)

A two-element Tuple

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

curry converts an uncurried function to a curried function.

Examples

>>> curry fst 1 2
1

first :: Pair a b -> a

Get the first item of a Pair Tuple

mapFirst :: (a -> z) -> Pair a b -> Pair z b

Apply a function to the first item of a Pair Tuple

mapSecond :: (b -> z) -> Pair a b -> Pair a z

Apply a function to the second item of a Pair Tuple

pack :: a -> b -> Pair a b

Pack both arguments into a Pair Tuple

second :: Pair a b -> b

Get the second item of a Pair Tuple

swap :: Pair a b -> Pair b a

Swap the items in a Pair Tuple

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

uncurry converts a curried function to a function on pairs.

Examples

>>> uncurry (+) (1,2)
3

>>> uncurry ($) (show, 1)
"1"

>>> map (uncurry max) [(1,2), (3,4), (6,8)]
[2,4,8]