Add function type annotations
[tt.git] / tt.rkt
diff --git a/tt.rkt b/tt.rkt
index 42153ec..43ec570 100644 (file)
--- a/tt.rkt
+++ b/tt.rkt
@@ -1,32 +1,40 @@
-#lang racket
+#lang typed/racket/no-check
 
 (require openssl/sha1)
 (require racket/date)
-(require (prefix-in info: setup/getinfo))
 (require
   net/http-client
   net/url-string
   net/url-structs)
 
-(require rfc3339-old)
+(require (prefix-in info: "info.rkt"))
 
 (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_rfc3339 : 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
@@ -70,6 +78,7 @@
          [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 uri color text)])))))
 
-; TODO Implement rfc3339->epoch and remove dependency on rfc3339-old
-
+(: str->msg (-> String Url String (Option Msg)))
 (define str->msg
-  (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]+(.*)$")])
+  ; 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]+(.*)$")])
     (λ (nick uri str)
        (with-handlers*
          ([exn:fail?
                  str nick (url->string uri) e)
                #f)])
          (match (regexp-match re str)
-           [(list _wholething ts s _fractional tz text)
+           [(list _wholething ts yyyy mm dd HH MM _:SS SS _f tz text)
             (let*
-              ([ts_rfc3339 (string-append ts (if s "" ":00") (if tz tz ""))]
-               [t          (string->rfc3339-record ts_rfc3339)]
-               [s          (rfc3339-record:second t)]
                ; TODO handle tz offset
-               [ts_epoch (find-seconds [if s s 0]
-                                       [rfc3339-record:minute t]
-                                       [rfc3339-record:hour   t]
-                                       [rfc3339-record:mday   t]
-                                       [rfc3339-record:month  t]
-                                       [rfc3339-record:year   t])])
+              ([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))]
            [_
              (log-debug "Non-msg line from nick:~a, line:~a" nick str)
       (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)))
 
+(: 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"]
-     [prog-version   ((info:get-info (list prog-name)) 'version)]
+     [prog-version   (info:#%info-lookup 'version)]
      [prog-uri       "https://github.com/xandkar/tt"]
      [user-feed-file (expand-user-path "~/twtxt-me.txt")]
      [user
            (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)
   (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)])
This page took 0.049142 seconds and 4 git commands to generate.