Mercurial > urweb

comparison lib/ur/basis.urs @ 841:44c2c089ca15

Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
Start of Option; Basis.current; fix missed cases in Jscomp.isNullable
author Adam Chlipala <adamc@hcoop.net>
date Sun, 07 Jun 2009 11:13:18 -0400
parents 5e1a4b12c83a
children 74a1e3bdf430
comparison
equal deleted inserted replaced
840:e4a02e4fa35c 841:44c2c089ca15
105 val get : t ::: Type -> source t -> transaction t 105 val get : t ::: Type -> source t -> transaction t
106 106
107 con signal :: Type -> Type 107 con signal :: Type -> Type
108 val signal_monad : monad signal 108 val signal_monad : monad signal
109 val signal : t ::: Type -> source t -> signal t 109 val signal : t ::: Type -> source t -> signal t
110 val current : t ::: Type -> signal t -> transaction t
110 111
111 112
112 (** HTTP operations *) 113 (** HTTP operations *)
113 114
114 val requestHeader : string -> transaction (option string) 115 val requestHeader : string -> transaction (option string)