package resp-server

  1. Overview
  2. Docs
Redis serialization protocol server

Install 

dune-project
 Dependency

github.com Readme Changelog ISC License Edit opam file Versions (6)

Authors

  1. Z
    Zach Shipko <zachshipko@gmail.com>

Maintainers

  1. Z
    Zach Shipko <zachshipko@gmail.com>

Sources

resp-0.11.0.tbz
sha256=8c4f7afbed08c5d373a822cf0d2f21427605a283b24ef2e1354aa4bff3dd5035
sha512=1a14349721871c532142d48ad2811d8aad48173fe3c9a4eb0de7df3bcc58fedf98ed62ab0b548d9fa0d97c99559fb63de17622414155017744d04b8d8a35ff79

doc/src/resp-server/resp_server_intf.ml.html

Source file resp_server_intf.ml

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
84
85
86
87
88
89
90
91
92
93
94
95
96
module type AUTH = sig
  type t

  val check : t -> string array -> bool
end

module type DATA = sig
  type data

  module Client : sig
    type t

    val init : data -> t
  end
end

module type SERVER = sig
  type ic

  type oc

  type server

  include DATA

  val run : server -> (ic * oc -> unit Lwt.t) -> unit Lwt.t
end

module type S = sig
  include SERVER

  module Value : Resp.S with type Reader.ic = ic and type Writer.oc = oc

  module Auth : AUTH

  type client = { data : Client.t; ic : ic; oc : oc }

  type command = data -> client -> string -> int -> unit Lwt.t

  val discard_n : client -> int -> unit Lwt.t

  val finish : client -> nargs:int -> int -> unit Lwt.t

  val ok : client -> unit Lwt.t

  val error : client -> string -> unit Lwt.t

  val invalid_arguments : client -> unit Lwt.t

  val send : client -> Resp.t -> unit Lwt.t

  val recv : client -> Resp.t Lwt.t

  type t

  val create :
    ?auth:Auth.t ->
    ?commands:(string * command) list ->
    ?default:string ->
    server ->
    data ->
    t

  val start : t -> unit Lwt.t
end

module type Server = sig
  module type SERVER = SERVER

  module type AUTH = AUTH

  module type DATA = DATA

  module Auth : sig
    module String : AUTH with type t = string

    module User : AUTH with type t = (string, string) Hashtbl.t
  end

  module type S = S

  module Make
      (Server : SERVER)
      (Auth : AUTH)
      (Value : Resp.S
                 with type Reader.ic = Server.ic
                  and type Writer.oc = Server.oc) :
    S
      with type server = Server.server
       and module Auth = Auth
       and type ic = Server.ic
       and type oc = Server.oc
       and module Value = Value
       and type data = Server.data
       and type Client.t = Server.Client.t
end