package tyxml

You can search for identifiers within the package.

in-package search v0.2.0

TyXML is a library for building statically correct HTML5 and SVG documents

Install

Dune Dependency

ocsigen.org Readme Edit opam file Versions (6)

Authors

T

The ocsigen team

Maintainers

D

dev@ocsigen.org

Sources

4.2.0.tar.gz

sha256=cda9dda443d479fadd1f4b8f882aef2a78c6e7ca7cbc95d886dfc5743f86ff9a

md5=c802f3c7036adcea3fc00398c23d1b2b

doc/tyxml.functor/Html_f/index.html

Module `Html_f`

Typesafe constructors for HTML documents (Functorial interface)

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 : 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
  (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
  (Xml : Xml_sigs.T)
  (C : Html_sigs.Wrapped_functions with module Xml = Xml)
  (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.