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

Add typed/srfi/19 to typed-racket-more

Browse Source 
Closes #22.
This commit is contained in:
Alexis King 2015-01-31 18:00:36 -08:00 committed by Sam Tobin-Hochstadt
parent 13614ae5c2
commit ece97e5e5c
2 changed files with 105 additions and 0 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

1
typed-racket-doc/typed-racket/scribblings/reference/libraries.scrbl
View File

@ -77,6 +77,7 @@ The following libraries are included with Typed Racket in the
@defmodule/incl[typed/racket/system]
@defmodule/incl[typed/rackunit]
@defmodule/incl[typed/srfi/14]
@defmodule/incl[typed/srfi/19]
@defmodule/incl[typed/syntax/stx]
@defmodule/incl[typed/json]

104
typed-racket-more/typed/srfi/19.rkt Normal file
View File

@ -0,0 +1,104 @@
#lang typed/racket/base
(require/typed/provide
srfi/19
[#:opaque Time time?]
[#:opaque Date date?])
(require/typed/provide
srfi/19
; Constants
[time-duration Symbol]
[time-monotonic Symbol]
[time-process Symbol]
[time-tai Symbol]
[time-thread Symbol]
[time-utc Symbol]
; Current time and clock resolution
[current-date ([] [Integer] . ->* . Date)]
[current-julian-day (-> Real)]
[current-modified-julian-day (-> Real)]
[current-time ([] [Symbol] . ->* . Time)]
[time-resolution ([] [Symbol] . ->* . Integer)]
; Time object and accessors
[make-time (Symbol Index Byte -> Time)]
[time-type (Time -> Symbol)]
[time-nanosecond (Time -> Index)]
[time-second (Time -> Byte)]
[set-time-type! (Time Symbol -> Void)]
[set-time-nanosecond! (Time Index -> Void)]
[set-time-second! (Time Byte -> Void)]
[copy-time (Time -> Time)]
; Time comparison procedures
[time<=? (Time Time -> Boolean)]
[time<? (Time Time -> Boolean)]
[time=? (Time Time -> Boolean)]
[time>=? (Time Time -> Boolean)]
[time>? (Time Time -> Boolean)]
; Time arithmetic procedures
[time-difference (Time Time -> Time)]
[time-difference! (Time Time -> Time)]
[add-duration (Time Time -> Time)]
[add-duration! (Time Time -> Time)]
[subtract-duration (Time Time -> Time)]
[subtract-duration! (Time Time -> Time)]
; Date object and accessors
[make-date (Index Byte Byte Byte Byte Positive-Byte Integer Integer -> Date)]
[date-nanosecond (Date -> Index)]
[date-second (Date -> Byte)]
[date-minute (Date -> Byte)]
[date-hour (Date -> Byte)]
[date-day (Date -> Byte)]
[date-month (Date -> Positive-Byte)]
[date-year (Date -> Integer)]
[date-zone-offset (Date -> Integer)]
[date-year-day (Date -> Positive-Index)]
[date-week-day (Date -> Byte)]
[date-week-number (Date Byte -> Byte)]
; Time/Date/Julian Day/Modified Julian Day Converters
[date->julian-day (Date -> Real)]
[date->modified-julian-day (Date -> Real)]
[date->time-monotonic (Date -> Time)]
[date->time-tai (Date -> Time)]
[date->time-utc (Date -> Time)]
[julian-day->date ([Real] [Integer] . ->* . Date)]
[julian-day->time-monotonic (Real -> Time)]
[julian-day->time-tai (Real -> Time)]
[julian-day->time-utc (Real -> Time)]
[modified-julian-day->date ([Real] [Integer] . ->* . Date)]
[modified-julian-day->time-monotonic (Real -> Time)]
[modified-julian-day->time-tai (Real -> Time)]
[modified-julian-day->time-utc (Real -> Time)]
[time-monotonic->date ([Time] [Integer] . ->* . Date)]
[time-monotonic->julian-day (Time -> Real)]
[time-monotonic->modified-julian-day (Time -> Real)]
[time-monotonic->time-tai (Time -> Time)]
[time-monotonic->time-tai! (Time -> Time)]
[time-monotonic->time-utc (Time -> Time)]
[time-monotonic->time-utc! (Time -> Time)]
[time-tai->date ([Time] [Integer] . ->* . Date)]
[time-tai->julian-day (Time -> Real)]
[time-tai->modified-julian-day (Time -> Real)]
[time-tai->time-monotonic (Time -> Time)]
[time-tai->time-monotonic! (Time -> Time)]
[time-tai->time-utc (Time -> Time)]
[time-tai->time-utc! (Time -> Time)]
[time-utc->date ([Time] [Integer] . ->* . Date)]
[time-utc->julian-day (Time -> Real)]
[time-utc->modified-julian-day (Time -> Real)]
[time-utc->time-monotonic (Time -> Time)]
[time-utc->time-monotonic! (Time -> Time)]
[time-utc->time-tai (Time -> Time)]
[time-utc->time-tai! (Time -> Time)]
; Date to String/String to Date Converters
[date->string ([Date] [String] . ->* . String)]
[string->date (String String -> Date)]
)