blob: 334c7f20cbb3e6c98a60219ed480d5bfc1f75db9 (
plain)
1
2
3
4
5
6
7
8
9
10
11
12
13
|
Markup.ml is a pair of best-effort parsers implementing the HTML5 and XML
specifications.
In addition to being error-correcting, the parsers are:
* streaming: capable of parsing partial input and emitting signals while more
input is still being received;
* lazy: not parsing input unless you have requested the next parsing signal,
so you can easily stop parsing partway through a document;
* non-blocking: they can be used with Lwt, but still provide a straightforward
synchronous interface for simple usage; and
* one-pass: memory consumption is limited since the parsers don't build up a
document representation, nor buffer input beyond a small amount of
lookahead.
|
