From bc4bce8083ee7455e4f00a44a1efa9710367cb75 Mon Sep 17 00:00:00 2001 From: Simon Cruanes Date: Mon, 26 Jun 2023 16:05:48 -0400 Subject: [PATCH] doc --- src/eio/tiny_httpd_eio.mli | 9 +++++++++ 1 file changed, 9 insertions(+) diff --git a/src/eio/tiny_httpd_eio.mli b/src/eio/tiny_httpd_eio.mli index 487b3a84..251f9508 100644 --- a/src/eio/tiny_httpd_eio.mli +++ b/src/eio/tiny_httpd_eio.mli @@ -1,3 +1,12 @@ +(** Tiny httpd EIO backend. + + This replaces the threads + Unix blocking syscalls of {!Tiny_httpd_server} + with an Eio-based cooperative system. + + {b NOTE}: this is very experimental and will absolutely change over time, + especially since Eio itself is also subject to change. + @since NEXT_RELEASE *) + (* TODO: pass in a switch *) type 'a with_args =