Make (p.ojs_filetree.0.9.0.doc.ojs_filetree.server.Ojs_filetree

Parameters

module P : Ojs_filetree.Types.P

Signature

module P : 
  Ojs_filetree.Types.P
    with type server_msg = P.server_msg
    with type client_msg = P.client_msg
    with type app_server_msg = P.app_server_msg
    with type app_client_msg = P.app_client_msg

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

Source

class 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

Source

class 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