diff options
| author |  Adam Chlipala <adamc@hcoop.net> | 2009-04-16 12:00:44 -0400 |
|---|---|---|
| committer | Adam Chlipala <adamc@hcoop.net> | 2009-04-16 12:00:44 -0400 |
| commit | 7a0e04de1fd3d0e72deb4c78367a6894ef6e4396 (patch) | |
| tree | ceb56cba54a598fb80b02bc10a82b394c3aa3a06 /lib/ur | |
| parent | 363b43b25df5ab03b7954a421a00303668eea7eb (diff) | |
<link>
Diffstat (limited to 'lib/ur')
| -rw-r--r-- | lib/ur/basis.urs | 6 |
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] |