package orsetto
Install
Dune Dependency
Authors
Maintainers
Sources
sha256=f64814687276bad56483b2b8dfaaf70d0d6485f67fe5d44bff34bfa47af1896e
md5=3a15a377800cf988a310b4082406c685
doc/orsetto.cf/Cf_annot/index.html
Module Cf_annot
Position annotation systems.
Overview
This module defines an interface for composing systems that annotate scanned or decoded values with the span of positions in the input stream where the represented value was found. Specializations of position information are provided for streams analyzed with
f_decode
as well as streams comprising lines of text.
A distinguished module is provided for annotating streams comprising texts encoded in 8-bit ASCII.
Interface
module type Basis = sig ... endThe basis signature for creating an annotation system.
module type Profile = sig ... endThe signture of an annotation system specialized on a basis module.
module Create
(B : Basis) :
Profile with type symbol := B.Symbol.t and type position := B.Position.tUse Create(B) to make an annotation system module for the symbols defined in B.
module Coded : sig ... endA submodule containing specializations for use with
module Textual : sig ... endA submodule containing specializations for textual representations.