diff options
author | 2013-12-06 13:59:39 +0400 | |
---|---|---|
committer | 2013-12-06 13:59:39 +0400 | |
commit | 661efa4149bbb0aebf3e74e2707976b8b6ca80bb (patch) | |
tree | 0327311311073a9c0a5c7b6e5fd835d66c6f61a1 /lib/ur/basis.urs | |
parent | 433e33875836ed5d1277a05a1c2a4ed035e89929 (diff) |
Add activeHead tag.
activeHead is similar to active but produces xhead instead of xbody
Diffstat (limited to 'lib/ur/basis.urs')
-rw-r--r-- | lib/ur/basis.urs | 3 |
1 files changed, 3 insertions, 0 deletions
diff --git a/lib/ur/basis.urs b/lib/ur/basis.urs index 4931c97a..7637f8fa 100644 --- a/lib/ur/basis.urs +++ b/lib/ur/basis.urs @@ -782,6 +782,9 @@ val dyn : ctx ::: {Unit} -> use ::: {Type} -> bind ::: {Type} -> [ctx ~ [Dyn]] = val active : unit -> tag [Code = transaction xbody] body [] [] [] +val activeHead : unit + -> tag [Code = transaction xhead] head [] [] [] + val head : unit -> tag [] html head [] [] val title : unit -> tag [] head [] [] [] val link : unit -> tag [Id = id, Rel = string, Typ = string, Href = url, Media = string] head [] [] [] |