-
Notifications
You must be signed in to change notification settings - Fork 125
/
directory.mli
83 lines (65 loc) · 3.11 KB
/
directory.mli
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
47
48
49
50
51
52
53
54
55
56
57
58
59
60
61
62
63
64
65
66
67
68
69
70
71
72
73
74
75
76
77
78
79
80
81
82
83
(*
Copyright © 2011 MLstate
This file is part of OPA.
OPA is free software: you can redistribute it and/or modify it under the
terms of the GNU Affero General Public License, version 3, as published by
the Free Software Foundation.
OPA is distributed in the hope that it will be useful, but WITHOUT ANY
WARRANTY; without even the implied warranty of MERCHANTABILITY or FITNESS
FOR A PARTICULAR PURPOSE. See the GNU Affero General Public License for
more details.
You should have received a copy of the GNU Affero General Public License
along with OPA. If not, see <http://www.gnu.org/licenses/>.
*)
(** A shared directory beetween several server.
NOTE : Currently is a very simple implementation which support
only one server and doesn't support any failure of server.
Implementation may change for support several servers and server
failure, but interface should not be change (or maybe just the
make function...)
*)
(** {6 Who} *)
(** A type used for indicates who put a value on directory. *)
type who = Me | Other of Unix.inet_addr
(** Returns a readable string from a [who]. *)
val who_to_string : who -> string
(** {6 Directory interface} *)
(** A directory is parametrized by a type of ['key] and ['value]. *)
type ('key, 'value) t
(** [make scheduler endpoint path kind] Create a new directory. Behaviour
depends of [kind] :
- [`server] creates a directory and launch a server that
listen on [endpoint].
- [`client] creates a client directory which request a server
directory at [endpoint].
[path] it's using for distinguishes directories if you have
several. Limited to 8 characters.
*)
val make : ?err_cont:(exn -> unit) -> Scheduler.t -> Hlnet.endpoint -> string ->
[ `client | `server ] -> ('key, 'value) t Cps.t
(** Add a new binding of [key] to [value]. That doesn't erase previous
bindings. *)
val add : ('key, 'value) t -> 'key -> 'value -> unit
(** [remove directory key] Remove the last binding of [key]. *)
val remove : ('key, 'value) t -> 'key -> unit
(** [find_or_replace directory key value] Returns [value] binded to
[key] if already exists, else returns [None] and add a binding of
[key] to [value].*)
val find_or_replace : ('key, 'value) t -> 'key -> 'value ->
('value * who) option Cps.t
(** [find_opt directory key] Returns the last binded value to [key] or
[None] if any value is binded to [key].*)
val find_opt : ('key, 'value) t -> 'key ->
('value * who) option Cps.t
(** [find_all directory key] Find all value binded to [key].*)
val find_all : ('key, 'value) t -> 'key ->
('value * who) list Cps.t
(** {6 Localizer interface} *)
(** [my_public_addr_opt] Returns your public [inet_addr]. (It's the
addresses use by the server directory for communicates with
you). Can return [None] if you are the server directory and any
client make a request to you. *)
val my_public_addr_opt : ('key, 'value) t -> Unix.inet_addr option Cps.t
(** Like [my_public_addr_opt] but in server case wait the first client
request for get the public address.*)
val my_public_addr : ('key, 'value) t -> Unix.inet_addr Cps.t