package jupyter-kernel

  1. Overview
  2. Docs

Sockets to Jupyter

See https://jupyter-client.readthedocs.io/en/latest/messaging.html

type t = {
  1. shell : [ `Router ] Lwt_zmq.Socket.t;
  2. control : [ `Router ] Lwt_zmq.Socket.t;
  3. stdin : [ `Router ] Lwt_zmq.Socket.t;
  4. iopub : [ `Pub ] Lwt_zmq.Socket.t;
  5. heartbeat : [ `Rep ] Lwt_zmq.Socket.t;
}
val open_sockets : Protocol_t.connection_info -> t
val close_sockets : t -> unit Lwt.t
val heartbeat : t -> unit Lwt.t
val dump : string -> [ `Router ] Lwt_zmq.Socket.t -> unit Lwt.t