Module Jupyter.StdinSource

Contents on STDIN channel

Inputs

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

Request

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

Reply

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