Cf_chain_scan (p.orsetto.1.0.2.doc.orsetto.cf.Cf_chain

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 = [

| `Non
| `Opt
| `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.