aboutsummaryrefslogtreecommitdiffstats
path: root/lib/external/lmdb.ml
diff options
context:
space:
mode:
Diffstat (limited to 'lib/external/lmdb.ml')
-rw-r--r--lib/external/lmdb.ml24
1 files changed, 24 insertions, 0 deletions
diff --git a/lib/external/lmdb.ml b/lib/external/lmdb.ml
new file mode 100644
index 0000000..d2e6be0
--- /dev/null
+++ b/lib/external/lmdb.ml
@@ -0,0 +1,24 @@
+open Ctypes
+open PosixTypes
+open Foreign
+
+type mdb_result = Success | Failure of int
+
+let mdb_result_of_int = function
+ | 0 -> Success
+ | x -> Failure x
+
+let int_of_mdb_result = function
+ | Success -> 0
+ | Failure x -> x
+
+let mdb_mode_t = mode_t
+
+let mdb_result = view ~read:mdb_result_of_int ~write:int_of_mdb_result int
+
+let mdb_env = ptr Void
+
+let mdb_env_create = foreign "mdb_env_create" (ptr mdb_env @-> returning mdb_result)
+
+let mdb_env_open = foreign "mdb_env_open" (ptr mdb_env @-> string @-> uint @-> mdb_mode_t @-> returning mdb_result)
+let mdb_env_close = foreign "mdb_env_close" (ptr mdb_env @-> returning Void)