diff options
| author |  Benjamin Barenblat <bbaren@mit.edu> | 2016-05-30 17:33:12 -0400 |
|---|---|---|
| committer | Benjamin Barenblat <bbaren@mit.edu> | 2016-05-30 17:33:12 -0400 |
| commit | a3e471e933945dcfb54873cb20c691a193b55671 (patch) | |
| tree | 70ba7ffe26a589f0b97aec7016c171261c54c9e2 /lib/ur/basis.urs | |
| parent | 5ca6148aaf7b930a8868d0543f1a307d40532243 (diff) | |
| parent | 359c1ca68f97181dada92e28440c7336fc88fff5 (diff) | |
Merge branch 'upstream' into dfsg_clean20160515+dfsg
Diffstat (limited to 'lib/ur/basis.urs')
| -rw-r--r-- | lib/ur/basis.urs | 7 |
1 files changed, 6 insertions, 1 deletions
diff --git a/lib/ur/basis.urs b/lib/ur/basis.urs index a4872c32..883cc5b1 100644 --- a/lib/ur/basis.urs +++ b/lib/ur/basis.urs @@ -208,6 +208,10 @@ val blessEnvVar : string -> envVar val checkEnvVar : string -> option envVar val getenv : envVar -> transaction (option string) +type meta +val blessMeta : string -> meta +val checkMeta : string -> option meta + (** JavaScript-y gadgets *) @@ -813,7 +817,8 @@ val data_attrs : data_attr -> data_attr -> data_attr val head : unit -> tag [Data = data_attr] html head [] [] val title : unit -> tag [Data = data_attr] head [] [] [] -val link : unit -> tag [Data = data_attr, Id = id, Rel = string, Typ = string, Href = url, Media = string] head [] [] [] +val link : unit -> tag [Data = data_attr, Id = id, Rel = string, Typ = string, Href = url, Media = string, Integrity = string, Crossorigin = string] head [] [] [] +val meta : unit -> tag [Nam = meta, Content = string, Id = id] head [] [] [] datatype mouseButton = Left | Right | Middle |