Data.Tuple.Linear

This module provides linear functions commonly used on tuples

Documentation

fst :: Consumable b => (a, b) %1 -> a

snd :: Consumable a => (a, b) %1 -> b

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

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

Beware, curry is not compatible with the standard one because it is higher-order and we don't have multiplicity polymorphism yet.

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

Beware, uncurry is not compatible with the standard one because it is higher-order and we don't have multiplicity polymorphism yet.