sectionYPositions = computeSectionYPositions($el), 10)"
x-init="setTimeout(() => sectionYPositions = computeSectionYPositions($el), 10)"
>
On This Page
Contents on SHELL channels
val status_to_yojson : status -> Yojson.Safe.t
val status_of_yojson :
Yojson.Safe.t ->
status Ppx_deriving_yojson_runtime.error_or
type exec_request = {
exec_code : string;
exec_silent : bool;
exec_store_history : bool;
exec_user_expr : Yojson.Safe.t;
exec_allow_stdin : bool;
exec_stop_on_error : bool;
}
val exec_request_to_yojson : exec_request -> Yojson.Safe.t
val exec_request_of_yojson :
Yojson.Safe.t ->
exec_request Ppx_deriving_yojson_runtime.error_or
val exec_reply_to_yojson : exec_reply -> Yojson.Safe.t
val exec_reply_of_yojson :
Yojson.Safe.t ->
exec_reply Ppx_deriving_yojson_runtime.error_or
val inspect_request_to_yojson : inspect_request -> Yojson.Safe.t
val inspect_request_of_yojson :
Yojson.Safe.t ->
inspect_request Ppx_deriving_yojson_runtime.error_or
type inspect_reply = {
insp_status : status Json.enum;
insp_found : bool;
insp_data : Yojson.Safe.t;
insp_metadata : Yojson.Safe.t;
}
val inspect_reply_to_yojson : inspect_reply -> Yojson.Safe.t
val inspect_reply_of_yojson :
Yojson.Safe.t ->
inspect_reply Ppx_deriving_yojson_runtime.error_or
val complete_request_to_yojson : complete_request -> Yojson.Safe.t
val complete_request_of_yojson :
Yojson.Safe.t ->
complete_request Ppx_deriving_yojson_runtime.error_or
type complete_reply = {
cmpl_matches : string list;
cmpl_start : int;
cmpl_end : int;
cmpl_metadata : Yojson.Safe.t;
cmpl_status : status Json.enum;
}
val complete_reply_to_yojson : complete_reply -> Yojson.Safe.t
val complete_reply_of_yojson :
Yojson.Safe.t ->
complete_reply Ppx_deriving_yojson_runtime.error_or
val history_request_to_yojson : history_request -> Yojson.Safe.t
val history_request_of_yojson :
Yojson.Safe.t ->
history_request Ppx_deriving_yojson_runtime.error_or
val history_reply_to_yojson : history_reply -> Yojson.Safe.t
val history_reply_of_yojson :
Yojson.Safe.t ->
history_reply Ppx_deriving_yojson_runtime.error_or
val is_complete_request_to_yojson : is_complete_request -> Yojson.Safe.t
val is_complete_request_of_yojson :
Yojson.Safe.t ->
is_complete_request Ppx_deriving_yojson_runtime.error_or
val is_complete_reply_to_yojson : is_complete_reply -> Yojson.Safe.t
val is_complete_reply_of_yojson :
Yojson.Safe.t ->
is_complete_reply Ppx_deriving_yojson_runtime.error_or
val connect_reply_to_yojson : connect_reply -> Yojson.Safe.t
val connect_reply_of_yojson :
Yojson.Safe.t ->
connect_reply Ppx_deriving_yojson_runtime.error_or
val comm_info_request_to_yojson : comm_info_request -> Yojson.Safe.t
val comm_info_request_of_yojson :
Yojson.Safe.t ->
comm_info_request Ppx_deriving_yojson_runtime.error_or
val comm_info_reply_to_yojson : comm_info_reply -> Yojson.Safe.t
val comm_info_reply_of_yojson :
Yojson.Safe.t ->
comm_info_reply Ppx_deriving_yojson_runtime.error_or
type language_info = {
lang_name : string;
language name
*)lang_version : string;
language version
*)lang_mimetype : string;
mimetype
*)lang_file_ext : string;
file extension
*)lang_lexer : string option;
pygments lexer
*)lang_mode : Yojson.Safe.t;
codemirror mode
*)lang_exporter : string option;
}
val language_info_to_yojson : language_info -> Yojson.Safe.t
val language_info_of_yojson :
Yojson.Safe.t ->
language_info Ppx_deriving_yojson_runtime.error_or
val language_info : language_info
val help_link_to_yojson : help_link -> Yojson.Safe.t
val help_link_of_yojson :
Yojson.Safe.t ->
help_link Ppx_deriving_yojson_runtime.error_or
val help_links : help_link list
type kernel_info_reply = {
kernel_prot_ver : string;
protocol version
*)kernel_impl : string;
kernel_impl_ver : string;
kernel_help_links : help_link list;
kernel_lang_info : language_info;
kernel_lang : string;
}
val kernel_info_reply_to_yojson : kernel_info_reply -> Yojson.Safe.t
val kernel_info_reply_of_yojson :
Yojson.Safe.t ->
kernel_info_reply Ppx_deriving_yojson_runtime.error_or
val kernel_info_reply : kernel_info_reply
val shutdown_to_yojson : shutdown -> Yojson.Safe.t
val shutdown_of_yojson :
Yojson.Safe.t ->
shutdown Ppx_deriving_yojson_runtime.error_or
type request =
| SHELL_KERNEL_INFO_REQ
| SHELL_EXEC_REQ of exec_request
| SHELL_INSPECT_REQ of inspect_request
| SHELL_COMPLETE_REQ of complete_request
| SHELL_HISTORY_REQ of history_request
| SHELL_IS_COMPLETE_REQ of is_complete_request
| SHELL_CONNECT_REQ
| SHELL_COMM_INFO_REQ of comm_info_request
| SHELL_SHUTDOWN_REQ of shutdown
| SHELL_COMM_OPEN of Comm.t
| SHELL_COMM_MSG of Comm.t
| SHELL_COMM_CLOSE of Comm.t
val request_to_yojson : request -> Yojson.Safe.t
val request_of_yojson :
Yojson.Safe.t ->
request Ppx_deriving_yojson_runtime.error_or
type reply =
| SHELL_KERNEL_INFO_REP of kernel_info_reply
| SHELL_EXEC_REP of exec_reply
| SHELL_INSPECT_REP of inspect_reply
| SHELL_COMPLETE_REP of complete_reply
| SHELL_HISTORY_REP of history_reply
| SHELL_IS_COMPLETE_REP of is_complete_reply
| SHELL_CONNECT_REP of connect_reply
| SHELL_COMM_INFO_REP of comm_info_reply
| SHELL_SHUTDOWN_REP of shutdown
val reply_to_yojson : reply -> Yojson.Safe.t
val reply_of_yojson :
Yojson.Safe.t ->
reply Ppx_deriving_yojson_runtime.error_or