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
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: |
|