source: Deliverables/D2.2/8051/src/ASM/Parser.mli @ 486

Last change on this file since 486 was 486, checked in by ayache, 9 years ago

Deliverable D2.2

File size: 716 bytes
Line 
1val chars_of_string: string -> char list
2
3type 'a parser = char list -> ('a * char list) list
4
5val return: 'a -> 'a parser
6val (>>=): 'a parser -> ('a -> 'b parser) -> 'b parser
7val prs_zero: 'a parser
8val prs_eof: unit parser
9val prs_predicate: (char -> bool) -> char parser;;
10val prs_many1: 'a parser -> ('a list) parser;;
11val prs_many: 'a parser -> ('a list) parser;;
12val prs_exact: int  -> 'a parser -> ('a list) parser;;
13val prs_sep_by: 'a parser -> 'b parser -> ('a list) parser;;
14val prs_sep_by1: 'a parser -> 'b parser -> ('a list) parser;;
15val (++): 'a parser -> 'a parser -> 'a parser;;
16val (+++): 'a parser -> 'a parser -> 'a parser;;
17
18val prs_char: char -> char parser;;
19val prs_hex_digit: char parser;;
Note: See TracBrowser for help on using the repository browser.