From b521f3af8e9a8c17e1be3f428b7baaa2887a3bf3 Mon Sep 17 00:00:00 2001 From: Simon Cruanes Date: Wed, 2 Jul 2014 13:36:00 +0200 Subject: [PATCH] doc --- core/CCPrint.mli | 10 ++++++++++ 1 file changed, 10 insertions(+) diff --git a/core/CCPrint.mli b/core/CCPrint.mli index 7911b453..47adea83 100644 --- a/core/CCPrint.mli +++ b/core/CCPrint.mli @@ -98,3 +98,13 @@ module MakeIO(M : MONAD_IO) : sig val fprintf : M.output -> ('a, Buffer.t, unit, unit M.t) format4 -> 'a (** Fprintf on a monadic output *) end +(** Example: +{[ module PrintLwt = CCPrint.MakeIO(struct + include Lwt + type output = Lwt_io.output_channel + let write = Lwt_io.write + end);; + + PrintLwt.printl Lwt_io.stdout (CCList.pp CCInt.pp) [1;2;3;4];; + - : unit Lwt.t +]} *)