Module Jupyter.Stdin

Contents on STDIN channel

Inputs

type input_request = {
  1. stdin_prompt : string;
  2. stdin_password : bool;
}
val input_request_of_yojson : Ppx_yojson_conv_lib.Yojson.Safe.t -> input_request
val yojson_of_input_request : input_request -> Ppx_yojson_conv_lib.Yojson.Safe.t
type input_reply = {
  1. stdin_value : string;
}
val input_reply_of_yojson : Ppx_yojson_conv_lib.Yojson.Safe.t -> input_reply
val yojson_of_input_reply : input_reply -> Ppx_yojson_conv_lib.Yojson.Safe.t

Request

type reply =
  1. | STDIN_INPUT_REQ of input_request
val reply_of_yojson : Ppx_yojson_conv_lib.Yojson.Safe.t -> reply
val yojson_of_reply : reply -> Ppx_yojson_conv_lib.Yojson.Safe.t

Reply

type request =
  1. | STDIN_INPUT_REP of input_reply
val request_of_yojson : Ppx_yojson_conv_lib.Yojson.Safe.t -> request
val yojson_of_request : request -> Ppx_yojson_conv_lib.Yojson.Safe.t