Mercurial > urweb

comparison lib/basis.urs @ 568:55fc747a67dc

Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
Initial <dyn> support
author Adam Chlipala <adamc@hcoop.net>
date Sat, 20 Dec 2008 15:46:48 -0500
parents a152905c3c3b
children 9f02f1765149
comparison
equal deleted inserted replaced
567:1901db85acb4 568:55fc747a67dc
374 con body = [Body] 374 con body = [Body]
375 con form = [Body, Form] 375 con form = [Body, Form]
376 con tabl = [Body, Table] 376 con tabl = [Body, Table]
377 con tr = [Body, Tr] 377 con tr = [Body, Tr]
378 378
379 val dyn : ctx ::: {Unit} -> use ::: {Type} -> bind ::: {Type} -> unit
380 -> tag [Signal = signal (xml ctx use bind)] ctx [] use bind
381
379 val head : unit -> tag [] html head [] [] 382 val head : unit -> tag [] html head [] []
380 val title : unit -> tag [] head [] [] [] 383 val title : unit -> tag [] head [] [] []
381 384
382 val body : unit -> tag [] html body [] [] 385 val body : unit -> tag [] html body [] []
383 con bodyTag = fn (attrs :: {Type}) => 386 con bodyTag = fn (attrs :: {Type}) =>
431 434
432 con select = [Select] 435 con select = [Select]
433 val select : formTag string select [] 436 val select : formTag string select []
434 val option : unit -> tag [Value = string, Selected = bool] select [] [] [] 437 val option : unit -> tag [Value = string, Selected = bool] select [] [] []
435 438
436 val submit : ctx ::: {Unit} -> use ::: {Type} 439 val submit : ctx ::: {Unit} -> use ::: {Type}
437 -> fn [[Form] ~ ctx] => 440 -> fn [[Form] ~ ctx] =>
438 unit 441 unit
439 -> tag [Value = string, Action = $use -> transaction page] 442 -> tag [Value = string, Action = $use -> transaction page]
440 ([Form] ++ ctx) ([Form] ++ ctx) use [] 443 ([Form] ++ ctx) ([Form] ++ ctx) use []
441 444