package orsetto

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

Functional LL(x) parsing of Unicode text with monadic combinators.

Overview

This module specializes the

f_scan

core foundation parser combinator interface for use with Unicode texts. A scanner is a functional left-shift/left-reduce parser combinator, using a state-exception monad over the stream of input code points annotated with their position in the stream.

Interface
module type Profile = sig ... end

The signature of a Unicode scanner module.

Use Create(UTF) to make scanner module for the encoding UTF.

module UTF8 : Profile

The distinguished scanner for UTF-8 encoded texts.

val create : [< Ucs_transport.id ] -> (module Profile)

Use create utf to make a scanner module for the UTF-8 encoding corresponding to utf.