-
Notifications
You must be signed in to change notification settings - Fork 8
/
Copy pathuri_paths.mli
45 lines (35 loc) · 907 Bytes
/
uri_paths.mli
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
(*
* iocamlserver - IOCaml notebook server
*
* (c) 2014 MicroJamJar Ltd
*
* Author(s): [email protected]
* Description: regex's for decoding URI paths
*
*)
type message =
[ `Static
| `File of string
| `Root
| `Root_guid of string
| `Root_new
| `Root_copy of string
| `Root_name of string
| `Notebooks
| `Notebooks_guid of string
| `Notebooks_checkpoint of string
| `Notebooks_checkpoint_id of string * string
| `Clusters
| `Kernels
| `Kernels_guid of string
| `Kernels_restart of string
| `Kernels_interrupt of string
| `Error_not_found ]
type ws_message =
[ `Ws_shell of string
| `Ws_iopub of string
| `Ws_stdin of string
| `Error_not_found ]
val decode : (string*string) list -> string -> message Lwt.t
val decode_ws : string -> ws_message Lwt.t
val string_of_message : message -> string