package asai

You can search for identifiers within the package.

in-package search v0.2.0

On This Page

Core API
Experimental Backends
Internals

Package contains no libraries

Compiler diagnostics

A diagnostic is a message for the end user, for example a compiler warning or error.

Core API

module Span : sig ... end

Locations and spans.

module Diagnostic : sig ... end

The definition of diagnostics and some utility functions.

module Logger : sig ... end

Generating and handling diagnostics using algebraic effects.

Experimental Backends

module Tty : sig ... end

Diagnostic display for UNIX terminals.

module Lsp : sig ... end

An LSP (Language Service Protocol) server for asai

module GitHub : sig ... end

GitHub Actions workflow commands.

Internals

module Explication : sig ... end

The definition of highlighted text suitable for rendering. You probably do not need this module unless you want to create your own backend.

module Explicator : sig ... end

Turning location information into highlighted text suitable for rendering. You probably do not need this module unless you want to create your own backend.

module FileReader : sig ... end

An implementation of Explicator.Reader using memory-mapped file I/O. You probably do not need this module unless you want to create your own backend.