package orsetto

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

Functional lexical analyzers.

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.