package orsetto

You can search for identifiers within the package.

in-package search v0.2.0

A library of assorted structured data interchange languages

Install

dune-project

Dependency

bitbucket.org Edit opam file Versions (8)

Authors

J

james woodyatt <jhw@conjury.org>

Maintainers

J

james woodyatt <jhw@conjury.org>

Sources

r1.1.3.tar.gz

sha512=9b654edb663ae697563f150824047052f3b1bf760398f24bce6350553f031f73c46b6337239a1acd871e61238597ea92046809e3358290ff14d6ba671b449085

doc/orsetto.cf/Cf_scan/Simple/Basis/index.html

Module `Simple.Basis`

Use Basis(S) to make the simple scanner basis for a symbol.

Parameters

module S : Cf_relations.Equal

Signature

module Symbol : Cf_relations.Equal with type t = S.t

The equivalence relation on input symbols.

module Form : Form with type 'a t = 'a

The signature of production forms.

type position = position

An input stream position.

type iota

An input symbol conceptually attributed with its position.

val init : ?start:position -> Symbol.t -> iota

Scanners use init symbol to make the first iota in the input stream. If ~start is provided, then it specifies the starting position in the stream of the result.

val next : iota -> Symbol.t -> iota

Scanners use next cursor symbol to make the iota comprising symbol at the position immediately following cursor.

val sym : iota -> Symbol.t

Scanners use sym iota to get the symbol contained in iota.

val term : iota -> Symbol.t Form.t

Scanners use term iota to produce a terminal form comprising the symbol contained in iota attributed with its position.

On This Page

Parameters
Signature