package orsetto

  1. Overview
  2. Docs
Legend:
Library
Module
Module type
Parameter
Class
Class type

A submodule containing specializations for textual representations.

module Serial : sig ... end

The signature of a serial number type, c.f. RFC 1982.

type line = private
  1. | Line of {
    1. number : int;
    2. stream : string;
    3. octets : int64;
    4. crpred : bool;
    }

Position of the start of a line of text.

type position = private
  1. | Position of {
    1. serial : Serial.t;
    2. line : line;
    3. column : int;
    4. lnadj : int64;
    }

Position of a coded symbol.

val initial_position : string -> position

Use initial_position s to obtain initial position in stream s.

module type Basis = sig ... end

The basis signature of text annotation systems.

module type Profile = sig ... end

The signature of annotation systems specialized for text.

module Create (B : Basis) : Profile with type symbol := B.Symbol.t

Use Create(B) to make an annotation system module for texts with symbols defined in B.

module ASCII : Profile with type symbol := char

A distinguished annotation system for 8-bit ASCII text.

module Unicode : sig ... end

A submodule defining a functor for creating annotations systems for Unicode texts with an abstraction of the transport form.