Warning: Reason support is experimental. We are looking for beta-tester and contributors.

Index of modules


B
BASE [XHTML_types]
Basic_Forms [XHTML_sigs.T_01_01]
Basic_Tables [XHTML_sigs.T_01_01]

F
FORMS [XHTML_types]

H
HTML5

Typesafe constructors and printers for HTML5 documents.

HTML5_f

Typesafe constructors for HTML5 documents (Functorial interface)

HTML5_sigs

Common Attributes

HTML5_types

HTML5 types with variants.

HYPERTEXT [XHTML_types]

I
Info [XML_sigs_duce.TypedXML]
Info [HTML5_sigs.T]
Info [SVG_sigs.T]
Info [XHTML_sigs.T_01_01]
Info [XML_sigs.IterableTypedXML]
Info [XML_sigs.TypedXML]

L
LINK [XHTML_types]
LIST [XHTML_types]

M
M [XHTML_duce]
M [HTML5]

Concrete implementation of HTML5 typesafe constructors

M [SVG]

Concrete implementation of SVG typesafe constructors

M [XHTML]

Concrete implementation of XHTML typesafe constructors

M_01_00 [XHTML]

Concrete implementation of XHTML 1.0 typesafe constructors

M_01_01 [XHTML]

Concrete implementation of XHTML 1.1 typesafe constructors

Make [XML_print_duce]
Make [HTML5_f]
Make [SVG_f]
Make [XHTML_f]
Make [XML_iter]
Make [XML_print]
MakePrinter [HTML5]

Parametrized stream printer for HTML5 documents

MakePrinter [SVG]

Parametrized stream printer for SVG documents

MakePrinter [XHTML]

Parametrized stream printer for XHTML documents (HTML compatible printer)

MakePrinter_01_00 [XHTML]

Parametrized stream printer for XHTML 1.0 documents

MakePrinter_01_01 [XHTML]

Parametrized stream printer for XHTML 1.1 documents (HTML compatible printer)

MakeSimple [XML_print]
MakeTyped [XML_print_duce]
MakeTyped [XML_print]
MakeTypedSimple [XML_print]
Make_01_00 [XHTML_f]
Make_01_01 [XHTML_f]

P
P [XHTML_duce]
P [HTML5]

Simple printer for HTML5 documents

P [SVG]

Simple printer for SVG documents

P [XHTML]

Simple printer for XHTML documents (HTML compatible printer)

PRESENTATION [XHTML_types]
P_01_00 [XHTML_duce]
P_01_00 [XHTML]

Simple printer for XHTML 1.0 documents (HTML compatible printer)

P_01_01 [XHTML]

Simple printer for XHTML 1.1 documents (HTML compatible printer)

Pa_tyxml

Syntax extension for HTML5, XHTML or SVG tree creation.


R
RUBY [XHTML_types]

S
SPECIAL [XHTML_types]
STYLE_SHEET [XHTML_types]
SVG

Typesafe constructors and printers for SVG documents.

SVG [HTML5_sigs.T]
SVG_f

Typesafe constructors for SVG documents (Functorial interface)

SVG_sigs

Abstraction over XML's types

SVG_types

SVG types with variants.

Simplexmlparser

Basic camlp4 parser for xml


T
TABLES [XHTML_types]
TEXT [XHTML_types]
TypedXML [XML_sigs_duce.TypedPrinter]

U
Unit [SVG_types]

SVG defines several units to measure time, length, angles.


X
XHTML

Typesafe constructors and printers for XHTML 1.0 and 1.1 documents

XHTML_duce

OCamlduce printers for XHTML 1.0 and 1.1 documents.

XHTML_f

Typesafe constructors for XHTML documents (Functorial interface)

XHTML_sigs

The elements, attributes, attribute types and data types are given names that match the names in the W3C recommendation as closely as allowed by a strict typing discipline and the lexical conventions of O'Caml: elements are implemented as O'Caml constructors with the same name as in the W3C recommendation. The domain and codomain are specified as 'a elt, where 'a is a concrete phantom type build out of polymorphic variants., attributes are implemented as O'Caml constructors with a_ prefixed to the name. The name is the same as in the W3C recommendation, unless an additional prefix is required to disambiguate: a_fs_rows and a_fs_cols instead of a_rows and a_cols for framesets, because of the different argument types., attribute types are implemented as O'Caml types that all have the same names as in the W3C recommendation, but are all lowercase., data types are also implemented as O'Caml types that all have the same names as in the W3C recommendation and are again all lowercase.

XHTML_types

XHTML types with variants.

XHTML_types_duce

This interface corresponds to the XHTML 1.0 Strict DTD, for Ocamlduce.

XML [HTML5_sigs.T]
XML [SVG_sigs.T]
XML [XHTML_sigs.T_01_01]
XML

Basic functions for construction and manipulation of XML tree.

XML [XML_sigs.IterableTypedXML]
XML [XML_sigs.TypedXML]
XML_iter

Basic iterators over XML tree (functorial interface).

XML_print

Printer for XML.

XML_print_duce

Printer for XHTML with Ocamlduce that handles browser specificities properly.

XML_sigs
XML_sigs_duce