Cf_lex_scan (p.orsetto.1.0.2.doc.orsetto.cf.Cf_lex

Overview

This module implements functional combinators for parsing languages that comprise sequences of regular tokens recognized by a deterministic finite automaton, using the

f_regx

module.

Interface

module type Buffer = sig ... end

Define a module with this signature to represent an imperative interface to a buffer that appends symbols in sequence until a lexeme is recognized.

module type Basis = sig ... end

Define a module with this signature to specialize the lexical analyzer.

module type Profile = sig ... end

The signature of a lexical analyzing scanner.

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

Use Create(B) to make a lexical analyzing scanner.

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

A distinguished lexical analyzer for simple ASCII character symbols.