summaryrefslogtreecommitdiff
path: root/lib/ur
diff options
context:
space:
mode:
authorGravatar Adam Chlipala <adamc@hcoop.net>2009-04-16 12:00:44 -0400
committerGravatar Adam Chlipala <adamc@hcoop.net>2009-04-16 12:00:44 -0400
commit7a0e04de1fd3d0e72deb4c78367a6894ef6e4396 (patch)
treeceb56cba54a598fb80b02bc10a82b394c3aa3a06 /lib/ur
parent363b43b25df5ab03b7954a421a00303668eea7eb (diff)
<link>
Diffstat (limited to 'lib/ur')
-rw-r--r--lib/ur/basis.urs6
1 files changed, 4 insertions, 2 deletions
diff --git a/lib/ur/basis.urs b/lib/ur/basis.urs
index 50146dde..cfb80850 100644
--- a/lib/ur/basis.urs
+++ b/lib/ur/basis.urs
@@ -452,11 +452,15 @@ con form = [Body, Form]
con tabl = [Body, Table]
con tr = [Body, Tr]
+type url
+val bless : string -> url
+
val dyn : use ::: {Type} -> bind ::: {Type} -> unit
-> tag [Signal = signal (xml body use bind)] body [] use bind
val head : unit -> tag [] html head [] []
val title : unit -> tag [] head [] [] []
+val link : unit -> tag [Rel = string, Typ = string, Href = url, Media = string] head [] [] []
val body : unit -> tag [Onload = transaction unit] html body [] []
con bodyTag = fn (attrs :: {Type}) =>
@@ -489,8 +493,6 @@ val ul : bodyTag []
val hr : bodyTag []
-type url
-val bless : string -> url
val a : bodyTag [Link = transaction page, Href = url, Onclick = transaction unit]
val img : bodyTag [Src = url]