Mercurial > urweb
comparison lib/basis.urs @ 568:55fc747a67dc
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 |