Mercurial > urweb
comparison lib/ur/basis.urs @ 1065:217eb87dde31
Basis.url and redirects
| author | Adam Chlipala <adamc@hcoop.net> |
|---|---|
| date | Thu, 10 Dec 2009 13:32:09 -0500 |
| parents | e8a35d710ab9 |
| children | 740b85ef4352 |
comparison
equal
deleted
inserted
replaced
| 1064:b89e3d8731ed | 1065:217eb87dde31 |
|---|---|
| 558 con subform = [Body, Subform] | 558 con subform = [Body, Subform] |
| 559 con tabl = [Body, Table] | 559 con tabl = [Body, Table] |
| 560 con tr = [Body, Tr] | 560 con tr = [Body, Tr] |
| 561 | 561 |
| 562 type url | 562 type url |
| 563 val show_url : show url | |
| 563 val bless : string -> url | 564 val bless : string -> url |
| 564 val checkUrl : string -> option url | 565 val checkUrl : string -> option url |
| 566 val url : transaction page -> url | |
| 567 val redirect : t ::: Type -> url -> transaction t | |
| 565 | 568 |
| 566 val dyn : ctx ::: {Unit} -> use ::: {Type} -> bind ::: {Type} -> [ctx ~ body] => unit | 569 val dyn : ctx ::: {Unit} -> use ::: {Type} -> bind ::: {Type} -> [ctx ~ body] => unit |
| 567 -> tag [Signal = signal (xml (body ++ ctx) use bind)] (body ++ ctx) [] use bind | 570 -> tag [Signal = signal (xml (body ++ ctx) use bind)] (body ++ ctx) [] use bind |
| 568 | 571 |
| 569 val head : unit -> tag [] html head [] [] | 572 val head : unit -> tag [] html head [] [] |