Module Pa_tyxml

module Pa_tyxml : sig..end

Syntax extension for HTML5, XHTML or SVG tree creation.

For example, the following code:

<< <html>
     <head><title></title></head>
     <body><h1>plop</h1></body>
   </html> >>

is a caml value of type HTML5_types.html HTML5.M.elt.

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

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

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

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$>
     $first_il$
     $list:items$
   </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$>
     $list:items$
     $last_il$
   </ul> >>

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

Additionnaly, you may use xhtml, xhtmllist, svg or svglist.