package ojs_list

You can search for identifiers within the package.

in-package search v0.2.0

Using lists 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_list.js/Ojsl_js/Make/argument-1-P/index.html

Parameter `Make.P`

include Ojs_list.Types.P

include Ojs_base.Types.App_msg

type app_server_msg = ..

module M_app_server_msg_to_yojson : sig ... end

val app_server_msg_to_yojson : app_server_msg -> Yojson.Safe.t

module M_app_server_msg_of_yojson : sig ... end

val app_server_msg_of_yojson : 
  Yojson.Safe.t ->
  app_server_msg Ppx_deriving_yojson_runtime.error_or

type app_client_msg = ..

module M_app_client_msg_to_yojson : sig ... end

val app_client_msg_to_yojson : app_client_msg -> Yojson.Safe.t

module M_app_client_msg_of_yojson : sig ... end

val app_client_msg_of_yojson : 
  Yojson.Safe.t ->
  app_client_msg Ppx_deriving_yojson_runtime.error_or

include module type of Ojs_list.Types.Base

type 'a server_msg = ..

module M_server_msg_to_yojson : sig ... end

module M_server_msg_of_yojson : sig ... end

val server_msg_to_yojson : 
  ('a -> Yojson.Safe.t) ->
  'a server_msg ->
  Yojson.Safe.t

val server_msg_of_yojson : 
  (Yojson.Safe.t -> 'a Ppx_deriving_yojson_runtime.error_or) ->
  Yojson.Safe.t ->
  'a server_msg Ppx_deriving_yojson_runtime.error_or

type server_msg +=

| SOk
| SError of string
| SAdd of 'a
| SDelete of 'a
| SList of 'a list

type 'a client_msg = ..

module M_client_msg_to_yojson : sig ... end

module M_client_msg_of_yojson : sig ... end

val client_msg_to_yojson : 
  ('a -> Yojson.Safe.t) ->
  'a client_msg ->
  Yojson.Safe.t

val client_msg_of_yojson : 
  (Yojson.Safe.t -> 'a Ppx_deriving_yojson_runtime.error_or) ->
  Yojson.Safe.t ->
  'a client_msg Ppx_deriving_yojson_runtime.error_or

type client_msg +=

| Get
| Add of 'a
| Delete of 'a

type elt

val pack_server_msg : string -> elt server_msg -> app_server_msg

val unpack_server_msg : app_server_msg -> (string * elt server_msg) option

val pack_client_msg : string -> elt client_msg -> app_client_msg

val unpack_client_msg : app_client_msg -> (string * elt client_msg) option

val insert : Ojs_js.id -> elt -> Ojs_js.id