X-Git-Url: https://git.xandkar.net/?a=blobdiff_plain;f=src%2Focaml%2Flib%2Fkhatus_msg.mli;fp=src%2Focaml%2Flib%2Fkhatus_msg.mli;h=0000000000000000000000000000000000000000;hb=53d24ad688ea39892dbf3c748c1e40514eeb2763;hp=358d0ede8d31d0d2acafb80bc015ecf7b22790a0;hpb=0c4f892ec9d0cd7dc87c83c01b52259d0aed1ae3;p=khatus.git diff --git a/src/ocaml/lib/khatus_msg.mli b/src/ocaml/lib/khatus_msg.mli deleted file mode 100644 index 358d0ed..0000000 --- a/src/ocaml/lib/khatus_msg.mli +++ /dev/null @@ -1,23 +0,0 @@ -type content = - | Alert of {priority : [`low | `med | `hi]; subject : string; body : string} - | Data of {key : string list; value : string} - | Cache of - { mtime : Khatus_time.t - ; node : string - ; modul : string - ; key : string list - ; value : string - } - | Error of string - | Log of {location : string; level : [`info | `error]; msg : string} - | Status_bar of string - -type t = - {node : string; modul : string; content : content} - -type 'a data_handler = - (node:string -> modul:string -> key:string list -> value:string -> 'a) - -val to_string : t -> string - -val handle_data : t -> f:'a data_handler -> otherwise:'a -> 'a