14-datetime-urlok
Structure
importdt:lib/datetime.mq.mdurl:lib/url.mq.md
fn · h1Time and addresses without plugins
comment
fn · h1main
bind
`epoch` = > dt.from_unix unix=0 zone=Asia/Shanghaicall
> print text=[iso](`epoch`)bind
`u` = > url.parse text=https://example.com/path?q=1#topcall
> print text=[host](`u`)call
> print text=[query](`u`)Functions
Variables
-
epoch map · 3
unix 0 zone +08:00 iso 1970-01-01T08:00:00+08:00 key value unix 0 zone +08:00 iso 1970-01-01T08:00:00+08:00 -
u map · 7
scheme https userinfo host example.com port None path /path query q=1 … key value scheme https userinfo host example.com port None path /path query q=1 fragment top
Execution
1970-01-01T08:00:00+08:00
example.com
q=1
Source
---
title: Mid stdlib — datetime and url
description: Calendar moments + URL/query parse (Mid2 M7)
import dt:lib/datetime.mq.md
import url:lib/url.mq.md
---
# Time and addresses without plugins
Moments are maps `{unix, zone, iso}`. Parse HTTPS URLs and round-trip query strings in `lib/url` (segment encoding stays in `net.url_encode`).
# main
**epoch = > dt.from_unix unix=0 zone="Asia/Shanghai"**
> print text=[iso](`epoch`)
**u = > url.parse text="https://example.com/path?q=1#top"**
> print text=[host](`u`)
> print text=[query](`u`)
Moments are maps
{unix, zone, iso}. Parse HTTPS URLs and round-trip query strings inlib/url(segment encoding stays innet.url_encode).