package ojs_list
Using lists in ojs_base applications, common part
Install
Dune Dependency
Authors
Maintainers
Sources
ojs-base-0.8.0.tar.bz2
md5=e706f1f9ec2f935d29c6b6e4832c8bdf
sha512=2596f6c59bea9c6b89923099c604a0e095a96880e7e91b06357e1de50867ae7e0261c87c35f608b7e426bddd6dd025a9868c07499287116ed458de4a0b9e9f30
doc/ojs_list.server/Ojs_list_server/Server/Make/index.html
Module Server.MakeSource
Parameters
module P : Ojs_list.Types.PSignature
Source
class 'a elist : ('a P.server_msg ->
('a P.client_msg -> unit Lwt.t) ->
unit Lwt.t) -> ('a P.server_msg ->
unit Lwt.t) -> id:string -> 'a list -> object ... endSource
class +'a elists : (P.app_server_msg ->
(P.app_client_msg -> unit Lwt.t) ->
'b) -> (P.app_server_msg ->
'c) -> ((P.elt P.server_msg -> (P.elt P.client_msg -> unit Lwt.t) -> 'b) ->
(P.elt P.server_msg -> 'c) ->
id:Ojs_server.Server.SMap.key ->
'a list ->
'a elist) -> object ... endOn This Page