Mercurial > urweb

comparison lib/ur/basis.urs @ 724:12ec14a6be0b

Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
<link>
author Adam Chlipala <adamc@hcoop.net>
date Thu, 16 Apr 2009 12:00:44 -0400
parents 9864b64b1700
children 6fc633d990e7
comparison
equal deleted inserted replaced
723:311ca1ae715d 724:12ec14a6be0b
450 con body = [Body] 450 con body = [Body]
451 con form = [Body, Form] 451 con form = [Body, Form]
452 con tabl = [Body, Table] 452 con tabl = [Body, Table]
453 con tr = [Body, Tr] 453 con tr = [Body, Tr]
454 454
455 type url
456 val bless : string -> url
457
455 val dyn : use ::: {Type} -> bind ::: {Type} -> unit 458 val dyn : use ::: {Type} -> bind ::: {Type} -> unit
456 -> tag [Signal = signal (xml body use bind)] body [] use bind 459 -> tag [Signal = signal (xml body use bind)] body [] use bind
457 460
458 val head : unit -> tag [] html head [] [] 461 val head : unit -> tag [] html head [] []
459 val title : unit -> tag [] head [] [] [] 462 val title : unit -> tag [] head [] [] []
463 val link : unit -> tag [Rel = string, Typ = string, Href = url, Media = string] head [] [] []
460 464
461 val body : unit -> tag [Onload = transaction unit] html body [] [] 465 val body : unit -> tag [Onload = transaction unit] html body [] []
462 con bodyTag = fn (attrs :: {Type}) => 466 con bodyTag = fn (attrs :: {Type}) =>
463 ctx ::: {Unit} -> 467 ctx ::: {Unit} ->
464 [[Body] ~ ctx] => 468 [[Body] ~ ctx] =>
487 val ol : bodyTag [] 491 val ol : bodyTag []
488 val ul : bodyTag [] 492 val ul : bodyTag []
489 493
490 val hr : bodyTag [] 494 val hr : bodyTag []
491 495
492 type url
493 val bless : string -> url
494 val a : bodyTag [Link = transaction page, Href = url, Onclick = transaction unit] 496 val a : bodyTag [Link = transaction page, Href = url, Onclick = transaction unit]
495 497
496 val img : bodyTag [Src = url] 498 val img : bodyTag [Src = url]
497 499
498 val form : ctx ::: {Unit} -> bind ::: {Type} 500 val form : ctx ::: {Unit} -> bind ::: {Type}