Skip to main content
Last updated

Time

add-time

time time seconds decimal → time

time time seconds integer → time

Add SECONDS to TIME; SECONDS can be integer or decimal.

pact
pact> (add-time (time "2016-07-22T12:00:00Z") 15)"2016-07-22T12:00:15Z"
pact
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
pact> (add-time (time "2016-07-22T12:00:00Z") (days 1))"2016-07-23T12:00:00Z"
pact
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
pact> (diff-time (parse-time "%T" "16:00:00") (parse-time "%T" "09:30:00"))23400.0
pact
pact> (diff-time (parse-time "%T" "16:00:00") (parse-time "%T" "09:30:00"))23400.0

format-time

format string time time → string

Format TIME using FORMAT. See "Time Formats" docs for supported formats.

pact
pact> (format-time "%F" (time "2016-07-22T12:00:00Z"))"2016-07-22"
pact
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
pact> (add-time (time "2016-07-22T12:00:00Z") (hours 1))"2016-07-22T13:00:00Z"
pact
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
pact> (add-time (time "2016-07-22T12:00:00Z") (minutes 1))"2016-07-22T12:01:00Z"
pact
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
pact> (parse-time "%F" "2016-09-12")"2016-09-12T00:00:00Z"
pact
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
pact> (time "2016-07-22T11:26:35Z")"2016-07-22T11:26:35Z"
pact
pact> (time "2016-07-22T11:26:35Z")"2016-07-22T11:26:35Z"