package ojs_filetree

  1. Overview
  2. Docs
Using filetrees in ojs_base applications, common part

Install

dune-project
 Dependency

Authors

Maintainers

Sources

ojs-base-0.9.0.tar.bz2
md5=d1280f8b88bd6e03f62084c63027cf47
sha512=ff933d51b7a64a4d7356442284f0d992de746523fb28217d01c7d4ca0f461920b9f05d2f22ae4ba51f5a819c6b923e64b600150164ae58439b86e186d284b2ee

doc/ojs_filetree.server/Ojs_filetree_server/Server/Make/index.html

Module Server.MakeSource

Parameters

Signature

Sourceval access_forbidden : Ojs_base.Path.t -> P.server_msg
Sourceval creation_forbidden : Ojs_base.Path.t -> P.server_msg
Sourceval deletion_forbidden : Ojs_base.Path.t -> P.server_msg
Sourceval renaming_forbidden : Ojs_base.Path.t -> Ojs_base.Path.t -> P.server_msg
Sourceclass filetree : (P.server_msg -> (P.client_msg -> unit Lwt.t) -> unit Lwt.t) -> (P.server_msg -> unit Lwt.t) -> id:string -> Ojs_base.Path.t -> object ... end
Sourceclass filetrees : (P.app_server_msg -> (P.app_client_msg -> unit Lwt.t) -> unit Lwt.t) -> (P.app_server_msg -> unit Lwt.t) -> ((P.server_msg -> (P.client_msg -> unit Lwt.t) -> unit Lwt.t) -> (P.server_msg -> unit Lwt.t) -> id:string -> Ojs_base.Path.t -> filetree) -> object ... end