A distinguished annotation system for 8-bit ASCII text.
Include the common signature specialized for textual positions.
include Profile with type position := position with type symbol := charThe type of an input event, comprising a symbol and its position.
Representation of a span of positions, comprising the pair of a) the position of the first symbol in the span, and b) the position of the symbol immediately following the last symbol in the span. Accordingly, if both the start and limit fields have the same serial number, then the span is empty, comprising no symbols.
A value annotated with its span of text in the input stream.
module Scan_basis :
Cf_scan.Basis
with type Symbol.t = char
and type iota = iota
and type position = position
and type 'a Form.t = 'a formA basis module for constructing a
Inclusion of the
f_scan
production form signature.
include Cf_scan.Form with type 'a t := 'a formval imp : 'a -> 'a formScanners use imp value to create a value form with a distinguished implicit position, i.e. not located in the input stream.
val dn : 'a form -> 'aScanners use dn form to get the value wrapped in form.
Scanners use mv value form to make a form containing value attributed with the same position as form.
Use map f v to apply f to the value enclosed in v to make the result annotated with the same position as v.
Use join f a b to apply f to the values enclosed in a and b to make the result annotated with the span that covers the overlap of the positions of both a and b.
Use collect s to collect all the values enclosed in the forms s to a single list annotated with the span that overlaps all the positions in s.
val emit_form : Format.formatter -> 'a form -> unitUse emit_form pp vl to print the span of vl with pp in a mostly readable format.