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 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.7.0.tar.bz2

md5=85b8a0746e9be8c20cf082f2573b5895

sha512=ec707820ff69ddbf9c631cf6a1c8748e82346daded1a4f73c5702128d07858f915e62d529e5fec01e99263f33eefb1586067341c058535806e0092b9d040644a

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