package batteries

  1. Overview
  2. Docs
A community-maintained standard library extension

Install 

dune-project
 Dependency

batteries.forge.ocamlcore.org Edit opam file Versions (15)

Authors

  1. O
    OCaml batteries-included team

Maintainers

  1. C
    Cedric Cellier <rixed@happyleptic.org>
  2. F
    Francois Berenger <unixjunkie@sdf.org>
  3. Gabriel Scherer
  4. T
    Thibault Suzanne <thi.suzanne@gmail.com>

Sources

v3.2.0.tar.gz
sha256=00f34b9aed4e47f314425b2ca9ceac206f112095a17ea9a7ffa6dac8cfccc492
md5=066051f9a210277710c54ad57c3b9568

doc/batteries.unthreaded/BatGenlex/Languages/Make/index.html

Module Languages.Make

Create a lexer from a language definition

Parameters

module M : Definition

Signature

High-level API

Drop comments, present reserved operators and reserved names as Kwd, operators and identifiers as Ident, integer numbers as Int, floating-point numbers as Float and characters as Char.

If the language is not case_sensitive, identifiers and keywords are returned in lower-case.

val start : (char, unit, BatCharParser.position) BatParserCo.t

Medium-level API

Remove any leading whitespaces

val ident : (char, string, BatCharParser.position) BatParserCo.t

Accepts any non-reserved identifier/operator. If the language is not case_sensitive, the identifier is returned in lower-case.

val kwd : (char, string, BatCharParser.position) BatParserCo.t

Accepts any identifier. If the language is not case_sensitive, the identifier is returned in lower-case.

val identifier : string -> (char, unit, BatCharParser.position) BatParserCo.t
val keyword : string -> (char, unit, BatCharParser.position) BatParserCo.t
val char_literal : (char, char, BatCharParser.position) BatParserCo.t

Accepts a character literal, i.e. one character (or an escape) between two quotes.

val string_literal : (char, string, BatCharParser.position) BatParserCo.t

Accepts a string, i.e. one sequence of characters or escapes between two double quotes, on one line.

val integer : (char, int, BatCharParser.position) BatParserCo.t

Parse an integer.

val float : (char, float, BatCharParser.position) BatParserCo.t

Parse a floating-point number.

val number : (char, [ `Float of float | `Integer of int ], BatCharParser.position) BatParserCo.t

Parse either an integer or a floating-point number.

val char : char -> (char, char, BatCharParser.position) BatParserCo.t

Low-level API

As CharParser.char, but case-insensitive if specified by case_sensitive.

val string : string -> (char, string, BatCharParser.position) BatParserCo.t

As CharParser.string, but case-insensitive if specified by case_sensitive.

val line_comment : (char, unit, BatCharParser.position) BatParserCo.t
val multiline_comment : (char, unit, BatCharParser.position) BatParserCo.t
val comment : (char, unit, BatCharParser.position) BatParserCo.t
val whitespaces : (char, unit, BatCharParser.position) BatParserCo.t

Apply this filter to your own parsers if you want them to ignore following comments.