Mercurial > urweb

comparison lib/ur/basis.urs @ 691:cc58941da3e2

Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
Checking spans in dyns
author Adam Chlipala <adamc@hcoop.net>
date Sat, 04 Apr 2009 11:46:24 -0400
parents 9a2c18dab11d
children 7ea0df9e56b6
comparison
equal deleted inserted replaced
690:01b6f2ee2ef0 691:cc58941da3e2
373 con body = [Body] 373 con body = [Body]
374 con form = [Body, Form] 374 con form = [Body, Form]
375 con tabl = [Body, Table] 375 con tabl = [Body, Table]
376 con tr = [Body, Tr] 376 con tr = [Body, Tr]
377 377
378 val dyn : ctx ::: {Unit} -> use ::: {Type} -> bind ::: {Type} -> unit 378 val dyn : use ::: {Type} -> bind ::: {Type} -> unit
379 -> tag [Signal = signal (xml ctx use bind)] ctx [] use bind 379 -> tag [Signal = signal (xml body use bind)] body [] use bind
380 380
381 val head : unit -> tag [] html head [] [] 381 val head : unit -> tag [] html head [] []
382 val title : unit -> tag [] head [] [] [] 382 val title : unit -> tag [] head [] [] []
383 383
384 val body : unit -> tag [Onload = transaction unit] html body [] [] 384 val body : unit -> tag [Onload = transaction unit] html body [] []
390 ctx ::: {Unit} 390 ctx ::: {Unit}
391 -> [[Body] ~ ctx] => 391 -> [[Body] ~ ctx] =>
392 unit -> tag attrs ([Body] ++ ctx) [] [] [] 392 unit -> tag attrs ([Body] ++ ctx) [] [] []
393 393
394 val br : bodyTagStandalone [] 394 val br : bodyTagStandalone []
395
396 val span : bodyTag []
395 397
396 val p : bodyTag [] 398 val p : bodyTag []
397 val b : bodyTag [] 399 val b : bodyTag []
398 val i : bodyTag [] 400 val i : bodyTag []
399 val tt : bodyTag [] 401 val tt : bodyTag []