package ojs_list
Using lists in ojs_base applications, common part
Install
Dune Dependency
Authors
Maintainers
Sources
ojs-base-0.7.0.tar.bz2
md5=85b8a0746e9be8c20cf082f2573b5895
sha512=ec707820ff69ddbf9c631cf6a1c8748e82346daded1a4f73c5702128d07858f915e62d529e5fec01e99263f33eefb1586067341c058535806e0092b9d040644a
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