Functor Html5_f.MakeWrapped
module MakeWrapped (W : Xml_wrap.T)
(Xml :
Xml_sigs.Wrapped with type 'a wrap = 'a W.t
and type 'a list_wrap = 'a W.tlist)
(Svg :
Svg_sigs.T with module Xml := Xml
and type 'a list_wrap = 'a Xml.list_wrap) :
Html5_sigs.MakeWrapped(W)(Xml)(Svg).T
with type +'a elt = Xml.elt
and type +'a attrib = Xml.attrib
Like the Html5_f.Make functor, but allows to wrap elements inside a monad described by Xml_wrap.T. See the functorial interface documentation for more details.
Parameters :
W | : | Xml_wrap.T |
Xml | : | Xml_sigs.Wrapped with type 'a wrap = 'a W.t and type 'a list_wrap = 'a W.tlist |
Svg | : | Svg_sigs.T with module Xml := Xml and type 'a list_wrap = 'a Xml.list_wrap |