HORIZON HASKELLDocslts/ghc-10.0.x8174fa42026-10-11Search names, modules, packages, or :: a typeCtrl K

GHC 10.0.0.20260917 · lts/ghc-10.0.x · 8174fa4 · 2026-10-11

ModuleAgda-2.8.0.2Haskell2010

Agda.Utils.Tuple

  • 1 type
  • 14 values
  • PackageAgda-2.8.0.2
  • Exports15
  • LanguageHaskell2010
  • LicenceMIT
  • SourceTuple.hs
value(-*-) :: (a -> c) -> (b -> d) -> (a, b) -> (c, d)
#

Bifunctoriality for pairs.

valuemapFst :: (a -> c) -> (a, b) -> (c, b)
#
mapFst f = f -*- id
valuemapSnd :: (b -> d) -> (a, b) -> (a, d)
#
mapSnd g = id -*- g
value(/\) :: (a -> b) -> (a -> c) -> a -> (b, c)
#

Lifted pairing.

valuesortPair :: Ord a => (a, a) -> (a, a)
#

Order a pair.

valuefst3 :: (a, b, c) -> a
#
valuesnd3 :: (a, b, c) -> b
#
valuethd3 :: (a, b, c) -> c
#
valueswap :: (a, b) -> (b, a)
#

Swap the components of a pair.

valueuncurry3 :: (a -> b -> c -> d) -> (a, b, c) -> d
#
valueuncurry4 :: (a -> b -> c -> d -> e) -> (a, b, c, d) -> e
#
datadata Pair a
#

Constructors

Instances9Functor, Applicative, Foldable, Traversable, Eq, Show, …