Mercurial > urweb

comparison lib/ur/top.urs @ 682:5bbb542243e8

Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
Redo channels, making them single-client
author Adam Chlipala <adamc@hcoop.net>
date Sun, 29 Mar 2009 11:37:29 -0400
parents e5894f0e541a
children 4e260887d8f2
comparison
equal deleted inserted replaced
681:6c9b8875f347 682:5bbb542243e8
85 -> [[nm] ~ rest] => 85 -> [[nm] ~ rest] =>
86 tf1 t -> tf2 t -> xml ctx [] []) 86 tf1 t -> tf2 t -> xml ctx [] [])
87 -> r :: {K} -> folder r 87 -> r :: {K} -> folder r
88 -> $(map tf1 r) -> $(map tf2 r) -> xml ctx [] [] 88 -> $(map tf1 r) -> $(map tf2 r) -> xml ctx [] []
89 89
90 val queryI : tables ::: {{Type}} -> exps ::: {Type}
91 -> [tables ~ exps] =>
92 sql_query tables exps
93 -> ($(exps ++ map (fn fields :: {Type} => $fields) tables)
94 -> transaction unit)
95 -> transaction unit
96
90 val queryX : tables ::: {{Type}} -> exps ::: {Type} -> ctx ::: {Unit} 97 val queryX : tables ::: {{Type}} -> exps ::: {Type} -> ctx ::: {Unit}
91 -> [tables ~ exps] => 98 -> [tables ~ exps] =>
92 sql_query tables exps 99 sql_query tables exps
93 -> ($(exps ++ map (fn fields :: {Type} => $fields) tables) 100 -> ($(exps ++ map (fn fields :: {Type} => $fields) tables)
94 -> xml ctx [] []) 101 -> xml ctx [] [])
125 val eqNullable' : tables ::: {{Type}} -> agg ::: {{Type}} -> exps ::: {Type} 132 val eqNullable' : tables ::: {{Type}} -> agg ::: {{Type}} -> exps ::: {Type}
126 -> t ::: Type -> sql_injectable (option t) 133 -> t ::: Type -> sql_injectable (option t)
127 -> sql_exp tables agg exps (option t) 134 -> sql_exp tables agg exps (option t)
128 -> option t 135 -> option t
129 -> sql_exp tables agg exps bool 136 -> sql_exp tables agg exps bool
137
138
139 functor Broadcast(M : sig type t end) : sig
140 type topic
141
142 val inj : sql_injectable topic
143
144 val create : transaction topic
145 val subscribe : topic -> transaction (channel M.t)
146 val send : topic -> M.t -> transaction unit
147 end