package SZXX

  1. Overview
  2. Docs
Streaming ZIP XML XLSX parser

Install 

dune-project
 Dependency

github.com Readme Edit opam file Versions (20)

Authors

  1. S
    Simon Grondin

Maintainers

  1. A
    Asemio

Sources

4.1.0.tar.gz
md5=6ac602e40f480e5b1eb51589494e0888
sha512=4ff1d6107552028bc23e7c11a7478f53b5e12299ac020df2ee1c1a7c464b9221a0a745439f6e00b9505c0d515ce1c17454ddd9b40ef9dc4ef40612a403b4a196

doc/SZXX/SZXX/Xml/index.html

Module SZXX.XmlSource

Sourcemodule DOM : sig ... end

Basic XML types and accessor functions

Sourcemodule SAX : sig ... end

Advanced parsing utilities: custom parser options and tools to stream huge documents

Sourcetype document = {
  1. decl_attrs : DOM.attr_list;
    (*

    The declaration attributes, e.g. version and encoding

    *)
  2. top : DOM.element;
    (*

    The top element of the document

    *)
}
Sourceval sexp_of_document : document -> Sexplib0.Sexp.t
Sourceval compare_document : document -> document -> Base.int
Sourceval equal_document : document -> document -> Base.bool
Sourceval parse_document : ?parser:SAX.node Angstrom.t -> ?strict:Base.bool -> Feed.t -> (document, Base.string) Base.Result.t

Progressively parse a fully formed, fully escaped XML document. It begins parsing without having to read the whole input in its entirety.

parser: Override the default parser. Make your own parser with SZXX.Xml.SAX.make_parser or pass SZXX.Xml.html_parser.

strict: Default: true. When false, non-closed elements are treated as self-closing elements, HTML-style. For example a <br> without a matching </br> will be treated as a self-closing <br />.

feed: A producer of raw input data. Create a feed by using the SZXX.Feed module.

Sourceval parse_document_from_string : ?parser:SAX.node Angstrom.t -> ?strict:Base.bool -> Base.string -> (document, Base.string) Base.Result.t

Same as parse_document, but from a string

Sourceval html_parser : SAX.node Angstrom.t
Sourceval stream_matching_elements : ?parser:SAX.node Angstrom.t -> ?strict:Base.bool -> filter_path:Base.string Base.list -> on_match:(DOM.element -> Base.unit) -> Feed.t -> (document, Base.string) Base.Result.t

Progressively assemble an XML DOM, but every element that matches filter_path is passed to on_match instead of being added to the DOM. This "shallow DOM" is then returned. All text nodes are properly unescaped. It begins parsing without having to read the whole input in its entirety.

parser: Override the default parser. Make your own parser with SZXX.Xml.SAX.make_parser or pass SZXX.Xml.html_parser.

strict: Default: true. When false, non-closed elements are treated as self-closing elements, HTML-style. For example a <br> without a matching </br> will be treated as a self-closing <br />.

feed: A producer of raw input data. Create a feed by using the SZXX.Feed module.

filter_path: indicates which part of the DOM should be streamed out instead of being stored in the DOM. For example ["html"; "body"; "div"; "div"; "p"] will emit all the <p> tags nested inside exactly 2 levels of <div> tags in an HTML document.

on_match: Called on every element that matched filter_path