(html (head (title "sph-lib (sph time rfc3339)") (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 rfc3339)") (div (p "parse and create strings in the rfc3339 time format") (p "part of " (a (@ (href "../../sph-lib.html")) "sph-lib")) ((section (@ (class "library-description")) (h1 "library description") (div (p "rfc3339 is a subset of iso8601 and is used for example in the atom syndication format.") (p "this is a comprehensive implementation that uses a parsing expression grammar.") (p "ns: nanoseconds"))) (section (@ (class "library-name")) (h1 "module name") (p "(sph time rfc3339)")) (section (@ (class "library-exports")) (h1 "exported bindings") (div (div (@ (class "doc-bindings")) (div (@ (id "doc-b-" "sph-time-rfc3339-description") (class "doc-b")) (div (span (@ (class "type")) "variable") ": " (span (@ (class "name")) "sph-time-rfc3339-description")) "" "") (div (@ (id "doc-b-" "utc->rfc3339") (class "doc-b")) (div (span (@ (class "type")) "procedure") ": " (span (@ (class "name")) "utc->rfc3339") " " (span (@ (class "first-sig")) "a [offset seconds-fraction] ->")) (div (@ (class "rest-sig")) (div "integer:posix-time -> string")) "") (div (@ (id "doc-b-" "utc-from-rfc3339") (class "doc-b")) (div (span (@ (class "type")) "procedure") ": " (span (@ (class "name")) "utc-from-rfc3339") " " (span (@ (class "first-sig")) "a ->")) (div (@ (class "rest-sig")) (div "string -> integer:seconds:posix-time") (div "does not include fractional seconds; see rfc3339 ->")) (div (@ (class "description")) (("seconds-and-fraction for that")))) (div (@ (id "doc-b-" "utc-ns-from-rfc3339") (class "doc-b")) (div (span (@ (class "type")) "procedure") ": " (span (@ (class "name")) "utc-ns-from-rfc3339") " " (span (@ (class "first-sig")) "a ->")) (div (@ (class "rest-sig")) (div "string -> (integer:tai-utc-unix-seconds . integer:seconds-fraction)")) "")))))))) ()))