From 1732225922b60de182f1e7d478acb94e61c62835 Mon Sep 17 00:00:00 2001 From: favonia Date: Mon, 9 Oct 2023 12:51:50 +0000 Subject: [PATCH] deploy: 8fe74748db36c59cb18b5f6e7ef49df6891632b3 --- asai/Asai/Reporter/index.html | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/asai/Asai/Reporter/index.html b/asai/Asai/Reporter/index.html index ca98421..90cc4ce 100644 --- a/asai/Asai/Reporter/index.html +++ b/asai/Asai/Reporter/index.html @@ -1,2 +1,2 @@ -Reporter (asai.Asai.Reporter)

Module Asai.Reporter

Generating and handling diagnostics using algebraic effects.

The signature of a logger.

module type Code = sig ... end

The signature of message code. An implementer should specify the message code used in their library or application.

module type S = sig ... end
module Make (Code : Code) : S with module Code := Code

The functor to generate a logger.

+Reporter (asai.Asai.Reporter)

Module Asai.Reporter

Generating and handling diagnostics using algebraic effects.

The signature of a reporter.

module type Code = sig ... end

The signature of message code. An implementer should specify the message code used in their library or application.

module type S = sig ... end
module Make (Code : Code) : S with module Code := Code

The functor to generate a logger.