Source file Protocol_t.ml

(* Auto-generated from "Protocol.atd" *)
[@@@ocaml.warning "-27-32-33-35-39"]

type stream = { st_name: string; st_data: string }

type status = { execution_state: string }

type shutdown = { restart: bool }

type dyn = Yojson.Safe.t

type pyout = { po_execution_count: int; po_data: dyn; po_metadata: dyn }

type pyin = { pi_code: string; pi_execution_count: int }

type payload = {
  html: string;
  source: string;
  start_line_number: int;
  text: string
}

type language_info = {
  li_name: string;
  li_version: string;
  li_mimetype: string;
  li_file_extension: string;
  li_codemirror_mode: string option
}

type help_link = { help_text: string; help_url: string }

type kernel_info_reply = {
  protocol_version: string;
  implementation: string;
  implementation_version: string;
  language_info: language_info;
  banner: string;
  help_links: help_link list
}

type is_complete_request = { icr_code: string }

type is_complete_reply = { icr_status: string; icr_indent: string }

type inspect_request = {
  ir_code: string;
  ir_cursor_pos: int;
  ir_detail_level: int
}

type inspect_reply = {
  ir_status: string;
  ir_found: bool option;
  ir_data: dyn option;
  ir_metadata: dyn option;
  ir_ename: string option;
  ir_evalue: string option;
  ir_traceback: string list option
}

type history_request = {
  output: bool;
  raw: bool;
  hist_access_type: string;
  hr_session: int;
  start: int;
  stop: int;
  n: int;
  pattern: string;
  unique: bool
}

type history_reply = { history: string list }

type header_info = {
  date: string;
  version: string;
  username: string option;
  session: string option;
  msg_id: string;
  msg_type: string
}

type execute_request = {
  code: string;
  silent: bool;
  store_history: bool;
  user_expressions: dyn;
  allow_stdin: bool
}

type execute_reply = {
  status: string;
  execution_count: int;
  ename: string option;
  evalue: string option;
  traceback: string list option;
  payload: payload list option;
  er_user_expressions: dyn option
}

type execute_error = {
  err_ename: string;
  err_evalue: string;
  err_traceback: string list
}

type display_data = {
  dd_data: dyn;
  dd_metadata: dyn;
  dd_transient: dyn option
}

type connection_info = {
  stdin_port: int;
  ip: string;
  control_port: int;
  hb_port: int;
  signature_scheme: string;
  key: string;
  shell_port: int;
  transport: string;
  iopub_port: int
}

type connect_reply = {
  cr_shell_port: int;
  cr_iopub_port: int;
  cr_stdin_port: int;
  cr_hb_port: int
}

type complete_request = { line: string; cursor_pos: int }

type complete_reply = {
  matches: string list;
  cursor_start: int;
  cursor_end: int;
  cr_status: string
}

type comm_info_request = { target_name: string }

type clear_output = { wait: bool; stdout: bool; stderr: bool; other: bool }