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.

OCaml

Innovation. Community. Security.

GitHub Discord Twitter Peertube RSS
About
Changelog Releases Industrial Users Academic Users Why OCaml
Ecosystem
Packages Community Events OCaml Planet Jobs
Resources
Install OCaml Get Started Platform Tools Language Manual Standard Library API Books Exercises Papers OCaml Playground Logo
Policies
Carbon Footprint Governance Privacy Code of Conduct