marqdo

14-datetime-urlok

features/14-datetime-url.mq.md

Structure

importdt:lib/datetime.mq.mdurl:lib/url.mq.md
fn · h1Time and addresses without plugins
comment

Moments are maps {unix, zone, iso}. Parse HTTPS URLs and round-trip query strings in lib/url (segment encoding stays in net.url_encode).

fn · h1main
bind `epoch` = > dt.from_unix unix=0 zone=Asia/Shanghai
call> print text=[iso](`epoch`)
bind `u` = > url.parse text=https://example.com/path?q=1#top
call> print text=[host](`u`)
call> print text=[query](`u`)
Functions
Variables
  • epoch map · 3
    unix0
    zone+08:00
    iso1970-01-01T08:00:00+08:00
  • u map · 7
    schemehttps
    userinfo
    hostexample.com
    portNone
    path/path
    queryq=1

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`)

Variable