From bb37ea469db464bfb434c08291dda901a9304aef Mon Sep 17 00:00:00 2001 From: Simon Cruanes Date: Sun, 21 Feb 2016 00:13:40 +0100 Subject: [PATCH] add `CCPair.make` --- src/core/CCPair.ml | 2 ++ src/core/CCPair.mli | 4 ++++ 2 files changed, 6 insertions(+) diff --git a/src/core/CCPair.ml b/src/core/CCPair.ml index 7b763cb5..b222be6e 100644 --- a/src/core/CCPair.ml +++ b/src/core/CCPair.ml @@ -5,6 +5,8 @@ type ('a,'b) t = ('a * 'b) +let make x y = x,y + let map1 f (x,y) = f x,y let map2 f (x,y) = x,f y diff --git a/src/core/CCPair.mli b/src/core/CCPair.mli index ca4a2c79..a63d1f3e 100644 --- a/src/core/CCPair.mli +++ b/src/core/CCPair.mli @@ -5,6 +5,10 @@ type ('a,'b) t = ('a * 'b) +val make : 'a -> 'b -> ('a, 'b) t +(** Make a tuple from its components + @since NEXT_RELEASE *) + val map1 : ('a -> 'b) -> ('a * 'c) -> ('b * 'c) val map2 : ('a -> 'b) -> ('c * 'a) -> ('c * 'b)