package ojs_filetree

  1. Overview
  2. Docs

Class Make.filetreeSource

val mutable file_filter : Ojs_base.Path.t -> bool
method after_add_file : Ojs_base.Path.t -> unit
method after_get_tree : Ojs_filetree.Types.file_tree list -> Ojs_filetree.Types.file_tree list
method before_add_file : Ojs_base.Path.t -> unit
method can_add_dir : string -> bool
method can_add_file : string -> bool
method can_delete : string -> bool
method can_rename : string -> string -> bool
method handle_add_dir : (P.server_msg -> unit Lwt.t) -> Ojs_filetree.Types.path -> unit Lwt.t
method handle_add_file : (P.server_msg -> unit Lwt.t) -> Ojs_filetree.Types.path -> string -> unit Lwt.t
method handle_call : (P.server_msg -> unit Lwt.t) -> P.client_msg -> unit Lwt.t
method handle_delete : (P.server_msg -> unit Lwt.t) -> Ojs_filetree.Types.path -> unit Lwt.t
method handle_message : (P.server_msg -> unit Lwt.t) -> P.client_msg -> unit Lwt.t
method handle_rename : (P.server_msg -> unit Lwt.t) -> Ojs_filetree.Types.path -> Ojs_filetree.Types.path -> unit Lwt.t
method id : string
method root : Ojs_base.Path.t
method set_file_filter : (Ojs_base.Path.t -> bool) -> unit