package ojs_ed

  1. Overview
  2. Docs
Legend:
Page
Library
Module
Module type
Parameter
Class
Class type
Source

Module Types.DefaultSource

Parameters

Signature

include P with type app_server_msg = App.app_server_msg with type app_client_msg = App.app_client_msg
include Ojs_base.Types.App_msg with type app_server_msg = App.app_server_msg with type app_client_msg = App.app_client_msg
Sourcetype app_server_msg = App.app_server_msg = ..
Sourceval app_server_msg_to_yojson : app_server_msg -> Yojson.Safe.t
Sourcetype app_client_msg = App.app_client_msg = ..
Sourceval app_client_msg_to_yojson : app_client_msg -> Yojson.Safe.t
include B
Sourcetype server_msg = ..
Sourcemodule M_server_msg_to_yojson : sig ... end
Sourceval server_msg_to_yojson : server_msg -> Yojson.Safe.t
Sourcemodule M_server_msg_of_yojson : sig ... end
Sourcetype server_msg +=
  1. | SError of string
  2. | SOk of string
  3. | SFile_contents of path * string
Sourcetype client_msg = ..
Sourcemodule M_client_msg_to_yojson : sig ... end
Sourceval client_msg_to_yojson : client_msg -> Yojson.Safe.t
Sourcemodule M_client_msg_of_yojson : sig ... end
Sourcetype client_msg +=
  1. | Get_file_contents of path
  2. | Save_file of path * string
Sourceval pack_server_msg : string -> server_msg -> app_server_msg
Sourceval unpack_server_msg : app_server_msg -> (string * server_msg) option
Sourceval pack_client_msg : string -> client_msg -> app_client_msg
Sourceval unpack_client_msg : app_client_msg -> (string * client_msg) option
Sourcetype app_server_msg +=
  1. | SEditor of string * server_msg
Sourcetype app_client_msg +=
  1. | Editor of string * client_msg