Mentions légales du service

Skip to content
Snippets Groups Projects
Commit e20db475 authored by Ludovic Courtès's avatar Ludovic Courtès
Browse files

messages: Define <complete-request> and <complete-reply>.

* modules/jupyter/messages.scm (<complete-request>, <complete-reply>):
New data types.
parent 65ec9a18
No related branches found
No related tags found
No related merge requests found
...@@ -138,7 +138,24 @@ ...@@ -138,7 +138,24 @@
inspect-reply-data inspect-reply-data
inspect-reply-metadata inspect-reply-metadata
json->inspect-reply json->inspect-reply
inspect-reply->json)) inspect-reply->json
complete-request?
complete-request
complete-request-code
complete-request-cursor-position
json->complete-request
complete-request->json
complete-reply?
complete-reply
complete-reply-status
complete-reply-matches
complete-reply-cursor-start
complete-reply-cursor-end
complete-reply-metadata
json->complete-reply
complete-reply->json))
;;; Commentary: ;;; Commentary:
;;; ;;;
...@@ -452,3 +469,25 @@ This is a low-level procedure for internal use." ...@@ -452,3 +469,25 @@ This is a low-level procedure for internal use."
(json "data") (default '())) (json "data") (default '()))
(metadata inspect-reply-metadata (metadata inspect-reply-metadata
(json "metadata") (default '()))) (json "metadata") (default '())))
(define-json-mapping <complete-request> complete-request
make-complete-request
complete-request?
json->complete-request <=> complete-request->json
(code complete-request-code)
(cursor-position complete-request-cursor-position
(json "cursor_pos")))
(define-json-mapping <complete-reply> complete-reply
make-complete-reply
complete-reply?
json->complete-reply <=> complete-reply->json
(status complete-reply-status
(json "status" string->symbol symbol->string)
(default 'ok))
(matches complete-reply-matches
(json "matches" vector->list list->vector))
(cursor-start complete-reply-cursor-start (json "cursor_start"))
(cursor-end complete-reply-cursor-end (json "cursor_end"))
(metadata complete-reply-metadata
(json "metadata") (default '())))
0% Loading or .
You are about to add 0 people to the discussion. Proceed with caution.
Please register or to comment