Module Html_f

Typesafe constructors for HTML documents (Functorial interface)

See <<a_manual chapter="functors"|the manual of the functorial interface>>.

module Make : functor (Xml : Xml_sigs.T with type ('a, 'b) W.ft = 'a -> 'b) -> functor (Svg : Svg_sigs.T with module Xml := Xml) -> Html_sigs.Make(Xml)(Svg).T with type +'a elt = Xml.elt and type +'a attrib = Xml.attrib

Create a new implementation of HTML, using the given underlying Xml and Svg implementation. Will output a module of type Html_sigs.T with the various type equalities.

module Wrapped_functions : functor (Xml : Xml_sigs.T with type ('a, 'b) W.ft = 'a -> 'b) -> Html_sigs.Wrapped_functions with module Xml = Xml

The standard set of wrapped functions, when W.ft is the regular function.

module Make_with_wrapped_functions : functor (Xml : Xml_sigs.T) -> functor (C : Html_sigs.Wrapped_functions with module Xml = Xml) -> functor (Svg : Svg_sigs.T with module Xml := Xml) -> Html_sigs.Make(Xml)(Svg).T with type +'a elt = Xml.elt and type +'a attrib = Xml.attrib

Similar to Make but with a custom set of wrapped functions.