aboutsummaryrefslogtreecommitdiff
path: root/lib/rl.mli
diff options
context:
space:
mode:
authorAdelyn Breelove <[email protected]>2019-01-17 09:47:39 -0700
committerAdelyn Breelove <[email protected]>2019-01-17 09:47:39 -0700
commit8760c74b63eb44acad13829ef41b2e705f031ecb (patch)
tree90240eaaafc8f033c707fa00fdb3837ba485c0b9 /lib/rl.mli
parentMember methods are here (diff)
parentnew event dispatching (diff)
downloaddisml-8760c74b63eb44acad13829ef41b2e705f031ecb.tar.xz
disml-8760c74b63eb44acad13829ef41b2e705f031ecb.zip
Resolve non-ff merge
Diffstat (limited to 'lib/rl.mli')
-rw-r--r--lib/rl.mli19
1 files changed, 19 insertions, 0 deletions
diff --git a/lib/rl.mli b/lib/rl.mli
new file mode 100644
index 0000000..f583653
--- /dev/null
+++ b/lib/rl.mli
@@ -0,0 +1,19 @@
+open Core
+open Async
+
+module RouteMap : module type of Map.Make(String)
+
+type rl = {
+ limit: int;
+ remaining: int;
+ reset: int;
+}
+
+type t = ((rl, read_write) Mvar.t) RouteMap.t
+
+val rl_of_header : Cohttp.Header.t -> rl option
+val default : rl
+val empty : t
+val update : 'a RouteMap.t -> string -> f:('a option -> 'a) -> 'a RouteMap.t
+val find : 'a RouteMap.t -> string -> 'a option
+val find_exn : 'a RouteMap.t -> string -> 'a \ No newline at end of file