From 06b795c604c5daa21006a632b689a4342e2a0489 Mon Sep 17 00:00:00 2001 From: "Kye W. Shi" Date: Fri, 19 Jun 2020 16:30:48 -0700 Subject: [PATCH] CCFun: add infix tests --- src/core/CCFun.ml | 7 +++++++ 1 file changed, 7 insertions(+) diff --git a/src/core/CCFun.ml b/src/core/CCFun.ml index 6208fb01..ea7c3322 100644 --- a/src/core/CCFun.ml +++ b/src/core/CCFun.ml @@ -81,6 +81,13 @@ module Infix = struct let (%) f g x = f (g x) end +(*$T + CCFun.((succ %> string_of_int) 2 = "3") + CCFun.((( * ) 3 % succ) 5 = 18) + CCFun.(succ @@ ( * ) 2 @@ pred @@ 3 = 5) + CCFun.(3 |> succ |> ( * ) 5 |> pred = 19) +*) + include Infix module Monad(X : sig type t end) = struct