Module `Libnacc.Parsing`Source

Error report

Sourcetype 'a state

Type state

Sourcetype error

Type error

Sourceval state : 'a option -> int -> int -> string -> 'a state

Create a new parser state

Sourceval result_of_state : 'a state -> ('a, error) result

Get the result

Sourceval state_value : 'a state -> 'a option

Get the parsed value

Sourceval state_offset : 'a state -> int

Get the current position of the parser inside the string

Sourceval state_line : 'a state -> int

Get the current line position of the parser inside the string

Sourceval state_rest : 'a state -> string

Get the remaining characters of the string beeing parsed

Sourceval report : error -> unit

Report an error

Defining parsers

Sourcetype 'a parser

Type parser

Sourceval (~~) : (string -> 'a state) -> 'a parser

Parser constructor

Sourceval pure : 'a -> 'a parser

Pure parser consuming no character and returning a value of type 'a.

Sourceval many : 'a parser -> 'a list parser

Parse zero or more times a given pattern

Sourceval some : 'a parser -> 'a list parser

Parse one or more times a given pattern

Sourceval check : (char -> bool) -> char parser

Test a predicate on the first character of the input. Resolve to this character if the predicate is verified

Combinators and Infix operators

Sourceval (<*>) : ('a -> 'b) parser -> 'a parser -> 'b parser

Apply

Sourceval (<$>) : ('a -> 'b) -> 'a parser -> 'b parser

Map

Sourceval (*>) : 'a parser -> 'b parser -> 'b parser

Apply to the right

Sourceval (<*) : 'a parser -> 'b parser -> 'a parser

Apply to the left

Sourceval (<|>) : 'a parser -> 'a parser -> 'a parser

Alternative

Let notation

Sourceval (let*) : 'a parser -> ('a -> 'b parser) -> 'b parser

Binding operator using the let* operator. This syntax is similar to Haskel's "do notation" :

  let tuple_parser =
    let* f1 = floatingpoint in
    let* _ = char ',' in
    let* f2 = floatingpoint in
    pure (f1, f2)

Even if this operator can be usefull in extreme cases, users are encouraged to use the (<*>) operator instead :

  let tuple_parser =
    (fun x y -> (x, y)) <$> floatingpoint <*> char ',' *> floatingpoint

Powerfull Combinators

The following operators are usefull to parse patterns which are left recursive by nature. The typical exemple is arithmetic expressions.

Sourceval chainl : ('a -> 'a -> 'a) parser -> 'a parser -> 'a parser

Eliminate left recursion in "left associative" chains. chainl op term is a parser recognizing chains of terms term bound by the operator op. The operator is considered left associative.

Sourceval chainr : 'a parser -> ('a -> 'a -> 'a) parser -> 'a parser

Eliminate left recursion in "right associative" chains. chainr term op is a parser recognizing chains of terms term bound by the operator op. The operator is considered right associative.

Utils

Sourceval do_parse : 'a parser -> string -> ('a, error) result

Run a parser against a string

Sourceval (-->) : string -> 'a parser -> 'a state

Feed a parser with a string (from left to right) This is verry different from do_parse ! No verifications are made on the remaining chars.

Sourceval (<--) : 'a parser -> string -> 'a state

Feed a parser with a string (from right to left) p <-- input is input --> p. This function is just for convenience.

Sourceval do_parse_from_file : 'a parser -> string -> ('a, error) result

Run a parser against a file

package nacc

Module Libnacc.ParsingSource