summaryrefslogtreecommitdiff
path: root/lib/ur/basis.urs
diff options
context:
space:
mode:
Diffstat (limited to 'lib/ur/basis.urs')
-rw-r--r--lib/ur/basis.urs6
1 files changed, 5 insertions, 1 deletions
diff --git a/lib/ur/basis.urs b/lib/ur/basis.urs
index f652165d..f2f378ee 100644
--- a/lib/ur/basis.urs
+++ b/lib/ur/basis.urs
@@ -486,7 +486,11 @@ val ul : bodyTag []
val hr : bodyTag []
-val a : bodyTag [Link = transaction page, Onclick = transaction unit]
+type url
+val bless : string -> url
+val a : bodyTag [Link = transaction page, Href = url, Onclick = transaction unit]
+
+val img : bodyTag [Src = url]
val form : ctx ::: {Unit} -> bind ::: {Type}
-> [[Body] ~ ctx] =>