aboutsummaryrefslogtreecommitdiff
path: root/lib/http/rl.mli
diff options
context:
space:
mode:
authorAdelyn Breelove <[email protected]>2019-02-13 10:58:39 -0700
committerAdelyn Breelove <[email protected]>2019-02-13 10:58:39 -0700
commitafa6b297bd7bf9361727ae78794d9310d3678d13 (patch)
tree7b0a4cda613e07585e16a3bdf48135cecb3b5174 /lib/http/rl.mli
parentAdd docs to cache (diff)
downloaddisml-afa6b297bd7bf9361727ae78794d9310d3678d13.tar.xz
disml-afa6b297bd7bf9361727ae78794d9310d3678d13.zip
Re-arrange and whatnot
Diffstat (limited to 'lib/http/rl.mli')
-rw-r--r--lib/http/rl.mli37
1 files changed, 37 insertions, 0 deletions
diff --git a/lib/http/rl.mli b/lib/http/rl.mli
new file mode 100644
index 0000000..973f02f
--- /dev/null
+++ b/lib/http/rl.mli
@@ -0,0 +1,37 @@
+(** Internal ratelimit route mapping. *)
+
+open Core
+open Async
+
+(** Type for mapping route -> {!rl}. *)
+module RouteMap : module type of Map.Make(String)
+
+(** Type representing ratelimit information. *)
+type rl = {
+ limit: int;
+ remaining: int;
+ reset: int;
+}
+
+(** Type representing the specific case of {!RouteMap}. *)
+type t = ((rl, read_write) Mvar.t) RouteMap.t
+
+(** Converts Cohttp header data into ratelimit information.
+ @return Some of ratelimit information or None on bad headers
+*)
+val rl_of_header : Cohttp.Header.t -> rl option
+
+(** Default for type rl. Used for prepopulating routes. *)
+val default : rl
+
+(** Empty ratelimit route map. *)
+val empty : t
+
+(** Analogous to {!RouteMap.update}. *)
+val update : 'a RouteMap.t -> string -> f:('a option -> 'a) -> 'a RouteMap.t
+
+(** Analogous to {!RouteMap.find}. *)
+val find : 'a RouteMap.t -> string -> 'a option
+
+(** Analogous to {!RouteMap.find_exn}. *)
+val find_exn : 'a RouteMap.t -> string -> 'a \ No newline at end of file