aboutsummaryrefslogtreecommitdiffstats
path: root/lib/management/database.ml
diff options
context:
space:
mode:
Diffstat (limited to 'lib/management/database.ml')
-rw-r--r--lib/management/database.ml23
1 files changed, 23 insertions, 0 deletions
diff --git a/lib/management/database.ml b/lib/management/database.ml
new file mode 100644
index 0000000..4fd43f1
--- /dev/null
+++ b/lib/management/database.ml
@@ -0,0 +1,23 @@
+module RelationMap = Map.Make (String)
+
+type t = {
+ hash : Conventions.Hash.t;
+ name : Conventions.Name.t;
+ tree : unit;
+ relations : Relation.t RelationMap.t;
+ timestamp : float;
+}
+
+let create_database (storage: Physical.Storage.t) ~name =
+ let relations =
+ RelationMap.of_list [("less_than", Prelude.Standard.less_than_natural)]
+ in
+ let state =
+ {
+ hash = "";
+ name;
+ tree = ();
+ relations = relations;
+ timestamp = Unix.time ();
+ }
+ in Physical.Storage.write storage