-#lang racket
+#lang typed/racket/no-check
(require openssl/sha1)
(require racket/date)
(module+ test
(require rackunit))
+(define-type Url
+ net/url-structs:url)
+
+(define-type Out-Format
+ (U 'single-line
+ 'multi-line))
+
+(define-type Timeline-Order
+ (U 'old->new
+ 'new->old))
+
(struct msg
- (
- ts_epoch ; Integer
- ts_rfc3339 ; String
- nick ; String
- uri ; net/url-structs:url
- text ; String
- ))
+ ([ts_epoch : Integer]
+ [ts-orig : String]
+ [nick : String]
+ [uri : Url]
+ [text : String])
+ #:type-name Msg)
(struct feed
- (
- nick ; String
- uri ; net/url-structs:url
- ))
+ ([nick : String]
+ [uri : Url])
+ #:type-name Feed)
(define (concurrent-filter-map num_workers f xs)
; TODO preserve order of elements OR communicate that reorder is expected
[expected (sort ( filter-map f xs) <)])
(check-equal? actual expected "concurrent-filter-map")))
+(: msg-print (-> Out-Format Integer Msg Void))
(define msg-print
(let* ([colors (vector 36 33)]
[n (vector-length colors)])
(date->string (seconds->date [msg-ts_epoch msg]) #t))
nick color text)]
['multi-line
- (printf "~a~n\033[1;37m<~a ~a>\033[0m~n\033[0;~am~a\033[0m~n~n"
+ (printf "~a (~a)~n\033[1;37m<~a ~a>\033[0m~n\033[0;~am~a\033[0m~n~n"
(parameterize ([date-display-format 'rfc2822])
(date->string (seconds->date [msg-ts_epoch msg]) #t))
+ (msg-ts-orig msg)
nick uri color text)])))))
+(: rfc3339->epoch (-> String (Option Nonnegative-Integer)))
+(define rfc3339->epoch
+ (let ([re (pregexp "^([0-9]{4})-([0-9]{2})-([0-9]{2})T([0-9]{2}):([0-9]{2})(:([0-9]{2}))?(\\.[0-9]+)?(Z|([+-])([0-9]{1,2}):?([0-9]{2}))?$")])
+ (λ (ts)
+ (match (regexp-match re ts)
+ [(list _wholething yyyy mm dd HH MM _:SS SS _fractional tz-whole tz-sign tz-HH tz-MM)
+ (let*
+ ([tz-offset
+ (match* (tz-whole tz-sign tz-HH tz-MM)
+ [("Z" #f #f #f)
+ 0]
+ [(_ (or "-" "+") (? identity h) (? identity m))
+ (let ([h (string->number h)]
+ [m (string->number m)]
+ ; Reverse to get back to UTC:
+ [op (match tz-sign ["+" -] ["-" +])])
+ (op 0 (+ (* 60 m) (* 60 (* 60 h)))))]
+ [(a b c d)
+ (log-warning "Impossible TZ string: ~v, components: ~v ~v ~v ~v" tz-whole a b c d)
+ 0])]
+ [ts-orig ts]
+ [local-time? #f]
+ [ts-epoch (find-seconds (if SS (string->number SS) 0)
+ (string->number MM)
+ (string->number HH)
+ (string->number dd)
+ (string->number mm)
+ (string->number yyyy)
+ local-time?)])
+ (+ ts-epoch tz-offset))]
+ [_
+ (log-error "Invalid timestamp: ~v" ts)
+ #f]))))
+
+(: str->msg (-> String Url String (Option Msg)))
(define str->msg
- ; TODO Split parsing into 2 stages: 1) line->list; 2) rfc3339->epoch.
- (let ([re (pregexp "^(([0-9]{4})-([0-9]{2})-([0-9]{2})T([0-9]{2}):([0-9]{2})(:([0-9]{2}))?)(\\.[0-9]+)?([^\\s\t]*)[\\s\t]+(.*)$")])
+ (let ([re (pregexp "^([^\\s\t]+)[\\s\t]+(.*)$")])
(λ (nick uri str)
(with-handlers*
([exn:fail?
str nick (url->string uri) e)
#f)])
(match (regexp-match re str)
- [(list _wholething ts yyyy mm dd HH MM _:SS SS _f tz text)
- (let*
- ; TODO handle tz offset
- ([ts_rfc3339 (string-append ts (if SS "" ":00") (if tz tz ""))]
- [ts_epoch (find-seconds (if SS (string->number SS) 0)
- (string->number MM)
- (string->number HH)
- (string->number dd)
- (string->number mm)
- (string->number yyyy))])
- (msg ts_epoch ts_rfc3339 nick uri text))]
+ [(list _wholething ts-orig text)
+ (let ([ts-epoch (rfc3339->epoch ts-orig)])
+ (if ts-epoch
+ (msg ts-epoch ts-orig nick uri text)
+ (begin
+ (log-error
+ "Msg rejected due to invalid timestamp: ~v, nick:~v, uri:~v"
+ str nick (url->string uri))
+ #f)))]
[_
(log-debug "Non-msg line from nick:~a, line:~a" nick str)
#f])))))
(check-equal? (msg-nick m) n)
(check-equal? (msg-uri m) u)
(check-equal? (msg-text m) txt)
- (check-equal? (msg-ts_rfc3339 m) ts (format "Given: ~v" ts))
+ (check-equal? (msg-ts-orig m) ts (format "Given: ~v" ts))
)))
(let* ([ts "2020-11-18T22:22:09-0500"]
[uri "bar"]
[actual (str->msg nick uri (string-append ts tab text))]
[expected (msg 1605756129 ts nick uri text)])
- ; FIXME re-enable after handling tz offset
- ;(check-equal?
- ; (msg-ts_epoch actual)
- ; (msg-ts_epoch expected)
- ; "str->msg ts_epoch")
(check-equal?
- (msg-ts_rfc3339 actual)
- (msg-ts_rfc3339 expected)
- "str->msg ts_rfc3339")
+ (msg-ts_epoch actual)
+ (msg-ts_epoch expected)
+ "str->msg ts_epoch")
+ (check-equal?
+ (msg-ts-orig actual)
+ (msg-ts-orig expected)
+ "str->msg ts-orig")
(check-equal?
(msg-nick actual)
(msg-nick expected)
(msg-text expected)
"str->msg text")))
+(: str->lines (-> String (Listof String)))
(define (str->lines str)
(string-split str (regexp "[\r\n]+")))
(module+ test
(check-equal? (str->lines "abc\ndef\n\nghi") '("abc" "def" "ghi")))
+(: str->msgs (-> String Url String (Listof Msg)))
(define (str->msgs nick uri str)
- (filter-map (λ (line) (str->msg nick uri line)) (str->lines str)))
+ (filter-map (λ (line) (str->msg nick uri line)) (filter-comments (str->lines str))))
+(: hash-sha1 (-> String String))
(define (hash-sha1 str)
(define in (open-input-string str))
(define digest (sha1 in))
(close-input-port in)
digest)
+(: url->cache-file-path (-> Url Path-String))
(define (url->cache-file-path uri)
; TODO Replace hashing with encoding
(expand-user-path (string-append "~/.tt/cache/" (hash-sha1 (url->string uri)))))
+; TODO Return Option
+(: uri-read-cached (-> Url String))
(define (uri-read-cached uri)
(define path (url->cache-file-path uri))
(if (file-exists? path)
(log-warning "Cache file not found for URI: ~a" (url->string uri))
"")))
+(: str->feed (String (Option Feed)))
(define (str->feed str)
(log-debug "Parsing feed string: ~v" str)
(match (string-split str)
(log-error "Invalid feed string: ~v" str)
#f]))
+(: filter-comments (-> (Listof String) (Listof String)))
(define (filter-comments lines)
(filter-not (λ (line) (string-prefix? line "#")) lines))
+(: str->feeds (-> String (Listof Feed)))
(define (str->feeds str)
(filter-map str->feed (filter-comments (str->lines str))))
+(: file->feeds (-> Path-String (Listof Feed)))
(define (file->feeds filename)
(str->feeds (file->string filename)))
+(: user-agent String)
(define user-agent
(let*
([prog-name "tt"]
(format "+~a" prog-uri))])
(format "~a/~a (~a)" prog-name prog-version user)))
-; uri-download : net/url-structs:url -> Void
+(: uri-download (-> Url Void))
(define (uri-download u)
(define cache-file-path (url->cache-file-path u))
(log-debug "uri-download ~v into ~v" u cache-file-path)
[(_ _ _)
(log-error "Invalid URI: ~v" u)]))
+(: timeline-print (-> Out-Format (Listof Msg) Void))
(define (timeline-print out-format timeline)
(void (foldl (match-lambda**
[((and m (msg _ _ nick _ _)) (cons prev-nick i))
(cons "" 0)
timeline)))
-; feed->msgs : Feed -> (Listof Msg)
+(: feed->msgs (-> Feed (Listof Msg)))
(define (feed->msgs f)
(match-define (feed nick uri) f)
- (log-info "Reading feed nick:~a uri:~v" nick uri)
+ (log-info "Reading feed nick:~a uri:~v" nick (url->string uri))
(str->msgs nick uri (uri-read-cached uri)))
-; feed-download : Feed -> Void
+(: feed-download (-> Feed Void))
(define (feed-download f)
(match-define (feed nick uri) f)
(log-info "Downloading feed nick:~a uri:~a" nick (url->string uri))
#f)])
(uri-download uri)))
-; timeline-download : Integer -> (Listof Feed) -> Void
+(: timeline-download (-> Integer (Listof Feed) Void))
(define (timeline-download num_workers feeds)
; TODO No need for map - can just iter
(void (concurrent-filter-map num_workers feed-download feeds)))
; TODO timeline contract : time-sorted list of messages
-; timeline-read : (U 'old->new 'new->old) -> (Listof Feeds) -> (Listof Msg)
+(: timeline-read (-> Timeline-Order (Listof Feed) (Listof Msg)))
(define (timeline-read order feeds)
(define cmp (match order
['old->new <]
(sort (append* (filter-map feed->msgs feeds))
(λ (a b) (cmp (msg-ts_epoch a) (msg-ts_epoch b)))))
+(: start-logger (-> Log-Level Void))
(define (start-logger level)
(let* ([logger (make-logger #f #f level #f)]
[log-receiver (make-log-receiver logger level)])
(timeline-download num_workers (file->feeds filename))))]
[(or "u" "upload")
(command-line
- #:program
- "tt upload"
- #:args ()
- (if (system (path->string (expand-user-path "~/.tt/upload")))
+ #:program
+ "tt upload"
+ #:args ()
+ (if (system (path->string (expand-user-path "~/.tt/upload")))
(exit 0)
(exit 1)))]
[(or "r" "read")
home / code / tt.git / blobdiff