this repo has no description
anil.recoil.org
1opam-version: "2.0"
2maintainer: "Anton Bachin <antonbachin@yahoo.com>"
3authors: "Anton Bachin <antonbachin@yahoo.com>"
4homepage: "https://github.com/aantron/markup.ml"
5doc: "http://aantron.github.io/markup.ml"
6bug-reports: "https://github.com/aantron/markup.ml/issues"
7dev-repo: "git+https://github.com/aantron/markup.ml.git"
8license: "BSD-3-Clause"
9depends: [
10 "ocaml" {< "4.12"}
11 "uutf" {>= "1.0.0"}
12 "ocamlfind" {build}
13 "ocamlbuild" {build}
14 "ounit" {with-test}
15]
16depopts: ["lwt"]
17conflicts: [
18 "lwt" {>= "4.0.0"}
19]
20build: [
21 [make "build"]
22 [make "test"] {with-test}
23 [make "docs"] {with-doc}
24]
25install: [make "ocamlfind-install"]
26remove: ["ocamlfind" "remove" "markup"]
27synopsis: "Error-recovering functional HTML5 and XML parsers and writers"
28description: """
29Markup.ml provides an HTML parser and an XML parser. The parsers are wrapped in
30a simple interface: they are functions that transform byte streams to parsing
31signal streams. Streams can be manipulated in various ways, such as processing
32by fold, filter, and map, assembly into DOM tree structures, or serialization
33back to HTML or XML.
34
35Both parsers are based on their respective standards. The HTML parser, in
36particular, is based on the state machines defined in HTML5.
37
38The parsers are error-recovering by default, and accept fragments. This makes it
39very easy to get a best-effort parse of some input. The parsers can, however, be
40easily configured to be strict, and to accept only full documents.
41
42Apart from this, the parsers are streaming (do not build up a document in
43memory), non-blocking (can be used with threading libraries), lazy (do not
44consume input unless the signal stream is being read), and process the input in
45a single pass. They automatically detect the character encoding of the input
46stream, and convert everything to UTF-8."""
47flags: light-uninstall
48url {
49 src: "https://github.com/aantron/markup.ml/archive/0.7.4.tar.gz"
50 checksum: [
51 "sha256=2d006e1cec3b46ef403051d88ba786d95c74b162f2e6d48e2d81ee17f2be357b"
52 "md5=70dc87d6380b7ed1e9727677a739678e"
53 ]
54}