|
Last change
on this file since 130 was
130,
checked in by mulligan, 11 years ago
|
|
Commit again? Not sure what happened. All Parser files were already
under SVN control.
|
|
File size:
649 bytes
|
| Line | |
|---|
| 1 | type 'a parser = char list -> ('a * char list) list |
|---|
| 2 | |
|---|
| 3 | val return: 'a -> 'a parser |
|---|
| 4 | val (>>=): 'a parser -> ('a -> 'b parser) -> 'b parser |
|---|
| 5 | val prs_zero: 'a parser |
|---|
| 6 | val prs_predicate: (char -> bool) -> char parser;; |
|---|
| 7 | val prs_many1: 'a parser -> ('a list) parser;; |
|---|
| 8 | val prs_many: 'a parser -> ('a list) parser;; |
|---|
| 9 | val prs_exact: int -> 'a parser -> ('a list) parser;; |
|---|
| 10 | val prs_sep_by: 'a parser -> 'b parser -> ('a list) parser;; |
|---|
| 11 | val prs_sep_by1: 'a parser -> 'b parser -> ('a list) parser;; |
|---|
| 12 | val (++): 'a parser -> 'a parser -> 'a parser;; |
|---|
| 13 | val (+++): 'a parser -> 'a parser -> 'a parser;; |
|---|
| 14 | |
|---|
| 15 | val prs_char: char -> char parser;; |
|---|
| 16 | val prs_hex_digit: char parser;; |
|---|
Note: See
TracBrowser
for help on using the repository browser.
