Agda-2.2.10: A dependently typed functional programming language and proof assistant
Source code
Contents
Index
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) -> d
Source
Produced by
Haddock
version 2.6.1