Mercurial > urweb

comparison lib/ur/basis.urs @ 1785:ffd7ed3bc0b7

Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
Basis.giveFocus
author Adam Chlipala <adam@chlipala.net>
date Sat, 21 Jul 2012 11:59:41 -0400
parents 5bc4fbf9c0fe
children d794149b3713
comparison
equal deleted inserted replaced
1784:e6bc6bbd7a32 1785:ffd7ed3bc0b7
760 val effectfulUrl : (option queryString -> transaction page) -> url 760 val effectfulUrl : (option queryString -> transaction page) -> url
761 val redirect : t ::: Type -> url -> transaction t 761 val redirect : t ::: Type -> url -> transaction t
762 762
763 type id 763 type id
764 val fresh : transaction id 764 val fresh : transaction id
765 val giveFocus : id -> transaction unit
765 766
766 val dyn : ctx ::: {Unit} -> use ::: {Type} -> bind ::: {Type} -> [ctx ~ [Dyn]] => unit 767 val dyn : ctx ::: {Unit} -> use ::: {Type} -> bind ::: {Type} -> [ctx ~ [Dyn]] => unit
767 -> tag [Signal = signal (xml ([Dyn] ++ ctx) use bind)] ([Dyn] ++ ctx) [] use bind 768 -> tag [Signal = signal (xml ([Dyn] ++ ctx) use bind)] ([Dyn] ++ ctx) [] use bind
768 769
769 val head : unit -> tag [] html head [] [] 770 val head : unit -> tag [] html head [] []