Artifact
c70b1ba42160239b0c395e607f3b649ef805df87:
- File
srfi/s19/time.sls
— part of check-in
[80c8c83034]
at
2016-07-07 18:11:39
on branch trunk
— initial import
(user:
ovenpasta@pizzahack.eu
size: 2225)
0000: 3b 3b 20 43 6f 70 79 72 69 67 68 74 20 28 63 29 ;; Copyright (c)
0010: 20 32 30 30 39 20 44 65 72 69 63 6b 20 45 64 64 2009 Derick Edd
0020: 69 6e 67 74 6f 6e 2e 20 20 41 6c 6c 20 72 69 67 ington. All rig
0030: 68 74 73 20 72 65 73 65 72 76 65 64 2e 0a 3b 3b hts reserved..;;
0040: 20 4c 69 63 65 6e 73 65 64 20 75 6e 64 65 72 20 Licensed under
0050: 61 6e 20 4d 49 54 2d 73 74 79 6c 65 20 6c 69 63 an MIT-style lic
0060: 65 6e 73 65 2e 20 20 4d 79 20 6c 69 63 65 6e 73 ense. My licens
0070: 65 20 69 73 20 69 6e 20 74 68 65 20 66 69 6c 65 e is in the file
0080: 0a 3b 3b 20 6e 61 6d 65 64 20 4c 49 43 45 4e 53 .;; named LICENS
0090: 45 20 66 72 6f 6d 20 74 68 65 20 6f 72 69 67 69 E from the origi
00a0: 6e 61 6c 20 63 6f 6c 6c 65 63 74 69 6f 6e 20 74 nal collection t
00b0: 68 69 73 20 66 69 6c 65 20 69 73 20 64 69 73 74 his file is dist
00c0: 72 69 62 75 74 65 64 0a 3b 3b 20 77 69 74 68 2e ributed.;; with.
00d0: 20 20 49 66 20 74 68 69 73 20 66 69 6c 65 20 69 If this file i
00e0: 73 20 72 65 64 69 73 74 72 69 62 75 74 65 64 20 s redistributed
00f0: 77 69 74 68 20 73 6f 6d 65 20 6f 74 68 65 72 20 with some other
0100: 63 6f 6c 6c 65 63 74 69 6f 6e 2c 20 6d 79 0a 3b collection, my.;
0110: 3b 20 6c 69 63 65 6e 73 65 20 6d 75 73 74 20 61 ; license must a
0120: 6c 73 6f 20 62 65 20 69 6e 63 6c 75 64 65 64 2e lso be included.
0130: 0a 0a 23 21 72 36 72 73 0a 28 6c 69 62 72 61 72 ..#!r6rs.(librar
0140: 79 20 28 73 72 66 69 20 73 31 39 20 74 69 6d 65 y (srfi s19 time
0150: 29 0a 20 20 28 65 78 70 6f 72 74 0a 20 20 20 20 ). (export.
0160: 74 69 6d 65 20 6d 61 6b 65 2d 74 69 6d 65 20 74 time make-time t
0170: 69 6d 65 3f 20 74 69 6d 65 2d 74 79 70 65 20 74 ime? time-type t
0180: 69 6d 65 2d 6e 61 6e 6f 73 65 63 6f 6e 64 20 74 ime-nanosecond t
0190: 69 6d 65 2d 73 65 63 6f 6e 64 0a 20 20 20 20 64 ime-second. d
01a0: 61 74 65 20 6d 61 6b 65 2d 64 61 74 65 20 64 61 ate make-date da
01b0: 74 65 3f 20 64 61 74 65 2d 6e 61 6e 6f 73 65 63 te? date-nanosec
01c0: 6f 6e 64 20 64 61 74 65 2d 73 65 63 6f 6e 64 20 ond date-second
01d0: 64 61 74 65 2d 6d 69 6e 75 74 65 20 0a 20 20 20 date-minute .
01e0: 20 64 61 74 65 2d 68 6f 75 72 20 64 61 74 65 2d date-hour date-
01f0: 64 61 79 20 64 61 74 65 2d 6d 6f 6e 74 68 20 64 day date-month d
0200: 61 74 65 2d 79 65 61 72 20 64 61 74 65 2d 7a 6f ate-year date-zo
0210: 6e 65 2d 6f 66 66 73 65 74 0a 20 20 20 20 74 69 ne-offset. ti
0220: 6d 65 2d 74 61 69 20 74 69 6d 65 2d 75 74 63 20 me-tai time-utc
0230: 74 69 6d 65 2d 6d 6f 6e 6f 74 6f 6e 69 63 0a 20 time-monotonic.
0240: 20 20 20 23 7c 74 69 6d 65 2d 74 68 72 65 61 64 #|time-thread
0250: 20 74 69 6d 65 2d 70 72 6f 63 65 73 73 7c 23 20 time-process|#
0260: 74 69 6d 65 2d 64 75 72 61 74 69 6f 6e 0a 20 20 time-duration.
0270: 20 20 72 65 61 64 2d 6c 65 61 70 2d 73 65 63 6f read-leap-seco
0280: 6e 64 2d 74 61 62 6c 65 20 63 6f 70 79 2d 74 69 nd-table copy-ti
0290: 6d 65 20 63 75 72 72 65 6e 74 2d 74 69 6d 65 0a me current-time.
02a0: 20 20 20 20 74 69 6d 65 2d 72 65 73 6f 6c 75 74 time-resolut
02b0: 69 6f 6e 20 74 69 6d 65 3d 3f 20 74 69 6d 65 3e ion time=? time>
02c0: 3f 20 74 69 6d 65 3c 3f 20 74 69 6d 65 3e 3d 3f ? time<? time>=?
02d0: 20 74 69 6d 65 3c 3d 3f 0a 20 20 20 20 74 69 6d time<=?. tim
02e0: 65 2d 64 69 66 66 65 72 65 6e 63 65 20 74 69 6d e-difference tim
02f0: 65 2d 64 69 66 66 65 72 65 6e 63 65 21 20 61 64 e-difference! ad
0300: 64 2d 64 75 72 61 74 69 6f 6e 0a 20 20 20 20 61 d-duration. a
0310: 64 64 2d 64 75 72 61 74 69 6f 6e 21 20 73 75 62 dd-duration! sub
0320: 74 72 61 63 74 2d 64 75 72 61 74 69 6f 6e 20 73 tract-duration s
0330: 75 62 74 72 61 63 74 2d 64 75 72 61 74 69 6f 6e ubtract-duration
0340: 21 0a 20 20 20 20 74 69 6d 65 2d 74 61 69 2d 3e !. time-tai->
0350: 74 69 6d 65 2d 75 74 63 20 74 69 6d 65 2d 74 61 time-utc time-ta
0360: 69 2d 3e 74 69 6d 65 2d 75 74 63 21 20 74 69 6d i->time-utc! tim
0370: 65 2d 75 74 63 2d 3e 74 69 6d 65 2d 74 61 69 0a e-utc->time-tai.
0380: 20 20 20 20 74 69 6d 65 2d 75 74 63 2d 3e 74 69 time-utc->ti
0390: 6d 65 2d 74 61 69 21 20 74 69 6d 65 2d 6d 6f 6e me-tai! time-mon
03a0: 6f 74 6f 6e 69 63 2d 3e 74 69 6d 65 2d 75 74 63 otonic->time-utc
03b0: 0a 20 20 20 20 74 69 6d 65 2d 6d 6f 6e 6f 74 6f . time-monoto
03c0: 6e 69 63 2d 3e 74 69 6d 65 2d 75 74 63 21 20 74 nic->time-utc! t
03d0: 69 6d 65 2d 6d 6f 6e 6f 74 6f 6e 69 63 2d 3e 74 ime-monotonic->t
03e0: 69 6d 65 2d 74 61 69 0a 20 20 20 20 74 69 6d 65 ime-tai. time
03f0: 2d 6d 6f 6e 6f 74 6f 6e 69 63 2d 3e 74 69 6d 65 -monotonic->time
0400: 2d 74 61 69 21 20 74 69 6d 65 2d 75 74 63 2d 3e -tai! time-utc->
0410: 74 69 6d 65 2d 6d 6f 6e 6f 74 6f 6e 69 63 0a 20 time-monotonic.
0420: 20 20 20 74 69 6d 65 2d 75 74 63 2d 3e 74 69 6d time-utc->tim
0430: 65 2d 6d 6f 6e 6f 74 6f 6e 69 63 21 20 74 69 6d e-monotonic! tim
0440: 65 2d 74 61 69 2d 3e 74 69 6d 65 2d 6d 6f 6e 6f e-tai->time-mono
0450: 74 6f 6e 69 63 0a 20 20 20 20 74 69 6d 65 2d 74 tonic. time-t
0460: 61 69 2d 3e 74 69 6d 65 2d 6d 6f 6e 6f 74 6f 6e ai->time-monoton
0470: 69 63 21 20 74 69 6d 65 2d 74 61 69 2d 3e 64 61 ic! time-tai->da
0480: 74 65 20 74 69 6d 65 2d 75 74 63 2d 3e 64 61 74 te time-utc->dat
0490: 65 0a 20 20 20 20 74 69 6d 65 2d 6d 6f 6e 6f 74 e. time-monot
04a0: 6f 6e 69 63 2d 3e 64 61 74 65 20 64 61 74 65 2d onic->date date-
04b0: 3e 74 69 6d 65 2d 75 74 63 20 64 61 74 65 2d 3e >time-utc date->
04c0: 74 69 6d 65 2d 74 61 69 0a 20 20 20 20 64 61 74 time-tai. dat
04d0: 65 2d 3e 74 69 6d 65 2d 6d 6f 6e 6f 74 6f 6e 69 e->time-monotoni
04e0: 63 20 6c 65 61 70 2d 79 65 61 72 3f 20 64 61 74 c leap-year? dat
04f0: 65 2d 79 65 61 72 2d 64 61 79 0a 20 20 20 20 64 e-year-day. d
0500: 61 74 65 2d 77 65 65 6b 2d 64 61 79 20 64 61 74 ate-week-day dat
0510: 65 2d 77 65 65 6b 2d 6e 75 6d 62 65 72 20 63 75 e-week-number cu
0520: 72 72 65 6e 74 2d 64 61 74 65 0a 20 20 20 20 64 rrent-date. d
0530: 61 74 65 2d 3e 6a 75 6c 69 61 6e 2d 64 61 79 20 ate->julian-day
0540: 64 61 74 65 2d 3e 6d 6f 64 69 66 69 65 64 2d 6a date->modified-j
0550: 75 6c 69 61 6e 2d 64 61 79 0a 20 20 20 20 74 69 ulian-day. ti
0560: 6d 65 2d 75 74 63 2d 3e 6a 75 6c 69 61 6e 2d 64 me-utc->julian-d
0570: 61 79 20 74 69 6d 65 2d 75 74 63 2d 3e 6d 6f 64 ay time-utc->mod
0580: 69 66 69 65 64 2d 6a 75 6c 69 61 6e 2d 64 61 79 ified-julian-day
0590: 0a 20 20 20 20 74 69 6d 65 2d 74 61 69 2d 3e 6a . time-tai->j
05a0: 75 6c 69 61 6e 2d 64 61 79 20 74 69 6d 65 2d 74 ulian-day time-t
05b0: 61 69 2d 3e 6d 6f 64 69 66 69 65 64 2d 6a 75 6c ai->modified-jul
05c0: 69 61 6e 2d 64 61 79 0a 20 20 20 20 74 69 6d 65 ian-day. time
05d0: 2d 6d 6f 6e 6f 74 6f 6e 69 63 2d 3e 6a 75 6c 69 -monotonic->juli
05e0: 61 6e 2d 64 61 79 0a 20 20 20 20 74 69 6d 65 2d an-day. time-
05f0: 6d 6f 6e 6f 74 6f 6e 69 63 2d 3e 6d 6f 64 69 66 monotonic->modif
0600: 69 65 64 2d 6a 75 6c 69 61 6e 2d 64 61 79 20 6a ied-julian-day j
0610: 75 6c 69 61 6e 2d 64 61 79 2d 3e 74 69 6d 65 2d ulian-day->time-
0620: 75 74 63 0a 20 20 20 20 6a 75 6c 69 61 6e 2d 64 utc. julian-d
0630: 61 79 2d 3e 74 69 6d 65 2d 74 61 69 20 6a 75 6c ay->time-tai jul
0640: 69 61 6e 2d 64 61 79 2d 3e 74 69 6d 65 2d 6d 6f ian-day->time-mo
0650: 6e 6f 74 6f 6e 69 63 0a 20 20 20 20 6a 75 6c 69 notonic. juli
0660: 61 6e 2d 64 61 79 2d 3e 64 61 74 65 20 6d 6f 64 an-day->date mod
0670: 69 66 69 65 64 2d 6a 75 6c 69 61 6e 2d 64 61 79 ified-julian-day
0680: 2d 3e 64 61 74 65 0a 20 20 20 20 6d 6f 64 69 66 ->date. modif
0690: 69 65 64 2d 6a 75 6c 69 61 6e 2d 64 61 79 2d 3e ied-julian-day->
06a0: 74 69 6d 65 2d 75 74 63 0a 20 20 20 20 6d 6f 64 time-utc. mod
06b0: 69 66 69 65 64 2d 6a 75 6c 69 61 6e 2d 64 61 79 ified-julian-day
06c0: 2d 3e 74 69 6d 65 2d 74 61 69 0a 20 20 20 20 6d ->time-tai. m
06d0: 6f 64 69 66 69 65 64 2d 6a 75 6c 69 61 6e 2d 64 odified-julian-d
06e0: 61 79 2d 3e 74 69 6d 65 2d 6d 6f 6e 6f 74 6f 6e ay->time-monoton
06f0: 69 63 20 63 75 72 72 65 6e 74 2d 6a 75 6c 69 61 ic current-julia
0700: 6e 2d 64 61 79 0a 20 20 20 20 63 75 72 72 65 6e n-day. curren
0710: 74 2d 6d 6f 64 69 66 69 65 64 2d 6a 75 6c 69 61 t-modified-julia
0720: 6e 2d 64 61 79 20 64 61 74 65 2d 3e 73 74 72 69 n-day date->stri
0730: 6e 67 20 73 74 72 69 6e 67 2d 3e 64 61 74 65 29 ng string->date)
0740: 0a 20 20 28 69 6d 70 6f 72 74 0a 20 20 20 20 28 . (import. (
0750: 72 6e 72 73 29 0a 20 20 20 20 28 72 6e 72 73 20 rnrs). (rnrs
0760: 72 35 72 73 29 0a 20 20 20 20 28 72 6e 72 73 20 r5rs). (rnrs
0770: 6d 75 74 61 62 6c 65 2d 73 74 72 69 6e 67 73 29 mutable-strings)
0780: 0a 20 20 20 20 28 73 72 66 69 20 73 31 39 20 74 . (srfi s19 t
0790: 69 6d 65 20 63 6f 6d 70 61 74 29 0a 20 20 20 20 ime compat).
07a0: 28 73 72 66 69 20 73 36 20 62 61 73 69 63 2d 73 (srfi s6 basic-s
07b0: 74 72 69 6e 67 2d 70 6f 72 74 73 29 0a 20 20 20 tring-ports).
07c0: 20 28 73 72 66 69 20 70 72 69 76 61 74 65 20 69 (srfi private i
07d0: 6e 63 6c 75 64 65 29 29 0a 20 20 0a 20 20 28 64 nclude)). . (d
07e0: 65 66 69 6e 65 20 72 65 61 64 2d 6c 69 6e 65 0a efine read-line.
07f0: 20 20 20 20 28 63 61 73 65 2d 6c 61 6d 62 64 61 (case-lambda
0800: 0a 20 20 20 20 20 20 5b 28 29 0a 20 20 20 20 20 . [().
0810: 20 20 28 67 65 74 2d 6c 69 6e 65 20 28 63 75 72 (get-line (cur
0820: 72 65 6e 74 2d 69 6e 70 75 74 2d 70 6f 72 74 29 rent-input-port)
0830: 29 5d 0a 20 20 20 20 20 20 5b 28 70 6f 72 74 29 )]. [(port)
0840: 0a 20 20 20 20 20 20 20 28 67 65 74 2d 6c 69 6e . (get-lin
0850: 65 20 70 6f 72 74 29 5d 29 29 0a 20 20 0a 20 20 e port)])). .
0860: 28 64 65 66 69 6e 65 20 65 6f 66 20 28 65 6f 66 (define eof (eof
0870: 2d 6f 62 6a 65 63 74 29 29 0a 20 20 0a 20 20 28 -object)). . (
0880: 69 6e 63 6c 75 64 65 2f 72 65 73 6f 6c 76 65 20 include/resolve
0890: 28 22 73 72 66 69 22 20 22 73 31 39 22 29 20 22 ("srfi" "s19") "
08a0: 73 72 66 69 2d 31 39 2e 73 63 6d 22 29 0a 29 0a srfi-19.scm").).
08b0: 0a .