Time
add-time
time time seconds decimal → time
time time seconds integer → time
Add SECONDS to TIME; SECONDS can be integer or decimal.
pact> (add-time (time "2016-07-22T12:00:00Z") 15)
"2016-07-22T12:00:15Z"pact> (add-time (time "2016-07-22T12:00:00Z") 15)
"2016-07-22T12:00:15Z"days
n decimal → decimal
n integer → decimal
N days, for use with 'add-time'
pact> (add-time (time "2016-07-22T12:00:00Z") (days 1))
"2016-07-23T12:00:00Z"pact> (add-time (time "2016-07-22T12:00:00Z") (days 1))
"2016-07-23T12:00:00Z"diff-time
time1 time time2 time → decimal
Compute difference between TIME1 and TIME2 in seconds.
pact> (diff-time (parse-time "%T" "16:00:00") (parse-time "%T" "09:30:00"))
23400.0pact> (diff-time (parse-time "%T" "16:00:00") (parse-time "%T" "09:30:00"))
23400.0format-time
format string time time → string
Format TIME using FORMAT. See "Time Formats" docs for supported formats.
pact> (format-time "%F" (time "2016-07-22T12:00:00Z"))
"2016-07-22"pact> (format-time "%F" (time "2016-07-22T12:00:00Z"))
"2016-07-22"hours
n decimal → decimal
n integer → decimal
N hours, for use with 'add-time'
pact> (add-time (time "2016-07-22T12:00:00Z") (hours 1))
"2016-07-22T13:00:00Z"pact> (add-time (time "2016-07-22T12:00:00Z") (hours 1))
"2016-07-22T13:00:00Z"minutes
n decimal → decimal
n integer → decimal
N minutes, for use with 'add-time'.
pact> (add-time (time "2016-07-22T12:00:00Z") (minutes 1))
"2016-07-22T12:01:00Z"pact> (add-time (time "2016-07-22T12:00:00Z") (minutes 1))
"2016-07-22T12:01:00Z"parse-time
format string utcval string → time
Construct time from UTCVAL using FORMAT. See "Time Formats" docs for supported formats.
pact> (parse-time "%F" "2016-09-12")
"2016-09-12T00:00:00Z"pact> (parse-time "%F" "2016-09-12")
"2016-09-12T00:00:00Z"time
utcval string → time
Construct time from UTCVAL using ISO8601 format (%Y-%m-%dT%H:%M:%SZ).
pact> (time "2016-07-22T11:26:35Z")
"2016-07-22T11:26:35Z"pact> (time "2016-07-22T11:26:35Z")
"2016-07-22T11:26:35Z"