Agda-2.2.8: A dependently typed functional programming language and proof assistant

Agda.Utils.Tuple

Documentation

(-*-) :: (a -> c) -> (b -> d) -> (a, b) -> (c, d)Source

(/\) :: (a -> b) -> (a -> c) -> a -> (b, c)Source

uncurry3 :: (a -> b -> c -> d) -> (a, b, c) -> dSource