Mercurial > urweb

comparison lib/ur/basis.urs @ 1006:5a0f6ec208ce

Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
Checking deadline; sign-in
author Adam Chlipala <adamc@hcoop.net>
date Thu, 22 Oct 2009 11:15:37 -0400
parents a87495bcaeec
children 16f7cb0891b6
comparison
equal deleted inserted replaced
1005:c6e948ec79e9 1006:5a0f6ec208ce
107 107
108 con signal :: Type -> Type 108 con signal :: Type -> Type
109 val signal_monad : monad signal 109 val signal_monad : monad signal
110 val signal : t ::: Type -> source t -> signal t 110 val signal : t ::: Type -> source t -> signal t
111 val current : t ::: Type -> signal t -> transaction t 111 val current : t ::: Type -> signal t -> transaction t
112
113
114 (** * Time *)
115
116 val now : transaction time
112 117
113 118
114 (** HTTP operations *) 119 (** HTTP operations *)
115 120
116 val requestHeader : string -> transaction (option string) 121 val requestHeader : string -> transaction (option string)