package ojs_filetree

You can search for identifiers within the package.

in-package search v0.2.0

Using filetrees in ojs_base applications, common part

Install

dune-project

Dependency

zoggy.frama.io Readme Edit opam file Versions (2)

Authors

Z

Zoggy <zoggy@bat8.org>

Maintainers

Z

zoggy@bat8.org

Sources

ojs-base-0.8.0.tar.bz2

md5=e706f1f9ec2f935d29c6b6e4832c8bdf

sha512=2596f6c59bea9c6b89923099c604a0e095a96880e7e91b06357e1de50867ae7e0261c87c35f608b7e426bddd6dd025a9868c07499287116ed458de4a0b9e9f30

doc/ojs_filetree.js/Ojsft_js/Make/argument-1-P/index.html

Parameter `Make.P`

include Ojs_base.Types.App_msg

type app_server_msg = ..

module M_app_server_msg_to_yojson : sig ... end

val app_server_msg_to_yojson : app_server_msg -> Yojson.Safe.t

module M_app_server_msg_of_yojson : sig ... end

val app_server_msg_of_yojson : 
  Yojson.Safe.t ->
  app_server_msg Ppx_deriving_yojson_runtime.error_or

type app_client_msg = ..

module M_app_client_msg_to_yojson : sig ... end

val app_client_msg_to_yojson : app_client_msg -> Yojson.Safe.t

module M_app_client_msg_of_yojson : sig ... end

val app_client_msg_of_yojson : 
  Yojson.Safe.t ->
  app_client_msg Ppx_deriving_yojson_runtime.error_or

include Ojs_filetree.Types.B

type server_msg = ..

module M_server_msg_to_yojson : sig ... end

val server_msg_to_yojson : server_msg -> Yojson.Safe.t

module M_server_msg_of_yojson : sig ... end

val server_msg_of_yojson : 
  Yojson.Safe.t ->
  server_msg Ppx_deriving_yojson_runtime.error_or

type server_msg +=

| SOk
| SError of string
| STree of Ojs_filetree.Types.file_tree list
| SAdd_file of Ojs_filetree.Types.path * Ojs_filetree.Types.mime_type
| SAdd_dir of Ojs_filetree.Types.path
| SDelete of Ojs_filetree.Types.path

type client_msg = ..

module M_client_msg_to_yojson : sig ... end

val client_msg_to_yojson : client_msg -> Yojson.Safe.t

module M_client_msg_of_yojson : sig ... end

val client_msg_of_yojson : 
  Yojson.Safe.t ->
  client_msg Ppx_deriving_yojson_runtime.error_or

type client_msg +=

| Get_tree
| Add_file of Ojs_filetree.Types.path * string
| Add_dir of Ojs_filetree.Types.path
| Delete of Ojs_filetree.Types.path
| Rename of Ojs_filetree.Types.path * Ojs_filetree.Types.path

val pack_server_msg : string -> server_msg -> app_server_msg

val unpack_server_msg : app_server_msg -> (string * server_msg) option

val pack_client_msg : string -> client_msg -> app_client_msg

val unpack_client_msg : app_client_msg -> (string * client_msg) option