Agda-2.2.6: A dependently typed functional programming language and proof assistantSource codeContentsIndex
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
Produced by Haddock version 2.4.2