package asai

You can search for identifiers within the package.

in-package search v0.2.0

package asai

asai
- Asai
  - Diagnostic
  - Explication
  - Explicator
    
    Make
    
    Tag
    
    S
    
    Tag
    
    Tag
  - GitHub
    
    Make
    
    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

type t

The abstract type of tags.

val equal : t -> t -> bool

Comparing whether two tags are equivalent.

val priority : t -> int

Get the priority number of a tag. We followed the UNIX convention here---a smaller priority number represents higher priority. The convention works well with List.sort, which sorts numbers in ascending order. (The more important things go first.)

val dump : Format.formatter -> t -> unit

Ugly printer for debugging