Mercurial > urweb

comparison lib/ur/basis.urs @ 1929:f792a6544093

Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
Add show instance for 'id' type
author Sergey Mironov <grrwlf@gmail.com>
date Mon, 07 Oct 2013 14:08:10 +0400
parents 44f607a7f4cd
children 81bc76aa4acd
comparison
equal deleted inserted replaced
1928:f1c211936557 1929:f792a6544093
773 val redirect : t ::: Type -> url -> transaction t 773 val redirect : t ::: Type -> url -> transaction t
774 774
775 type id 775 type id
776 val fresh : transaction id 776 val fresh : transaction id
777 val giveFocus : id -> transaction unit 777 val giveFocus : id -> transaction unit
778 val show_id : show id
778 779
779 val dyn : ctx ::: {Unit} -> use ::: {Type} -> bind ::: {Type} -> [ctx ~ [Dyn]] => unit 780 val dyn : ctx ::: {Unit} -> use ::: {Type} -> bind ::: {Type} -> [ctx ~ [Dyn]] => unit
780 -> tag [Signal = signal (xml ([Dyn] ++ ctx) use bind)] ([Dyn] ++ ctx) [] use bind 781 -> tag [Signal = signal (xml ([Dyn] ++ ctx) use bind)] ([Dyn] ++ ctx) [] use bind
781 782
782 val active : unit 783 val active : unit