package pacomb

  1. Overview
  2. Docs
Parsing library based on combinators and ppx extension to write languages

Install 

dune-project
 Dependency

github.com Readme Edit opam file Versions (3)

Authors

  1. C
    Christophe Raffalli <christophe@raffalli.eu>
  2. R
    Rodolphe Lepigre <lepigre@mpi-sws.org>

Maintainers

  1. C
    Christophe Raffalli <christophe@raffalli.eu>

Sources

1.0.tar.gz
sha256=73091a8efb6d166a5efc674343a67ff5da2d84bc61233547edf77b70e73971d6
md5=64369d06ca0eae64cf14f0e030103347

doc/pacomb/Pacomb/Blank/index.html

Module Pacomb.BlankSource

Position in a buffer is a Input.buffer together with an index Input.pos.

Sourcetype pos = Input.pos
Sourcetype blank = buf -> pos -> buf * pos

A blank function is just a function progressing in a buffer

Sourcetype t = blank

Functions managing blanks

Sourceval none : blank

Use when you have no blank chars

Sourceval from_charset : Charset.t -> blank

Blank from a charset

Sourceval from_terminal : 'a Lex.t -> blank

Blank from a terminal

Sourceval line_comments : ?cs:Charset.t -> string -> blank

line_comments s Blank with standard spaces and line starting with s. cs defaults to Charset.from_string " \t\n\r"

Sourcetype layout_config = {
  1. old_blanks_before : bool;
    (*

    Ignoring blanks with the old blank function before parsing?

    *)
  2. new_blanks_before : bool;
    (*

    Then ignore blanks with the new blank function (before parsing)?

    *)
  3. new_blanks_after : bool;
    (*

    Use the new blank function one last time before resuming old layout?

    *)
  4. old_blanks_after : bool;
    (*

    Use then the old blank function one last time as well?

    *)
}
Sourceval default_layout_config : layout_config

Default configuration, parsing with the old blanks before (i.e., the field old_blanks_before is true), and the new blanks after (i.e., the field old_blanks_after is also true). The other two fields are false.