package orsetto

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

Parsers for sequences of delimited elements.

Overview

This module provides scanners specialized for parsing chains, i.e. sequences of grammar elements separated by a terminal delimiter, and optionally preceded and/or succeeded by a delimiter.

Interface
type ctrl = [
  1. | `Non
  2. | `Opt
  3. | `Req
]

The type of a leading/trailing delimiter control.

module type Basis = sig ... end

The basis signature of a chain scanning module.

module type Profile = sig ... end

The signature of a chain scanning module.

module Create (B : Basis) : Profile with type symbol := B.symbol and type 'a form := 'a B.form and type mark := B.Scan.mark and type 'a t := 'a B.Scan.t

Use Create(B) to make a chain scanning module for B.

module ASCII : Profile with type symbol := char and type 'a form := 'a and type mark := Cf_scan.ASCII.mark and type 'a t := 'a Cf_scan.ASCII.t

A distinguished chain scanner for simple ASCII character symbols.