Safe Haskell | None |
---|---|
Language | Haskell2010 |
Data.Tuple.Linear
Description
This module provides linear functions commonly used on tuples.
Documentation
fst :: Consumable b => (a, b) %1 -> a Source #
snd :: Consumable a => (a, b) %1 -> b Source #
curry :: forall a b c (p :: Multiplicity) (q :: Multiplicity). ((a, b) %p -> c) %q -> a %p -> b %p -> c Source #
uncurry :: forall a b c (p :: Multiplicity) (q :: Multiplicity). (a %p -> b %p -> c) %q -> (a, b) %p -> c Source #