summaryrefslogtreecommitdiff
path: root/demo/broadcast.urs
diff options
context:
space:
mode:
authorGravatar Adam Chlipala <adamc@hcoop.net>2009-04-05 11:48:55 -0400
committerGravatar Adam Chlipala <adamc@hcoop.net>2009-04-05 11:48:55 -0400
commitf6559c7555465c479d45529748deb8c15dfa346c (patch)
treeaffa61639daa2a14b7eb6c9f8bb56617fa62582c /demo/broadcast.urs
parent37eeae6bc2503281d1b806c85aa0e70645fd9966 (diff)
Chat demo
Diffstat (limited to 'demo/broadcast.urs')
-rw-r--r--demo/broadcast.urs11
1 files changed, 11 insertions, 0 deletions
diff --git a/demo/broadcast.urs b/demo/broadcast.urs
new file mode 100644
index 00000000..9a4d0bba
--- /dev/null
+++ b/demo/broadcast.urs
@@ -0,0 +1,11 @@
+functor Make(M : sig type t end) : sig
+ type topic
+
+ val inj : sql_injectable topic
+
+ val create : transaction topic
+ val subscribe : topic -> transaction (channel M.t)
+ val send : topic -> M.t -> transaction unit
+
+ val subscribers : topic -> transaction int
+end