diff options
| author |  Adam Chlipala <adam@chlipala.net> | 2012-07-21 13:55:35 -0400 |
|---|---|---|
| committer | Adam Chlipala <adam@chlipala.net> | 2012-07-21 13:55:35 -0400 |
| commit | 17e8230265e8fb22d583c4ba33d4243f24d6b8bc (patch) | |
| tree | dd773f933c8b843112da1e81715f42c40cab8d8f /lib/ur | |
| parent | a8e63939847f6fb02b2dc030adca09e554adb89f (diff) | |
<active>
Diffstat (limited to 'lib/ur')
| -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 7f254a2f..8ac94668 100644 --- a/lib/ur/basis.urs +++ b/lib/ur/basis.urs @@ -767,6 +767,9 @@ val giveFocus : id -> transaction unit val dyn : ctx ::: {Unit} -> use ::: {Type} -> bind ::: {Type} -> [ctx ~ [Dyn]] => unit -> tag [Signal = signal (xml ([Dyn] ++ ctx) use bind)] ([Dyn] ++ ctx) [] use bind +val active : unit + -> tag [Code = transaction xbody] body [] [] [] + 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 [] [] [] |