Safe Haskell | None |
---|---|
Language | Haskell98 |
Agda.Utils.Tuple
- (-*-) :: (a -> c) -> (b -> d) -> (a, b) -> (c, d)
- mapFst :: (a -> c) -> (a, b) -> (c, b)
- mapSnd :: (b -> d) -> (a, b) -> (a, d)
- (/\) :: (a -> b) -> (a -> c) -> a -> (b, c)
- swap :: (a, b) -> (b, a)
- fst3 :: (a, b, c) -> a
- snd3 :: (a, b, c) -> b
- thd3 :: (a, b, c) -> c
- uncurry3 :: (a -> b -> c -> d) -> (a, b, c) -> d
- uncurry4 :: (a -> b -> c -> d -> e) -> (a, b, c, d) -> e
- mapPairM :: Applicative m => (a -> m c) -> (b -> m d) -> (a, b) -> m (c, d)
- mapFstM :: Applicative m => (a -> m c) -> (a, b) -> m (c, b)
- mapSndM :: Applicative m => (b -> m d) -> (a, b) -> m (a, d)
- newtype List2 a = List2 {
- list2 :: (a, a)
Documentation
(-*-) :: (a -> c) -> (b -> d) -> (a, b) -> (c, d) infix 2
Bifunctoriality for pairs.
mapFst :: (a -> c) -> (a, b) -> (c, b)
mapFst f = f -*- id
mapSnd :: (b -> d) -> (a, b) -> (a, d)
mapSnd g = id -*- g
(/\) :: (a -> b) -> (a -> c) -> a -> (b, c) infix 3
Lifted pairing.
swap :: (a, b) -> (b, a)
Swap. (Only in Data.Tuple from base-4.3)
Triple (stolen from Data.Tuple.HT)
fst3 :: (a, b, c) -> a
snd3 :: (a, b, c) -> b
thd3 :: (a, b, c) -> c
uncurry3 :: (a -> b -> c -> d) -> (a, b, c) -> d
uncurry4 :: (a -> b -> c -> d -> e) -> (a, b, c, d) -> e
mapPairM :: Applicative m => (a -> m c) -> (b -> m d) -> (a, b) -> m (c, d)
Monadic version of -*-
.
mapFstM :: Applicative m => (a -> m c) -> (a, b) -> m (c, b)
Monadic mapFst
.
mapSndM :: Applicative m => (b -> m d) -> (a, b) -> m (a, d)
Monadic mapSnd
.