| Safe Haskell | Safe |
|---|---|
| Language | Haskell2010 |
Data.Invertible.Tuple
Description
Bidirectional version of Data.Tuple and other operations over nested tuples.
- fst :: (a, ()) <-> a
- snd :: ((), a) <-> a
- curry :: ((a, b) -> c) <-> (a -> b -> c)
- swap :: (a, b) <-> (b, a)
- flatten1_2 :: (a, (b, c)) <-> (a, b, c)
- flatten1_3 :: (a, (b, c, d)) <-> (a, b, c, d)
- flatten1_4 :: (a, (b, c, d, e)) <-> (a, b, c, d, e)
- flatten2_1 :: ((a, b), c) <-> (a, b, c)
- flatten2_2 :: ((a, b), (c, d)) <-> (a, b, c, d)
- flatten3_1 :: ((a, b, c), d) <-> (a, b, c, d)
- flatten4_1 :: ((a, b, c, d), e) <-> (a, b, c, d, e)
Documentation
curry :: ((a, b) -> c) <-> (a -> b -> c) Source #
Convert between an uncurried function and a curryed function.
flatten1_2 :: (a, (b, c)) <-> (a, b, c) Source #
flatten1_3 :: (a, (b, c, d)) <-> (a, b, c, d) Source #
flatten1_4 :: (a, (b, c, d, e)) <-> (a, b, c, d, e) Source #
flatten2_1 :: ((a, b), c) <-> (a, b, c) Source #
flatten2_2 :: ((a, b), (c, d)) <-> (a, b, c, d) Source #
flatten3_1 :: ((a, b, c), d) <-> (a, b, c, d) Source #
flatten4_1 :: ((a, b, c, d), e) <-> (a, b, c, d, e) Source #