From c114d5cedab38a2f6683eabb7c98e9943eecf8bf Mon Sep 17 00:00:00 2001 From: Masaya Tojo Date: Thu, 28 Mar 2024 02:47:55 +0900 Subject: Add utils/date module. --- utils/date.rkt | 22 ++++++++++++++++++++++ 1 file changed, 22 insertions(+) create mode 100644 utils/date.rkt (limited to 'utils') diff --git a/utils/date.rkt b/utils/date.rkt new file mode 100644 index 0000000..7019832 --- /dev/null +++ b/utils/date.rkt @@ -0,0 +1,22 @@ +#lang typed/racket + +(provide current-date + string->date + date->string) + +(require (only-in typed/racket/date current-date)) +(require (rename-in (only-in typed/srfi/19 + string->date + date->string + date?) + [string->date string->Date] + [date->string Date->string] + [date? Date?])) + +(: string->date (-> String String date)) +(define (string->date str fmt) + (assert (string->Date str fmt) date?)) + +(: date->string (->* (date) (String) String)) +(define (date->string d [f "~c"]) + (Date->string (assert d Date?) f)) -- cgit v1.2.3