package tyxml
-
tyxml.functor
Legend:
Library
Module
Module type
Parameter
Class
Class type
Library
Module
Module type
Parameter
Class
Class type
package tyxml
Legend:
Library
Module
Module type
Parameter
Class
Class type
Library
Module
Module type
Parameter
Class
Class type
Typesafe constructors for SVG documents (Functorial interface)
This module is experimental, it may lack of some attributes, and the interface is very low level and do not take deeply into account the needs of SVG elements.
See <<a_manual chapter="functors"|the manual of the functorial interface>>.
module Make
(Xml : Xml_sigs.T with type ('a, 'b) W.ft = 'a -> 'b) :
Svg_sigs.Make(Xml).T
with type +'a elt = Xml.elt
and type +'a attrib = Xml.attribCreate a new implementation of Svg, using the given underlying Xml implementation. Will output a module of type Svg_sigs.T with the various type equalities.
module Wrapped_functions
(Xml : Xml_sigs.T with type ('a, 'b) W.ft = 'a -> 'b) :
Svg_sigs.Wrapped_functions with module Xml = XmlThe standard set of wrapped functions, when W.ft is the regular function.
module Make_with_wrapped_functions
(Xml : Xml_sigs.T)
(C : Svg_sigs.Wrapped_functions with module Xml = Xml) :
Svg_sigs.Make(Xml).T
with type +'a elt = Xml.elt
and type +'a attrib = Xml.attribSimilar to Make but with a custom set of wrapped functions.