Mercurial > urweb

comparison lib/ur/basis.urs @ 2047:6be31671911b

Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
'aria-*' attributes
author Adam Chlipala <adam@chlipala.net>
date Fri, 01 Aug 2014 11:43:44 -0400
parents dfa35ca83d92
children 7c2229aa22fc
comparison
equal deleted inserted replaced
2046:ced78ef1c82f 2047:6be31671911b
795 -> tag [Code = transaction xbody] body [] [] [] 795 -> tag [Code = transaction xbody] body [] [] []
796 796
797 val script : unit 797 val script : unit
798 -> tag [Code = transaction unit] head [] [] [] 798 -> tag [Code = transaction unit] head [] [] []
799 799
800 (* Type for HTML5 "data-*" attributes. *) 800 (* Type for HTML5 "data-*" and "aria-*" attributes. *)
801 type data_attr_kind
802 val data_kind : data_attr_kind
803 val aria_kind : data_attr_kind
804
801 type data_attr 805 type data_attr
802 val data_attr : string (* Key *) -> string (* Value *) -> data_attr 806 val data_attr : data_attr_kind -> string (* Key *) -> string (* Value *) -> data_attr
803 (* This function will fail if the key doesn't meet HTML's lexical rules! *) 807 (* This function will fail if the key doesn't meet HTML's lexical rules! *)
804 val data_attrs : data_attr -> data_attr -> data_attr 808 val data_attrs : data_attr -> data_attr -> data_attr
805 809
806 val head : unit -> tag [Data = data_attr] html head [] [] 810 val head : unit -> tag [Data = data_attr] html head [] []
807 val title : unit -> tag [Data = data_attr] head [] [] [] 811 val title : unit -> tag [Data = data_attr] head [] [] []