From 48839be13266fabd2770b9ed239ecf4202c3e93f Mon Sep 17 00:00:00 2001 From: Simon Cruanes Date: Tue, 20 May 2014 17:43:56 +0200 Subject: [PATCH] CCFun.id and const --- core/CCFun.ml | 4 ++++ core/CCFun.mli | 6 ++++++ 2 files changed, 10 insertions(+) diff --git a/core/CCFun.ml b/core/CCFun.ml index 849209bb..dbedcf9b 100644 --- a/core/CCFun.ml +++ b/core/CCFun.ml @@ -34,6 +34,10 @@ let flip f x y = f y x let curry f x y = f (x,y) +let id x = x + +let const x _ = x + let uncurry f (x,y) = f x y let (%>) = compose diff --git a/core/CCFun.mli b/core/CCFun.mli index 84381d62..d2a02f3e 100644 --- a/core/CCFun.mli +++ b/core/CCFun.mli @@ -35,6 +35,12 @@ val compose : ('a -> 'b) -> ('b -> 'c) -> 'a -> 'c val (%>) : ('a -> 'b) -> ('b -> 'c) -> 'a -> 'c (** Alias to [compose] *) +val id : 'a -> 'a +(** Identity function *) + +val const : 'a -> 'b -> 'a +(** [const x y = x] for any [y] *) + val flip : ('a -> 'b -> 'c) -> 'b -> 'a -> 'c (** flip arguments *)