package asai

You can search for identifiers within the package.

in-package search v0.2.0

asai: Compiler Diagnostics
- Design Principles
- Quickstart Tutorial
- Library asai
  - Asai
    
    Range
    
    Diagnostic
    
    Reporter
    
    Message
    
    S
    
    Message
    
    Make
    
    StructuredReporter
    
    Message
    
    S
    
    Message
    
    Make
    
    Tty
    
    Make
    
    GitHub
    
    Make
    
    Explication
    
    Explicator
    
    Tag
    
    S
    
    Tag
    
    Make
    
    SourceReader
- Sources
  - asai
    
    Asai.ml
    
    Diagnostic.ml
    
    DiagnosticData.ml
    
    Explication.ml
    
    ExplicationData.ml
    
    Explicator.ml
    
    ExplicatorSigs.ml
    
    Flattener.ml
    
    GitHub.ml
    
    Range.ml
    
    Reporter.ml
    
    ReporterSigs.ml
    
    SourceReader.ml
    
    StructuredReporter.ml
    
    StructuredReporterSigs.ml
    
    Utils.ml
    
    asai__.ml

Legend:
Page
Library
Module
Module type
Parameter
Class
Class type
Source

Module `Asai.StructuredReporter`Source

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

since 0.2.0

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.