new shrunk API for RNT on sakura

1 files changed, 35 insertions, 0 deletions

diff --git a/lib/RNT.mli b/lib/RNT.mli
new file mode 100644
index 0000000..841ab2d
--- /dev/null
+++ b/lib/RNT.mli
@@ -0,0 +1,35 @@
+type kernel
+type handle
+type path = string
+type tuple = {type_: string; attributes: Value.t Utilities.StringMap.t}
+type batch = {tuples: tuple list; exhausted: bool}
+
+type blueprint =
+  | Namespace
+  | Branch
+  | Multigroup
+  | Relation of {heading: string Utilities.StringMap.t; tuples: Value.t Utilities.StringMap.t list}
+
+type plan = Base of path | Project of plan * string list
+
+val initialize : Sexplib.Sexp.t -> (kernel, Condition.condition) result
+val shutdown : kernel -> unit
+val list : kernel -> path -> (string list, Condition.condition) result
+val lookup : kernel -> path -> (handle, Condition.condition) result
+val create : kernel -> path -> blueprint -> (unit, Condition.condition) result
+val remove : kernel -> path -> (unit, Condition.condition) result
+val release : handle -> unit
+val identity : handle -> string
+val describe : handle -> (string Utilities.StringMap.t, Condition.condition) result
+val execute : kernel -> plan -> (handle, Condition.condition) result
+val enumerate : handle -> (handle, Condition.condition) result
+val fetch : handle -> int -> (batch, Condition.condition) result
+
+(*
+val authenticate: unit -> unit
+val open_snapshot: unit -> unit
+val register_domain: unit -> unit
+val register_constraint: unit -> unit
+val insert_tuple: unit -> unit
+val retract_tuple: unit -> unit
+*)