package fmlib

You can search for identifiers within the package.

in-package search v0.2.0

Functional monadic library

Install

Dune Dependency

github.com Readme Edit opam file Versions (16)

Authors

H

Helmut Brandl <helmut.brandl@gmx.net>

Maintainers

H

Helmut Brandl <helmut.brandl@gmx.net>

Sources

0.1.0.tar.gz

sha256=0558665285e4d7691e5a80c90ab05a7acb86c09f03ceef6589f150f6d3574573

md5=fb61f4d6e7233cf8d1d71758e6110c1e

doc/fmlib.fmlib_parse/Fmlib_parse/Character/Make/Parser/index.html

Module `Make.Parser`Source

include Interfaces.PARSER

A parser p is a sink of token. As long as it signals needs_more p more token can be pushed into the parser via put token p or the input stream can be ended via put_end p.

If the parser does not need more token (has_ended p is equivalent to not (needs_more p)), then it has either succeeded or failed.

If it has succeeded the final value is available via final p.

There are two types of failure:

Syntax error: In that case failed_expectations p returns the list of failed expectations.

Semantic error: In that case failed_semantic p returns the encountered semantic error.

The function state returns the user state.

The function lookaheads returns a pair. The first part of the pair is an array of unprocessed lookahead token and the second part is a flag indicating if the endtoken has been received via put_end.

Sourcetype t

Sourceval needs_more : t -> bool

Sourceval has_ended : t -> bool

Sourceval has_succeeded : t -> bool

Sourceval has_failed_syntax : t -> bool

Sourceval has_failed_semantic : t -> bool

Sourceval position : t -> Position.t

Sourceval line : t -> int

Sourceval column : t -> int

Sourceval state : t -> State.t

Sourceval lookaheads : t -> char array * bool

Sourceval final : t -> Final.t

Sourceval failed_expectations : t -> (string * Indent.violation option) list

Sourceval failed_semantic : t -> Semantic.t

Sourceval put : char -> t -> t

Sourceval put_end : t -> t

Sourceval run_on_string : string -> t -> t