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

Module Xhtml

module Xhtml : sig..end

Typesafe constructors and printers for XHTML 1.0 and 1.1 documents See also W3C Recommendation


Current version

module M : 
  Xhtml_sigs.Twith type Xml.uri = Xml.uri
and type Xml.event_handler = Xml.event_handler
and type Xml.attrib = Xml.attrib
and type Xml.elt = Xml.elt

Concrete implementation of XHTML typesafe constructors

module P : 
  Xml_sigs.Typed_simple_printerwith type 'a elt := 'a M.elt
and type doc := M.doc

Simple printer for XHTML documents (HTML compatible printer)

module Make_printer : functor (O : Xml_sigs.Output) -> 
  
  Xml_sigs.Typed_printerwith type out := O.out
and type 'a elt := 'a M.elt
and type doc := M.doc

Parametrized stream printer for XHTML documents (HTML compatible printer)

XHTML 1.1

module M_01_01 : 
  Xhtml_sigs.T_01_01with type Xml.uri = Xml.uri
and type Xml.event_handler = Xml.event_handler
and type Xml.attrib = Xml.attrib
and type Xml.elt = Xml.elt

Concrete implementation of XHTML 1.1 typesafe constructors

module P_01_01 : 
  Xml_sigs.Typed_simple_printerwith type 'a elt := 'a M_01_01.elt
and type doc := M_01_01.doc

Simple printer for XHTML 1.1 documents (HTML compatible printer)

module Make_printer_01_01 : functor (O : Xml_sigs.Output) -> 
  
  Xml_sigs.Typed_printerwith type out := O.out
and type 'a elt := 'a M_01_01.elt
and type doc := M_01_01.doc

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

XHTML 1.0

module M_01_00 : 
  Xhtml_sigs.T_01_00with type Xml.uri = Xml.uri
and type Xml.event_handler = Xml.event_handler
and type Xml.attrib = Xml.attrib
and type Xml.elt = Xml.elt

Concrete implementation of XHTML 1.0 typesafe constructors

module P_01_00 : 
  Xml_sigs.Typed_simple_printerwith type 'a elt := 'a M_01_00.elt
and type doc := M_01_00.doc

Simple printer for XHTML 1.0 documents (HTML compatible printer)

module Make_printer_01_00 : functor (O : Xml_sigs.Output) -> 
  
  Xml_sigs.Typed_printerwith type out := O.out
and type 'a elt := 'a M_01_00.elt
and type doc := M_01_00.doc

Parametrized stream printer for XHTML 1.0 documents