package orsetto

  1. Overview
  2. Docs
A library of assorted structured data interchange languages

Install 

dune-project
 Dependency

bitbucket.org Edit opam file Versions (8)

Authors

  1. J
    james woodyatt <jhw@conjury.org>

Maintainers

  1. J
    james woodyatt <jhw@conjury.org>

Sources

r1.1.2.tar.gz
sha512=e260412b2dd0f98cfe3dc7ed5c31a694eb31c93cd207c51fa12675b790234ee0ad3bf07d9be17a4dc266fedfe55b14c967cad7bc0c9414063eef8afd59f3d0d1

doc/orsetto.cbor/Cbor_decode/Annot/Scan_basis/index.html

Module Annot.Scan_basis

A basis module for constructing a

f_scan

scanner.

The equivalence relation on input symbols.

module Form : Cf_scan.Form with type 'a t = 'a form

The signature of production forms.

type position = Cf_decode.position

An input stream position.

type iota = 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.