diff options
author | Daniil Baturin <daniil@baturin.org> | 2015-09-28 20:51:58 +0600 |
---|---|---|
committer | Daniil Baturin <daniil@baturin.org> | 2015-09-28 20:51:58 +0600 |
commit | f50401c6bdfb205f34de3d04949fbaf3cd6876f8 (patch) | |
tree | 366052a359ba710bfe4696a33f85eba8c4b166c5 /src/message.mli | |
parent | a4f204cf23f56661af2577e070bba9d9ec678343 (diff) | |
download | vyconf-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.mli | 17 |
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 ] |