Mercurial > urweb
comparison demo/broadcast.urs @ 699:4e260887d8f2
Chat demo
| author | Adam Chlipala <adamc@hcoop.net> |
|---|---|
| date | Sun, 05 Apr 2009 11:48:55 -0400 |
| parents | |
| children |
comparison
equal
deleted
inserted
replaced
| 698:9b29ce0babb8 | 699:4e260887d8f2 |
|---|---|
| 1 functor Make(M : sig type t end) : sig | |
| 2 type topic | |
| 3 | |
| 4 val inj : sql_injectable topic | |
| 5 | |
| 6 val create : transaction topic | |
| 7 val subscribe : topic -> transaction (channel M.t) | |
| 8 val send : topic -> M.t -> transaction unit | |
| 9 | |
| 10 val subscribers : topic -> transaction int | |
| 11 end |