Module Pa_tyxml

module Pa_tyxml : sig..end

Syntax extension for HTML5 or SVG tree creation.

To choose actual XML-implementation you have to provide a module named Html5 (or Svg):

For example, the following code:

let module Html5 = Html5.M in
  << <html>
   </html> >>

is a caml value of type Html5_types.html Html5.elt.

In the following, Html5 is assumed to be an HTML5 implementation, such as Html5.M, but this could for example also be Eliom's Eliom_content.Html5.F.

To compile a module containing this syntax, you need the camlp4 preprocessor:

ocamlfind ocamlc -package tyxml.syntax -syntax camlp4o -c


ocamlc -pp "camlp4o -I <path/to/tyxml> pa_tyxml.cmo" -c

You can insert OCaml expressions of type 'a Html5.M.elt inside html using $...$, like this:

let oc = << <em>Ocsigen</em> >> in
<< <p>$oc$ will revolutionize web programming.</p> >>

You can insert OCaml expressions of type string inside html using $str:... $, like this:

let i = 4 in
<< <p>i is equal to $str:string_of_int i$</p> >>

If you want to use a dollar in your page, just write it twice.

You can write a list of html5 expressions using the syntax <:html5list<...>>, for example:

<:html5list< <p>hello</p> <div></div> >>

Here are some other examples showing what you can do:

<< <ul class=$ulclass$ $list:other_attrs$>
   </ul> >>

Warning: lists antiquotations are allowed only at the end (before a closing tag). For example, the following is not valid:

<< <ul $list:other_attrs$ class=$ulclass$>
   </ul> >>

The syntax extension is not allowed in patterns for the while.

Additionnaly, you may use svg or svglist.