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.server/Ojs_filetree_server/Server/Make/index.html

Module `Server.Make`Source

Parameters

module P : Ojs_filetree.Types.P

Signature

Source

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

On This Page

Parameters
Signature

package ojs_filetree

Install

Dune Dependency

Authors

Maintainers

Sources

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

Module Server.MakeSource

Parameters

Signature

Module `Server.Make`Source