summaryrefslogtreecommitdiff
path: root/src/message.mli
diff options
context:
space:
mode:
authorDaniil Baturin <daniil@baturin.org>2015-09-28 20:51:58 +0600
committerDaniil Baturin <daniil@baturin.org>2015-09-28 20:51:58 +0600
commitf50401c6bdfb205f34de3d04949fbaf3cd6876f8 (patch)
tree366052a359ba710bfe4696a33f85eba8c4b166c5 /src/message.mli
parenta4f204cf23f56661af2577e070bba9d9ec678343 (diff)
downloadvyconf-f50401c6bdfb205f34de3d04949fbaf3cd6876f8.tar.gz
vyconf-f50401c6bdfb205f34de3d04949fbaf3cd6876f8.zip
Add types and derivers for the message decoder.
Diffstat (limited to 'src/message.mli')
-rw-r--r--src/message.mli17
1 files changed, 17 insertions, 0 deletions
diff --git a/src/message.mli b/src/message.mli
new file mode 100644
index 0000000..6de77b7
--- /dev/null
+++ b/src/message.mli
@@ -0,0 +1,17 @@
+type operation = {
+ method_name: string;
+ path: string list option;
+ value: string option;
+ options: (string * string) list option
+}
+
+type message = {
+ session_id: string;
+ ops: operation list;
+}
+
+val operation_to_yojson : operation -> Yojson.Safe.json
+val operation_of_yojson : Yojson.Safe.json -> [ `Error of bytes | `Ok of operation ]
+
+val message_to_yojson : message -> Yojson.Safe.json
+val message_of_yojson : Yojson.Safe.json -> [ `Error of bytes | `Ok of message ]