module Make:
Parameters: |
|
val feed : (char, BatCharParser.position) BatParserCo.Source.t ->
(BatGenlex.token, BatCharParser.position) BatParserCo.Source.t
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
Remove any leading whitespaces
val ident : (char, string, BatCharParser.position) BatParserCo.t
case_sensitive
, the identifier
is returned in lower-case.val kwd : (char, string, BatCharParser.position) BatParserCo.t
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
val string_literal : (char, string, BatCharParser.position) BatParserCo.t
val integer : (char, int, BatCharParser.position) BatParserCo.t
val float : (char, float, BatCharParser.position) BatParserCo.t
val number : (char, [ `Float of float | `Integer of int ], BatCharParser.position)
BatParserCo.t
val char : char -> (char, char, BatCharParser.position) BatParserCo.t
As CharParser.char
, but case-insensitive if specified
by case_sensitive
.
val string : string -> (char, string, BatCharParser.position) BatParserCo.t
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