package asai

You can search for identifiers within the package.

in-package search v0.2.0

A library for constructing and printing compiler diagnostics

Install

md5=82a3980b06695456ad4baa83175456a7

sha512=044d7a37e5321349d7ee6e65c49fac3ec258260aebaa306797f1c2dbf2dcef155b5ecdabb15ae969630609c70d6f3176f7159505cd2748869a61e2d38614c7fc

Generating and handling diagnostics using algebraic effects. The API is optimized for fully structured messages.

The signature of a reporter.

Sourcemodule type Message = sig ... end

The signature of structured messages. An implementer should specify the structured messages used in their library or application.

Sourcemodule type S = sig ... end

Sourcemodule Make (Message : Message) : S with module Message := Message

The functor to generate a reporter.