Make (bindoj.Bindoj_apidir_runtime.Apidir_server

Parameters

module Dir : Bindoj_apidir_shared.ApiDirManifest

module IoStyle : Kxclib.Monadic

include sig ... end

module IoStyle = IoStyle

module IoOps : sig ... end

val registry_info : Bindoj_apidir_shared.registry_info

val invocation_points : Bindoj_apidir_shared.invocation_point_collection

val type_decls : Bindoj_apidir_shared.type_decl_collection

val tdenv : Bindoj_base.tdenv

val invp_count : int

val index_get : 
  (string, Bindoj_apidir_shared.untyped_invocation_point_info) Kxclib.Hashtbl.t

val index_post : 
  (string, Bindoj_apidir_shared.untyped_invocation_point_info) Kxclib.Hashtbl.t

type handler =

| Handler : ('reqty, 'respty) Bindoj_apidir_shared.invocation_point_info * ('reqty -> (int * 'respty) {io}1) -> handler

val handler_registry_get : 
  (Bindoj_apidir_shared.invocation_point_key, handler) Kxclib.Hashtbl.t

val handler_registry_post : 
  (Bindoj_apidir_shared.invocation_point_key, handler) Kxclib.Hashtbl.t

include T with type 'resp io = 'resp IoStyle.t

type 'resp io = 'resp IoStyle.t

val register_get_handler : 
  (unit, 'respty) Bindoj_apidir_shared.invocation_point_info ->
  (unit -> (int * 'respty) io) ->
  unit

val register_post_handler : 
  ('reqty, 'respty) Bindoj_apidir_shared.invocation_point_info ->
  ('reqty -> (int * 'respty) io) ->
  unit

val handle_json_get : 
  Bindoj_apidir_shared.untyped_invocation_point_info ->
  TupleJsonResponse.t io

val handle_json_post : 
  Bindoj_apidir_shared.untyped_invocation_point_info ->
  Kxclib.Json.jv ->
  TupleJsonResponse.t io

val handle_path_json_get : string -> TupleJsonResponse.t io

val handle_path_json_post : string -> Kxclib.Json.jv -> TupleJsonResponse.t io