(html (head (title "sph-lib (sph time utc)") (link (@ (rel "stylesheet") (type "text/css") (href "/css/sph.css"))) (meta (@ (name "viewport") (content "width=device-width,initial-scale=1"))) #f) (body () (div (@ (class top)) (nav (a (@ (href "/")) "start") ", " (a (@ (href "/feed.xml")) "feed")) "") (div (@ (class "middle")) (div (@ (class mtime) (title "last modification time of the current page")) "2023-04-05") (section (h1 "(sph time utc)") (div (p "utc related time calculations.") (p "part of " (a (@ (href "../../sph-lib.html")) "sph-lib")) ((section (@ (class "library-description")) (h1 "library description") (div (p "utc uses leap seconds to ensure that (/ utc-seconds 86400) is the number of elapsed days.") (p "future leap second inserts are unfortunately not predictable and so future tai times can not be calculated accurately"))) (section (@ (class "library-name")) (h1 "module name") (p "(sph time utc)")) (section (@ (class "library-exports")) (h1 "exported bindings") (div (div (@ (class "doc-bindings")) (div (@ (id "doc-b-" "sph-time-utc-description") (class "doc-b")) (div (span (@ (class "type")) "variable") ": " (span (@ (class "name")) "sph-time-utc-description")) "" "") (div (@ (id "doc-b-" "utc-duration->hms") (class "doc-b")) (div (span (@ (class "type")) "procedure") ": " (span (@ (class "name")) "utc-duration->hms") " " (span (@ (class "first-sig")) "a [c] ->")) "" (div (@ (class "description")) (("integer [procedure:{hour minute second} -> any] -> (integer integer integer)" (br) "utc-seconds to hours, minutes and seconds of hour")))) (div (@ (id "doc-b-" "utc-duration-from-hms") (class "doc-b")) (div (span (@ (class "type")) "procedure") ": " (span (@ (class "name")) "utc-duration-from-hms") " " (span (@ (class "first-sig")) "hours minutes seconds ->")) (div (@ (class "rest-sig")) (div "integer ... -> integer")) (div (@ (class "description")) (("utc duration are seconds from zero, unrelated to the unix epoch")))) (div (@ (id "doc-b-" "utc-leap-second?") (class "doc-b")) (div (span (@ (class "type")) "procedure") ": " (span (@ (class "name")) "utc-leap-second?") " " (span (@ (class "first-sig")) "a ->")) "" "") (div (@ (id "doc-b-" "utc-leap-seconds") (class "doc-b")) (div (span (@ (class "type")) "variable") ": " (span (@ (class "name")) "utc-leap-seconds")) "" "") (div (@ (id "doc-b-" "utc-nanoseconds-day") (class "doc-b")) (div (span (@ (class "type")) "variable") ": " (span (@ (class "name")) "utc-nanoseconds-day")) "" "") (div (@ (id "doc-b-" "utc-nanoseconds-hour") (class "doc-b")) (div (span (@ (class "type")) "variable") ": " (span (@ (class "name")) "utc-nanoseconds-hour")) "" "") (div (@ (id "doc-b-" "utc-nanoseconds-minute") (class "doc-b")) (div (span (@ (class "type")) "variable") ": " (span (@ (class "name")) "utc-nanoseconds-minute")) "" "") (div (@ (id "doc-b-" "utc-nanoseconds-week") (class "doc-b")) (div (span (@ (class "type")) "variable") ": " (span (@ (class "name")) "utc-nanoseconds-week")) "" "") (div (@ (id "doc-b-" "utc-seconds-day") (class "doc-b")) (div (span (@ (class "type")) "variable") ": " (span (@ (class "name")) "utc-seconds-day")) "" "") (div (@ (id "doc-b-" "utc-tai->leap-second-difference") (class "doc-b")) (div (span (@ (class "type")) "procedure") ": " (span (@ (class "name")) "utc-tai->leap-second-difference") " " (span (@ (class "first-sig")) "a ->")) "" "")))))))) ()))