Safe Haskell | None |
---|---|
Language | Haskell2010 |
Agda.Utils.Tuple
Synopsis
- (-*-) :: (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)
- sortPair :: Ord a => (a, a) -> (a, a)
- fst3 :: (a, b, c) -> a
- snd3 :: (a, b, c) -> b
- thd3 :: (a, b, c) -> c
- swap :: (a, b) -> (b, a)
- 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 :: Functor m => (a -> m c) -> (a, b) -> m (c, b)
- mapSndM :: Functor m => (b -> m d) -> (a, b) -> m (a, d)
- data Pair a = Pair a a
Documentation
mapPairM :: Applicative m => (a -> m c) -> (b -> m d) -> (a, b) -> m (c, d) Source #
Monadic version of -*-
.
Constructors
Pair a a |
Instances
Foldable Pair Source # | |||||
Defined in Agda.Utils.Tuple Methods fold :: Monoid m => Pair m -> m foldMap :: Monoid m => (a -> m) -> Pair a -> m foldMap' :: Monoid m => (a -> m) -> Pair a -> m foldr :: (a -> b -> b) -> b -> Pair a -> b foldr' :: (a -> b -> b) -> b -> Pair a -> b foldl :: (b -> a -> b) -> b -> Pair a -> b foldl' :: (b -> a -> b) -> b -> Pair a -> b foldr1 :: (a -> a -> a) -> Pair a -> a # foldl1 :: (a -> a -> a) -> Pair a -> a # elem :: Eq a => a -> Pair a -> Bool maximum :: Ord a => Pair a -> a | |||||
Traversable Pair Source # | |||||
Applicative Pair Source # | |||||
Functor Pair Source # | |||||
Generic (Pair a) Source # | |||||
Defined in Agda.Utils.Tuple Associated Types
| |||||
Show a => Show (Pair a) Source # | |||||
NFData a => NFData (Pair a) Source # | |||||
Defined in Agda.Utils.Tuple | |||||
Eq a => Eq (Pair a) Source # | |||||
type Rep (Pair a) Source # | |||||
Defined in Agda.Utils.Tuple type Rep (Pair a) = D1 ('MetaData "Pair" "Agda.Utils.Tuple" "Agda-2.8.0-ES80446w7YfI1YRCZGcXTm" 'False) (C1 ('MetaCons "Pair" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 a) :*: S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 a))) |