package asai
Library
Module
Module type
Parameter
Class
Class type
The signature of explicators.
exception Unexpected_end_of_file of Span.position
Unexpected_end_of_file pos
means the pos
lies beyond the end of file. This usually means the file has been truncated after the parsing.
exception Unexpected_line_num_increment of Span.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 Span.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 Span.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 ->
(Span.t, Style.t) Explication.styled list ->
Style.t Explication.t
Explicate a list of spans using content from a data reader.