suzanne.soy/racket
1
0
Fork 0
Code Issues Pull Requests Actions Packages Projects Releases Wiki Activity

Typed version of `racket/date'.

Browse Source 
Contracts make it hard to have this library automatically typed.
This commit is contained in:
Sam Tobin-Hochstadt 2011-08-22 09:46:12 -04:00
parent 2bc2050c08
commit e39abf17da
1 changed files with 15 additions and 0 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

15
collects/typed/racket/date.rkt Normal file
View File

@ -0,0 +1,15 @@
#lang typed/racket/base
(require "../private/utils.rkt")
(require/typed/provide
racket/date
[date->seconds (case-> (date -> Integer)
(date Any -> Integer))]
[date->string (case-> (date -> String)
(date Any -> String))]
[current-date (-> date)]
[date-display-format (Parameterof (U 'american 'chinese 'german 'indian
'irish 'iso-8601 'rfc2822 'julian))]
[find-seconds (case-> (Integer Integer Integer Integer Integer Integer -> Integer)
(Integer Integer Integer Integer Integer Integer Any -> Integer))]
[date->julian/scalinger (date -> Integer)]
[julian/scalinger->string (Integer -> String)])