package asai

You can search for identifiers within the package.

in-package search v0.2.0

On This Page

Types
Debugging

asai
- Asai
  - Diagnostic
  - Explication
  - Explicator
    
    Make
    
    Tag
    
    S
    
    Tag
    
    Tag
  - GitHub
    
    Make
    
    Message
  - MinimumSigs
    
    Message
    
    Reporter
    
    Message
  - Range
  - Reporter
    
    Make
    
    Message
    
    Message
    
    S
    
    Message
  - SourceReader
  - StructuredReporter
    
    Make
    
    Message
    
    Message
    
    S
    
    Message
  - Tty
    
    Make
    
    Message

Legend:
Library
Module
Module type
Parameter
Class
Class type

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

Types

type 'tag segment = 'tag option * string

A segment is an optionally tagged string from the user content. (Note the use of option.)

type 'tag line = {

tags : 'tag list;
segments : 'tag segment list;

}

A line is a list of segments along with tags.

type 'tag block = {

begin_line_num : int;
(*
The starting 1-indexed line number of a block.
*)
end_line_num : int;
(*
The ending 1-indexed line number of a block.
*)
lines : 'tag line list;
(*
The lines within a block.
*)

}

A block is a collection of consecutive lines.

type 'tag part = {

source : Range.source;
(*
The source of a part.
*)
blocks : 'tag block list;
(*
The blocks within a part.
*)

}

A part consists of multiple blocks from the same file. These blocks should be non-overlapping and sorted by importance or the textual order.

type 'tag t = 'tag part list

Highlighted texts.

Debugging

val dump : 
  (Format.formatter -> 'tag -> unit) ->
  Format.formatter ->
  'tag t ->
  unit

Ugly printer for debugging