asai 0.3.0 · OCaml Package

Making an explicator.

Parameters

module Tag : Tag

Signature

exception Unexpected_end_of_source of Range.position

Unexpected_end_of_source pos means the pos lies beyond the end of source. This usually means the file has been truncated after the parsing.

exception Unexpected_line_num_increment of Range.position

Unexpected_line_num_increment pos means the line number of pos is larger than than that of its preceding position during explication, but the explicator did not encounter a newline in between. This usually indicates that there's something wrong with the lexer, or that the file has changed since the parsing.

exception Unexpected_newline of Range.position

Unexpected_newline pos means the line number of pos is the same as its preceding position during explication, but the explicator encountered a newline in between. This usually indicates that there's something wrong with the lexer, or that the file has changed since the parsing.

exception Unexpected_position_in_newline of Range.position

Unexpected_position_in_newline pos means the position pos is in the middle of a newline. This can happen when the newline consists of multiple bytes, for example 0x0D 0x0A. It usually indicates that there's something wrong with the lexer, or that the file has changed since the parsing.

val explicate : 
  ?line_breaking:[ `Unicode | `Traditional ] ->
  ?block_splitting_threshold:int ->
  ?blend:(Tag.t -> Tag.t -> Tag.t) ->
  (Tag.t * Range.t) list ->
  Tag.t Explication.t

Explicate a list of ranges using content from a data reader.

parameter line_breaking
The algorithm to recognize (hard) line breaks. The `Unicode algorithm recognizes all Unicode character sequences in Unicode 15.0.0 Table 5-1 as line breaks. The `Traditional algorithm only recognizes U+000A (LF), U+000D (CR), and U+000D U+000A (CRLF) as line breaks. The default is the `Traditional algorithm.

parameter block_splitting_threshold
The maximum number of consecutive, non-highlighted lines allowed in a block. The function will try to minimize the number of blocks, as long as no block has too many consecutive, non-highlighted lines. A higher threshold will lead to fewer blocks. When the threshold is zero, it means no block can contain any non-highlighted line. The default value is zero.

parameter blend
The algorithm to blend two tags on a visual range. The default algorithm chooses the more important tag based on priority.

raises Unexpected_end_of_source
See Unexpected_end_of_source.

raises Unexpected_line_num_increment
See Unexpected_line_num_increment.

raises Unexpected_newline
See Unexpected_newline

raises Unexpected_position_in_newline
See Unexpected_position_in_newline

package asai

Parameters

Signature