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 module XML := XML

Concrete implementation of XHTML typesafe constructors

module P : 
  XML_sigs.TypedSimplePrinterwith type 'a elt := 'a M.elt
					 and type doc := M.doc

Simple printer for XHTML documents (HTML compatible printer)

module MakePrinter : functor (O : XML_sigs.Output) -> 
  
  XML_sigs.TypedPrinterwith 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 module XML := XML

Concrete implementation of XHTML 1.1 typesafe constructors

module P_01_01 : 
  XML_sigs.TypedSimplePrinterwith type 'a elt := 'a M_01_01.elt
                               and type doc := M_01_01.doc

Simple printer for XHTML 1.1 documents

module P_01_01_compat : 
  XML_sigs.TypedSimplePrinterwith 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 MakePrinter_01_01 : functor (O : XML_sigs.Output) -> 
  
  XML_sigs.TypedPrinterwith 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

module MakePrinter_01_01_compat : functor (O : XML_sigs.Output) -> 
  
  XML_sigs.TypedPrinterwith 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 module XML := XML

Concrete implementation of XHTML 1.0 typesafe constructors

module P_01_00 : 
  XML_sigs.TypedSimplePrinterwith type 'a elt := 'a M_01_00.elt
                               and type doc := M_01_00.doc

Simple printer for XHTML 1.0 documents

module P_01_00_compat : 
  XML_sigs.TypedSimplePrinterwith 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 MakePrinter_01_00 : functor (O : XML_sigs.Output) -> 
  
  XML_sigs.TypedPrinterwith 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

module MakePrinter_01_00_compat : functor (O : XML_sigs.Output) -> 
  
  XML_sigs.TypedPrinterwith 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 (HTML compatible printer)