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

md5=e706f1f9ec2f935d29c6b6e4832c8bdf

sha512=2596f6c59bea9c6b89923099c604a0e095a96880e7e91b06357e1de50867ae7e0261c87c35f608b7e426bddd6dd025a9868c07499287116ed458de4a0b9e9f30

doc/ojs_filetree.js/Ojsft_js/Make/index.html

Module `Ojsft_js.Make`Source

Parameters

module P : Ojs_filetree.Types.P

Signature

Source

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

Source

class tree : (P.client_msg ->
  (P.server_msg -> unit Lwt.t) ->
  unit Lwt.t) -> (P.client_msg ->
  unit Lwt.t) -> msg_id:string -> Ojs_js.SMap.key -> object ... end

Source

class trees : (P.app_client_msg ->
  (P.app_server_msg -> unit Lwt.t) ->
  unit Lwt.t) -> (P.app_client_msg ->
  unit Lwt.t) -> ((P.client_msg -> (P.server_msg -> unit Lwt.t) -> unit Lwt.t) ->
  (P.client_msg -> unit Lwt.t) ->
  msg_id:string ->
  string ->
  tree) -> object ... end

On This Page

Parameters
Signature

package ojs_filetree

Install

Dune Dependency

Authors

Maintainers

Sources

doc/ojs_filetree.js/Ojsft_js/Make/index.html

Module Ojsft_js.MakeSource

Parameters

Signature

Module `Ojsft_js.Make`Source