Compare commits
3 Commits
c80d07befb
...
c786466d65
Author | SHA1 | Date | |
---|---|---|---|
c786466d65 | |||
febdca7180 | |||
41e092975d |
247
gem300.rkt
247
gem300.rkt
@@ -1,220 +1,53 @@
|
|||||||
#lang racket
|
#lang racket
|
||||||
|
|
||||||
(require openssl)
|
(require (prefix-in net: "net.rkt")
|
||||||
(require net/url)
|
(prefix-in gmi: "gmi.rkt"))
|
||||||
|
|
||||||
(struct text (str))
|
;; global state variable which will be an input port containing the
|
||||||
(struct link (url str ord))
|
;; rendered out gemtext document as it shall be shown to the user
|
||||||
(struct preformatted (str))
|
(define document-buffer null)
|
||||||
|
|
||||||
(define (parse-url line link-#)
|
(define (go-cmd url)
|
||||||
(let ([split (string-split (substring line 2))])
|
(if (non-empty-string? url)
|
||||||
(if (empty? split)
|
(let-values ([(status meta c-in) (net:get url)])
|
||||||
(text line)
|
(let-values ([(document) (gmi:parse (port->lines c-in))]
|
||||||
(link (car split)
|
[(db-in db-out) (make-pipe #f)])
|
||||||
(if (>= (length split) 2)
|
|
||||||
(string-join (cdr split))
|
|
||||||
(car split))
|
|
||||||
link-#))))
|
|
||||||
|
|
||||||
(define (gemtext-parse lines)
|
(set! document-buffer db-in)
|
||||||
(define (iter document lines state link-#)
|
(parameterize ([current-output-port db-out])
|
||||||
;; when there are no more lines, we have finished parsing.
|
(gmi:render document))
|
||||||
(if (empty? lines)
|
|
||||||
;; consing inherently makes everything backwards
|
|
||||||
(reverse document)
|
|
||||||
|
|
||||||
;; otherwise, we have a state machine to traverse.
|
(let ([remaining (pipe-content-length db-in)])
|
||||||
(cond
|
(printf "document retrieved. ~a bytes\n" remaining))
|
||||||
;; turn off preformatted mode
|
|
||||||
[(and (symbol=? 'preformatted state)
|
|
||||||
(or (empty? (cdr lines))
|
|
||||||
(string-prefix? (car lines) "```")))
|
|
||||||
|
|
||||||
;; also hard to follow. at this point:
|
(next-cmd)))
|
||||||
;; 1. the car of the document is necessarily a preformatted block
|
|
||||||
;; and the contents of that block are backwards
|
|
||||||
;; 2. take those contents, reverse them, append them to the
|
|
||||||
;; cdr of the document
|
|
||||||
(iter (cons (preformatted (reverse (preformatted-str (car document))))
|
|
||||||
(cdr document))
|
|
||||||
(cdr lines)
|
|
||||||
'normal
|
|
||||||
link-#)]
|
|
||||||
|
|
||||||
;; add line to most recent preformat block
|
(displayln "go where?")))
|
||||||
[(symbol=? 'preformatted state)
|
|
||||||
;; little bit hard to follow: take the existing
|
|
||||||
;; preformatted blocks content, cons the new line;
|
|
||||||
;; then, cons the new preformatted block to the cdr of
|
|
||||||
;; the document
|
|
||||||
(iter (cons (preformatted (cons (car lines)
|
|
||||||
(preformatted-str (car document))))
|
|
||||||
(cdr document))
|
|
||||||
(cdr lines)
|
|
||||||
'preformatted
|
|
||||||
link-#)]
|
|
||||||
|
|
||||||
;; rest of this is normal mode
|
(define (next-cmd)
|
||||||
|
(define (iter depth)
|
||||||
;; link lines
|
(when (> depth 0)
|
||||||
[(string-prefix? (car lines) "=>")
|
(let ()
|
||||||
(let ([parsed (parse-url (car lines) link-#)])
|
(displayln (read-line document-buffer))
|
||||||
(iter (cons parsed document)
|
(iter (sub1 depth)))))
|
||||||
(cdr lines)
|
|
||||||
'normal
|
|
||||||
(if (link? parsed)
|
|
||||||
(add1 link-#)
|
|
||||||
link-#)))]
|
|
||||||
|
|
||||||
;; preformatting toggle lines
|
|
||||||
[(string-prefix? (car lines) "```")
|
|
||||||
;; add preformatted block to document and toggle mode
|
|
||||||
(iter (cons (preformatted (list)) document)
|
|
||||||
(cdr lines)
|
|
||||||
'preformatted
|
|
||||||
link-#)]
|
|
||||||
|
|
||||||
[else
|
|
||||||
(iter (cons (text (car lines))
|
|
||||||
document)
|
|
||||||
(cdr lines)
|
|
||||||
'normal
|
|
||||||
link-#)])))
|
|
||||||
|
|
||||||
(iter (list) lines 'normal 1))
|
|
||||||
|
|
||||||
|
|
||||||
;; sends a request to a gemini server, and returns the status, header,
|
|
||||||
;; and the input port for the rest of the body.
|
|
||||||
;; this procedure will fail if the response is malformed, however, it
|
|
||||||
;; is not up to it to validate the contents of the response.
|
|
||||||
(define (request url-str)
|
|
||||||
(define url (string->url url-str))
|
|
||||||
(define-values (c-in c-out)
|
|
||||||
(ssl-connect (url-host url)
|
|
||||||
(or (url-port url) 1965)))
|
|
||||||
|
|
||||||
(write-string url-str c-out)
|
|
||||||
(write-string "\r\n" c-out)
|
|
||||||
|
|
||||||
(define-values (status header)
|
|
||||||
(read-response c-in))
|
|
||||||
|
|
||||||
(values status header c-in))
|
|
||||||
|
|
||||||
(define (go-cmd url-str)
|
|
||||||
(define (iter url-str depth)
|
|
||||||
(let-values ([(status header c-in) (request url-str)])
|
|
||||||
;; TODO there are bunch of other status codes to deal with for
|
|
||||||
;; compliance
|
|
||||||
(cond
|
|
||||||
;; clients MUST reject status codes outside of the 10-69 range
|
|
||||||
[(or (< status 10)
|
|
||||||
(> status 69))
|
|
||||||
(error "server returned invalid status code")]
|
|
||||||
|
|
||||||
;; 30-39 redirection
|
|
||||||
[(and (>= status 30)
|
|
||||||
(<= status 39))
|
|
||||||
(if (> depth 5)
|
|
||||||
(error "maximum redirection depth exceeded")
|
|
||||||
(iter header (sub1 depth)))]
|
|
||||||
|
|
||||||
[else
|
|
||||||
(values status header c-in)])))
|
|
||||||
|
|
||||||
(let-values ([(status header c-in) (iter url-str 5)])
|
|
||||||
(render-gemtext (gemtext-parse (port->lines c-in)))))
|
|
||||||
|
|
||||||
(define (read-response (c-in (current-input-port)))
|
|
||||||
(define maxlen 1027)
|
|
||||||
|
|
||||||
(let ([header (peek-string maxlen 0 c-in)])
|
|
||||||
|
|
||||||
(if (not (string-contains? header "\r\n"))
|
|
||||||
(error "header exceeds maximum length")
|
|
||||||
|
|
||||||
(let ([header (read-line c-in 'return-linefeed)])
|
|
||||||
(define-values (status meta)
|
|
||||||
(let ([status-meta (string-split header " ")])
|
|
||||||
(values (car status-meta)
|
|
||||||
(string-join (cdr status-meta)))))
|
|
||||||
|
|
||||||
(cond
|
|
||||||
[(> (string-length status) 2)
|
|
||||||
(error "status code exceeds maximum length")]
|
|
||||||
|
|
||||||
[(andmap (compose not char-numeric?) (string->list status))
|
|
||||||
(error "status code is not numeric")]
|
|
||||||
|
|
||||||
[else
|
|
||||||
(values (string->number status) meta)])))))
|
|
||||||
|
|
||||||
;; takes one long string and reflows it within an 80 character wide
|
|
||||||
;; column
|
|
||||||
(define (render-paragraph paragraph)
|
|
||||||
;; collects from one list of words into another such that the new
|
|
||||||
;; list does not exceed 80 characters when joined, and returns the
|
|
||||||
;; new list and remainder of the first list
|
|
||||||
(define (inner-iter acc rst)
|
|
||||||
(let ([line (string-join acc)])
|
|
||||||
(if (or (empty? rst)
|
|
||||||
(> (string-length line) 80))
|
|
||||||
(values acc rst)
|
|
||||||
(inner-iter (append acc (list (car rst)))
|
|
||||||
(cdr rst)))))
|
|
||||||
|
|
||||||
;; collects from a list of words into sublists of words such that
|
|
||||||
;; each sublist is no greater than 80 characters when joined
|
|
||||||
(define (outer-iter acc rst)
|
|
||||||
(if (empty? rst)
|
|
||||||
acc
|
|
||||||
(let-values ([(inner-acc inner-rst)
|
|
||||||
(inner-iter (list) rst)])
|
|
||||||
(outer-iter (append acc (list inner-acc)) inner-rst))))
|
|
||||||
|
|
||||||
;; the algorithm implemented here does not work for empty
|
|
||||||
;; paragraphs. thus, they are handled as a special case here.
|
|
||||||
(if (non-empty-string? paragraph)
|
|
||||||
;; join each sublist into one string, and display one string per
|
|
||||||
;; line
|
|
||||||
(for-each displayln
|
|
||||||
(map string-join (outer-iter (list) (string-split paragraph))))
|
|
||||||
(newline)))
|
|
||||||
|
|
||||||
(define (render-gemtext document)
|
|
||||||
(for-each (λ (line)
|
|
||||||
(cond [(text? line)
|
|
||||||
(render-paragraph (text-str line))]
|
|
||||||
|
|
||||||
[(preformatted? line)
|
|
||||||
(for-each (λ (line)
|
|
||||||
(displayln line))
|
|
||||||
(preformatted-str line))]
|
|
||||||
|
|
||||||
[(link? line)
|
|
||||||
(printf "[~a] ~a\n" (link-ord line) (link-str line))]))
|
|
||||||
document))
|
|
||||||
|
|
||||||
(define commands
|
|
||||||
(list
|
|
||||||
(cons "default" (lambda (line) (void)))
|
|
||||||
(cons "go" (lambda (line)
|
|
||||||
(request line)))))
|
|
||||||
|
|
||||||
(define (dispatch-command line)
|
|
||||||
(let ([split (string-split line " ")])
|
|
||||||
|
|
||||||
(let ([cmd (assoc (cond [(null? split) "default"]
|
|
||||||
[else (first split)])
|
|
||||||
commands)])
|
|
||||||
(if cmd
|
|
||||||
((cdr cmd) (string-join (cdr split)))
|
|
||||||
(displayln "no such command")))))
|
|
||||||
|
|
||||||
|
(iter 10)
|
||||||
|
(newline)
|
||||||
|
(let ([remaining (pipe-content-length document-buffer)])
|
||||||
|
(printf "~a bytes remaining\n" remaining)))
|
||||||
|
|
||||||
(define (repl)
|
(define (repl)
|
||||||
(display "G300> ")
|
(display "G-300 > ")
|
||||||
(dispatch-command (read-line))
|
|
||||||
|
(let ([matches (regexp-match #px"(\\w+)\\s*(.*)" (read-line))])
|
||||||
|
(cond
|
||||||
|
;; nothing was given. default command
|
||||||
|
[(not matches)
|
||||||
|
(next-cmd)]
|
||||||
|
|
||||||
|
;; go command
|
||||||
|
[(string=? (cadr matches) "go")
|
||||||
|
(go-cmd (caddr matches))]))
|
||||||
|
|
||||||
|
|
||||||
(repl))
|
(repl))
|
||||||
|
144
gmi.rkt
Normal file
144
gmi.rkt
Normal file
@@ -0,0 +1,144 @@
|
|||||||
|
#lang racket
|
||||||
|
|
||||||
|
(provide parse render)
|
||||||
|
|
||||||
|
;; a gemtext document is represented as a list of structs, a struct
|
||||||
|
;; for each type of item in a document.
|
||||||
|
(struct text (str))
|
||||||
|
(struct link (url str ord))
|
||||||
|
(struct pre (str))
|
||||||
|
|
||||||
|
;;;
|
||||||
|
;;; PARSING
|
||||||
|
;;;
|
||||||
|
|
||||||
|
(define (parse-url line link-#)
|
||||||
|
(let ([split (string-split (substring line 2))])
|
||||||
|
(if (empty? split)
|
||||||
|
(text line)
|
||||||
|
(link (car split)
|
||||||
|
(if (>= (length split) 2)
|
||||||
|
(string-join (cdr split))
|
||||||
|
(car split))
|
||||||
|
link-#))))
|
||||||
|
|
||||||
|
(define (parse lines)
|
||||||
|
(define (iter document lines state link-#)
|
||||||
|
;; when there are no more lines, we have finished parsing.
|
||||||
|
(if (empty? lines)
|
||||||
|
;; consing inherently makes everything backwards
|
||||||
|
(reverse document)
|
||||||
|
|
||||||
|
;; otherwise, we have a state machine to traverse.
|
||||||
|
(cond
|
||||||
|
;; turn off preformatted mode
|
||||||
|
[(and (symbol=? 'preformatted state)
|
||||||
|
(or (empty? (cdr lines))
|
||||||
|
(string-prefix? (car lines) "```")))
|
||||||
|
|
||||||
|
;; also hard to follow. at this point:
|
||||||
|
;; 1. the car of the document is necessarily a preformatted block
|
||||||
|
;; and the contents of that block are backwards
|
||||||
|
;; 2. take those contents, reverse them, append them to the
|
||||||
|
;; cdr of the document
|
||||||
|
(iter (cons (pre (reverse (pre-str (car document))))
|
||||||
|
(cdr document))
|
||||||
|
(cdr lines)
|
||||||
|
'normal
|
||||||
|
link-#)]
|
||||||
|
|
||||||
|
;; add line to most recent preformat block
|
||||||
|
[(symbol=? 'preformatted state)
|
||||||
|
;; little bit hard to follow: take the existing
|
||||||
|
;; preformatted blocks content, cons the new line;
|
||||||
|
;; then, cons the new preformatted block to the cdr of
|
||||||
|
;; the document
|
||||||
|
(iter (cons (pre (cons (car lines)
|
||||||
|
(pre-str (car document))))
|
||||||
|
(cdr document))
|
||||||
|
(cdr lines)
|
||||||
|
'preformatted
|
||||||
|
link-#)]
|
||||||
|
|
||||||
|
;; rest of this is normal mode
|
||||||
|
|
||||||
|
;; link lines
|
||||||
|
[(string-prefix? (car lines) "=>")
|
||||||
|
(let ([parsed (parse-url (car lines) link-#)])
|
||||||
|
(iter (cons parsed document)
|
||||||
|
(cdr lines)
|
||||||
|
'normal
|
||||||
|
(if (link? parsed)
|
||||||
|
(add1 link-#)
|
||||||
|
link-#)))]
|
||||||
|
|
||||||
|
;; preformatting toggle lines
|
||||||
|
[(string-prefix? (car lines) "```")
|
||||||
|
;; add preformatted block to document and toggle mode
|
||||||
|
(iter (cons (pre (list)) document)
|
||||||
|
(cdr lines)
|
||||||
|
'preformatted
|
||||||
|
link-#)]
|
||||||
|
|
||||||
|
[else
|
||||||
|
(iter (cons (text (car lines))
|
||||||
|
document)
|
||||||
|
(cdr lines)
|
||||||
|
'normal
|
||||||
|
link-#)])))
|
||||||
|
|
||||||
|
(iter (list) lines 'normal 1))
|
||||||
|
|
||||||
|
;;;
|
||||||
|
;;; RENDERING
|
||||||
|
;;;
|
||||||
|
|
||||||
|
;; takes one long string and reflows it within an 80 character wide
|
||||||
|
;; column
|
||||||
|
(define (render-paragraph paragraph)
|
||||||
|
;; collects from one list of words into another such that the new
|
||||||
|
;; list does not exceed 80 characters when joined, and returns the
|
||||||
|
;; new list and remainder of the first list
|
||||||
|
(define (inner-iter acc rst)
|
||||||
|
(let ([line (string-join acc)])
|
||||||
|
(if (or (empty? rst)
|
||||||
|
(> (string-length line) 80))
|
||||||
|
(values acc rst)
|
||||||
|
(inner-iter (append acc (list (car rst)))
|
||||||
|
(cdr rst)))))
|
||||||
|
|
||||||
|
;; collects from a list of words into sublists of words such that
|
||||||
|
;; each sublist is no greater than 80 characters when joined
|
||||||
|
(define (outer-iter acc rst)
|
||||||
|
(if (empty? rst)
|
||||||
|
acc
|
||||||
|
(let-values ([(inner-acc inner-rst)
|
||||||
|
(inner-iter (list) rst)])
|
||||||
|
(outer-iter (append acc (list inner-acc)) inner-rst))))
|
||||||
|
|
||||||
|
;; the algorithm implemented here does not work for empty
|
||||||
|
;; paragraphs. thus, they are handled as a special case here.
|
||||||
|
(if (non-empty-string? paragraph)
|
||||||
|
;; join each sublist into one string, and display one string per
|
||||||
|
;; line
|
||||||
|
(for-each displayln
|
||||||
|
(map string-join (outer-iter (list) (string-split paragraph))))
|
||||||
|
(newline)))
|
||||||
|
|
||||||
|
;; given a document, which is a list of structs, render it out into
|
||||||
|
;; the current output port exactly as it will be shown to the user
|
||||||
|
(define (render document)
|
||||||
|
(for-each
|
||||||
|
(λ (line)
|
||||||
|
(cond
|
||||||
|
[(text? line)
|
||||||
|
(render-paragraph (text-str line))]
|
||||||
|
|
||||||
|
[(pre? line)
|
||||||
|
(for-each (λ (line)
|
||||||
|
(displayln line))
|
||||||
|
(pre-str line))]
|
||||||
|
|
||||||
|
[(link? line)
|
||||||
|
(printf "[~a] ~a\n" (link-ord line) (link-str line))]))
|
||||||
|
document))
|
71
net.rkt
Normal file
71
net.rkt
Normal file
@@ -0,0 +1,71 @@
|
|||||||
|
#lang racket
|
||||||
|
|
||||||
|
(provide get)
|
||||||
|
|
||||||
|
(require openssl)
|
||||||
|
(require net/url)
|
||||||
|
|
||||||
|
;; sends a request to a gemini server, and returns the status, header,
|
||||||
|
;; and the input port for the rest of the body.
|
||||||
|
;; this procedure will fail if the response is malformed, however, it
|
||||||
|
;; is not up to it to validate the contents of the response.
|
||||||
|
(define (send-request url-str)
|
||||||
|
(define url (string->url url-str))
|
||||||
|
(define-values (c-in c-out)
|
||||||
|
(ssl-connect (url-host url)
|
||||||
|
(or (url-port url) 1965)))
|
||||||
|
|
||||||
|
(write-string url-str c-out)
|
||||||
|
(write-string "\r\n" c-out)
|
||||||
|
|
||||||
|
(define-values (status header)
|
||||||
|
(read-response c-in))
|
||||||
|
|
||||||
|
(values status header c-in))
|
||||||
|
|
||||||
|
(define (read-response (c-in (current-input-port)))
|
||||||
|
(define maxlen 1027)
|
||||||
|
|
||||||
|
(let ([header (peek-string maxlen 0 c-in)])
|
||||||
|
|
||||||
|
(if (not (string-contains? header "\r\n"))
|
||||||
|
(error "header exceeds maximum length")
|
||||||
|
|
||||||
|
(let ([header (read-line c-in 'return-linefeed)])
|
||||||
|
(define-values (status meta)
|
||||||
|
(let ([status-meta (string-split header " ")])
|
||||||
|
(values (car status-meta)
|
||||||
|
(string-join (cdr status-meta)))))
|
||||||
|
|
||||||
|
(cond
|
||||||
|
[(> (string-length status) 2)
|
||||||
|
(error "status code exceeds maximum length")]
|
||||||
|
|
||||||
|
[(andmap (compose not char-numeric?) (string->list status))
|
||||||
|
(error "status code is not numeric")]
|
||||||
|
|
||||||
|
[else
|
||||||
|
(values (string->number status) meta)])))))
|
||||||
|
|
||||||
|
(define (get url-str)
|
||||||
|
(define (iter url-str depth)
|
||||||
|
(let-values ([(status header c-in) (send-request url-str)])
|
||||||
|
;; TODO there are bunch of other status codes to deal with for
|
||||||
|
;; compliance
|
||||||
|
(cond
|
||||||
|
;; clients MUST reject status codes outside of the 10-69 range
|
||||||
|
[(or (< status 10)
|
||||||
|
(> status 69))
|
||||||
|
(error "server returned invalid status code")]
|
||||||
|
|
||||||
|
;; 30-39 redirection
|
||||||
|
[(and (>= status 30)
|
||||||
|
(<= status 39))
|
||||||
|
(if (> depth 5)
|
||||||
|
(error "maximum redirection depth exceeded")
|
||||||
|
(iter header (sub1 depth)))]
|
||||||
|
|
||||||
|
[else
|
||||||
|
(values status header c-in)])))
|
||||||
|
|
||||||
|
(iter url-str 5))
|
Reference in New Issue
Block a user