summaryrefslogtreecommitdiff
path: root/demo/broadcast.urs
blob: 9a4d0bbaff9780cb21cee961bf37f0f6fe8c52db (plain)
1
2
3
4
5
6
7
8
9
10
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