HTML combinators.
Combinators for constructing HTML elements. The library does not enforce that the generated HTML conforms to the definition of any HTML standard. It does, however, ensure that elements are wellformed.structure Html : HTML
signature HTML =
sig
type t (* elements *)
type attrs = (string * string) list (* attributes *)
(* General operations *)
val & : t * t -> t
val $ : string -> t
val seq : t list -> t
val toString : t -> string
val comment : t -> t
(* HTML documents and headers *)
val html : t -> t
val head : t -> t
val title : t -> t
val body : t -> t
val bodya : attrs -> t -> t
(* HTML headings and vertical format *)
val h1 : t -> t
val h2 : t -> t
val h3 : t -> t
val h4 : t -> t
val h5 : t -> t
val h6 : t -> t
val h1a : attrs -> t -> t
val h2a : attrs -> t -> t
val h3a : attrs -> t -> t
val h4a : attrs -> t -> t
val h5a : attrs -> t -> t
val h6a : attrs -> t -> t
val p : t -> t
val pa : attrs -> t -> t
val br : t
val bra : attrs -> t
val hr : t
val hra : attrs -> t
val divi : t -> t
val divia : attrs -> t -> t
val span : attrs -> t -> t
val blockquote : t -> t
val blockquotea : attrs -> t -> t
val center : t -> t
val address : t -> t
val pre : t -> t
(* HTML anchors and hyperlinks *)
val ahref : string -> t -> t
val ahrefa : attrs -> string -> t -> t
val aname : string -> t -> t
(* HTML text formats and style *)
val em : t -> t
val strong : t -> t
val tt : t -> t
val sub : t -> t
val sup : t -> t
(* HTML lists *)
val ul : t -> t
val ula : attrs -> t -> t
val ol : t -> t
val ola : attrs -> t -> t
val li : t -> t
val dl : t -> t
val dla : attrs -> t -> t
val dt : t -> t
val dd : t -> t
(* HTML tables *)
val table : t -> t
val tablea : attrs -> t -> t
val tr : t -> t
val tra : attrs -> t -> t
val td : t -> t
val tda : attrs -> t -> t
val th : t -> t
val tha : attrs -> t -> t
val caption : t -> t
val captiona : attrs -> t -> t
(* HTML images and image maps *)
val img : string -> t
val imga : attrs -> string -> t
(* HTML forms etc *)
val form : string -> t -> t
val forma : attrs -> string -> t -> t
val input : string -> t
val inputa : string -> attrs -> t
val intext : string -> attrs -> t
val inpassword : string -> attrs -> t
val incheckbox : {name : string, value : string} -> attrs -> t
val inradio : {name : string, value : string} -> attrs -> t
val inreset : string -> attrs -> t
val insubmit : string -> attrs -> t
val inhidden : {name : string, value : string} -> t
val textarea : string -> t -> t
val textareaa : string -> attrs -> t -> t
val select : string -> attrs -> t -> t
val option : string -> t
(* HTML encoding *)
val urlencode : string -> string
val htmlencode : string -> string
endinfix &