syndicate-lang
/
preserves
mirror of https://gitlab.com/preserves/preserves.git
1
0
Fork 1
Code Releases Activity

Versioned docs!

This commit is contained in:
Tony Garnock-Jones 2023-03-17 09:07:53 +01:00
parent f69906650e
commit 2a7eaa5ae3
63 changed files with 196 additions and 107 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

1
.gitignore vendored
View File

@ -1,4 +1,3 @@
/python/sitemap.xml.gz
_site/
preserves-binary.pdf
preserves-schema.pdf

2
_config.yml
View File

@ -1,4 +1,4 @@
exclude: [implementations]
exclude: [implementations, scratch]
markdown: kramdown
highlighter: rouge

11
implementations/python/Makefile
View File

@ -1,10 +1,15 @@
PACKAGEVERSION="`python3 setup.py --version`"
all: test build-docs
test: update-test-data
python3 -m unittest discover -s tests
build-docs:
mkdocs build
mkdocs build -d ../../python/$(PACKAGEVERSION)
rm -f ../../python/latest
ln -s $(PACKAGEVERSION) ../../python/latest
./update-doc-versions.sh
serve-docs:
mkdocs serve
@ -17,7 +22,7 @@ update-test-data:
rsync ../../tests/samples.bin ../../tests/samples.pr tests
tag:
git tag python-preserves@`python3 setup.py --version`
git tag python-preserves@$(PACKAGEVERSION)
clean:
rm -rf htmlcov
@ -31,5 +36,5 @@ clean:
publish: clean build
twine upload dist/*
build:
build: build-docs
python3 setup.py sdist bdist_wheel

7
implementations/python/mkdocs.yml
View File

@ -1,9 +1,12 @@
site_name: Python Preserves
site_dir: ../../python
site_url: https://preserves.dev/python/
site_dir: ../../python/dev
site_url: https://preserves.dev/python/latest/
repo_url: https://gitlab.com/preserves/preserves
theme:
name: material
extra:
version:
provider: mike
plugins:
- search
- mkdocstrings:

18
implementations/python/update-doc-versions.sh Executable file
View File

@ -0,0 +1,18 @@
#!/bin/sh
(
firstitem='y';
printf '[';
for version in $(ls ../../python/*/sitemap.xml | cut -d/ -f4 | grep -v 'latest' | grep -v 'dev' | sort -V -r)
do
if [ "$firstitem" = "y" ]
then
firstitem=n
aliases='["latest"]'
else
printf ','
aliases=''
fi
printf '\n {"version":"%s","title":"%s","aliases":%s}' "$version" "$version" "$aliases"
done;
printf '\n]'
) | tee ../../_data/python-versions.json

1
python/.gitignore vendored Normal file
View File

@ -0,0 +1 @@
sitemap.xml.gz

44
python/404.html → python/0.18.0/404.html
View File

@ -10,7 +10,7 @@
<link rel="icon" href="/python/assets/images/favicon.png">
<link rel="icon" href="/python/latest/assets/images/favicon.png">
<meta name="generator" content="mkdocs-1.4.2, mkdocs-material-9.1.3">
@ -19,10 +19,10 @@
<link rel="stylesheet" href="/python/assets/stylesheets/main.c4a75a56.min.css">
<link rel="stylesheet" href="/python/latest/assets/stylesheets/main.c4a75a56.min.css">
<link rel="stylesheet" href="/python/assets/stylesheets/palette.a0c5b2b5.min.css">
<link rel="stylesheet" href="/python/latest/assets/stylesheets/palette.a0c5b2b5.min.css">
@ -38,9 +38,9 @@
<link rel="stylesheet" href="/python/assets/_mkdocstrings.css">
<link rel="stylesheet" href="/python/latest/assets/_mkdocstrings.css">
<script>__md_scope=new URL("/python/",location),__md_hash=e=>[...e].reduce((e,_)=>(e<<5)-e+_.charCodeAt(0),0),__md_get=(e,_=localStorage,t=__md_scope)=>JSON.parse(_.getItem(t.pathname+"."+e)),__md_set=(e,_,t=localStorage,a=__md_scope)=>{try{t.setItem(a.pathname+"."+e,JSON.stringify(_))}catch(e){}}</script>
<script>__md_scope=new URL("/python/latest/",location),__md_hash=e=>[...e].reduce((e,_)=>(e<<5)-e+_.charCodeAt(0),0),__md_get=(e,_=localStorage,t=__md_scope)=>JSON.parse(_.getItem(t.pathname+"."+e)),__md_set=(e,_,t=localStorage,a=__md_scope)=>{try{t.setItem(a.pathname+"."+e,JSON.stringify(_))}catch(e){}}</script>
@ -69,6 +69,10 @@
</div>
<div data-md-color-scheme="default" data-md-component="outdated" hidden>
</div>
@ -76,7 +80,7 @@
<header class="md-header md-header--shadow" data-md-component="header">
<nav class="md-header__inner md-grid" aria-label="Header">
<a href="/python/." title="Python Preserves" class="md-header__button md-logo" aria-label="Python Preserves" data-md-component="logo">
<a href="/python/latest/." title="Python Preserves" class="md-header__button md-logo" aria-label="Python Preserves" data-md-component="logo">
<svg xmlns="http://www.w3.org/2000/svg" viewBox="0 0 24 24"><path d="M12 8a3 3 0 0 0 3-3 3 3 0 0 0-3-3 3 3 0 0 0-3 3 3 3 0 0 0 3 3m0 3.54C9.64 9.35 6.5 8 3 8v11c3.5 0 6.64 1.35 9 3.54 2.36-2.19 5.5-3.54 9-3.54V8c-3.5 0-6.64 1.35-9 3.54Z"/></svg>
@ -174,7 +178,7 @@
<nav class="md-nav md-nav--primary" aria-label="Navigation" data-md-level="0">
<label class="md-nav__title" for="__drawer">
<a href="/python/." title="Python Preserves" class="md-nav__button md-logo" aria-label="Python Preserves" data-md-component="logo">
<a href="/python/latest/." title="Python Preserves" class="md-nav__button md-logo" aria-label="Python Preserves" data-md-component="logo">
<svg xmlns="http://www.w3.org/2000/svg" viewBox="0 0 24 24"><path d="M12 8a3 3 0 0 0 3-3 3 3 0 0 0-3-3 3 3 0 0 0-3 3 3 3 0 0 0 3 3m0 3.54C9.64 9.35 6.5 8 3 8v11c3.5 0 6.64 1.35 9 3.54 2.36-2.19 5.5-3.54 9-3.54V8c-3.5 0-6.64 1.35-9 3.54Z"/></svg>
@ -205,7 +209,7 @@
<li class="md-nav__item">
<a href="/python/." class="md-nav__link">
<a href="/python/latest/." class="md-nav__link">
Overview
</a>
</li>
@ -220,7 +224,7 @@
<li class="md-nav__item">
<a href="/python/api/" class="md-nav__link">
<a href="/python/latest/api/" class="md-nav__link">
The top-level preserves package
</a>
</li>
@ -235,7 +239,7 @@
<li class="md-nav__item">
<a href="/python/binary/" class="md-nav__link">
<a href="/python/latest/binary/" class="md-nav__link">
Machine-oriented binary syntax
</a>
</li>
@ -250,7 +254,7 @@
<li class="md-nav__item">
<a href="/python/compare/" class="md-nav__link">
<a href="/python/latest/compare/" class="md-nav__link">
Comparing Values
</a>
</li>
@ -265,7 +269,7 @@
<li class="md-nav__item">
<a href="/python/error/" class="md-nav__link">
<a href="/python/latest/error/" class="md-nav__link">
Codec errors
</a>
</li>
@ -280,7 +284,7 @@
<li class="md-nav__item">
<a href="/python/fold/" class="md-nav__link">
<a href="/python/latest/fold/" class="md-nav__link">
Traversing values
</a>
</li>
@ -295,7 +299,7 @@
<li class="md-nav__item">
<a href="/python/merge/" class="md-nav__link">
<a href="/python/latest/merge/" class="md-nav__link">
Merging values
</a>
</li>
@ -310,7 +314,7 @@
<li class="md-nav__item">
<a href="/python/path/" class="md-nav__link">
<a href="/python/latest/path/" class="md-nav__link">
Preserves Path
</a>
</li>
@ -325,7 +329,7 @@
<li class="md-nav__item">
<a href="/python/schema/" class="md-nav__link">
<a href="/python/latest/schema/" class="md-nav__link">
Preserves Schema
</a>
</li>
@ -340,7 +344,7 @@
<li class="md-nav__item">
<a href="/python/text/" class="md-nav__link">
<a href="/python/latest/text/" class="md-nav__link">
Human-readable text syntax
</a>
</li>
@ -355,7 +359,7 @@
<li class="md-nav__item">
<a href="/python/values/" class="md-nav__link">
<a href="/python/latest/values/" class="md-nav__link">
Representations of Values
</a>
</li>
@ -423,10 +427,10 @@
<div class="md-dialog__inner md-typeset"></div>
</div>
<script id="__config" type="application/json">{"base": "/python/", "features": [], "search": "/python/assets/javascripts/workers/search.208ed371.min.js", "translations": {"clipboard.copied": "Copied to clipboard", "clipboard.copy": "Copy to clipboard", "search.result.more.one": "1 more on this page", "search.result.more.other": "# more on this page", "search.result.none": "No matching documents", "search.result.one": "1 matching document", "search.result.other": "# matching documents", "search.result.placeholder": "Type to start searching", "search.result.term.missing": "Missing", "select.version": "Select version"}}</script>
<script id="__config" type="application/json">{"base": "/python/latest/", "features": [], "search": "/python/latest/assets/javascripts/workers/search.208ed371.min.js", "translations": {"clipboard.copied": "Copied to clipboard", "clipboard.copy": "Copy to clipboard", "search.result.more.one": "1 more on this page", "search.result.more.other": "# more on this page", "search.result.none": "No matching documents", "search.result.one": "1 matching document", "search.result.other": "# matching documents", "search.result.placeholder": "Type to start searching", "search.result.term.missing": "Missing", "select.version": "Select version"}, "version": {"provider": "mike"}}</script>
<script src="/python/assets/javascripts/bundle.efa0ade1.min.js"></script>
<script src="/python/latest/assets/javascripts/bundle.efa0ade1.min.js"></script>
</body>

8
python/api/index.html → python/0.18.0/api/index.html
View File

@ -8,7 +8,7 @@
<link rel="canonical" href="https://preserves.dev/python/api/">
<link rel="canonical" href="https://preserves.dev/python/latest/api/">
<link rel="prev" href="..">
@ -80,6 +80,10 @@
</div>
<div data-md-color-scheme="default" data-md-component="outdated" hidden>
</div>
@ -684,7 +688,7 @@ permitting patterns like</p>
<div class="md-dialog__inner md-typeset"></div>
</div>
<script id="__config" type="application/json">{"base": "..", "features": [], "search": "../assets/javascripts/workers/search.208ed371.min.js", "translations": {"clipboard.copied": "Copied to clipboard", "clipboard.copy": "Copy to clipboard", "search.result.more.one": "1 more on this page", "search.result.more.other": "# more on this page", "search.result.none": "No matching documents", "search.result.one": "1 matching document", "search.result.other": "# matching documents", "search.result.placeholder": "Type to start searching", "search.result.term.missing": "Missing", "select.version": "Select version"}}</script>
<script id="__config" type="application/json">{"base": "..", "features": [], "search": "../assets/javascripts/workers/search.208ed371.min.js", "translations": {"clipboard.copied": "Copied to clipboard", "clipboard.copy": "Copy to clipboard", "search.result.more.one": "1 more on this page", "search.result.more.other": "# more on this page", "search.result.none": "No matching documents", "search.result.one": "1 matching document", "search.result.other": "# matching documents", "search.result.placeholder": "Type to start searching", "search.result.term.missing": "Missing", "select.version": "Select version"}, "version": {"provider": "mike"}}</script>
<script src="../assets/javascripts/bundle.efa0ade1.min.js"></script>

0
python/assets/_mkdocstrings.css → python/0.18.0/assets/_mkdocstrings.css
View File

0
python/assets/images/favicon.png → python/0.18.0/assets/images/favicon.png
View File

Side by Side Swipe Overlay

Before

Width:  |  Height:  |  Size: 1.8 KiB

After

Width:  |  Height:  |  Size: 1.8 KiB

0
python/assets/javascripts/bundle.efa0ade1.min.js → python/0.18.0/assets/javascripts/bundle.efa0ade1.min.js vendored
View File

0
python/assets/javascripts/bundle.efa0ade1.min.js.map → python/0.18.0/assets/javascripts/bundle.efa0ade1.min.js.map
View File

0
python/assets/javascripts/lunr/min/lunr.ar.min.js → python/0.18.0/assets/javascripts/lunr/min/lunr.ar.min.js vendored
View File

0
python/assets/javascripts/lunr/min/lunr.da.min.js → python/0.18.0/assets/javascripts/lunr/min/lunr.da.min.js vendored
View File

0
python/assets/javascripts/lunr/min/lunr.de.min.js → python/0.18.0/assets/javascripts/lunr/min/lunr.de.min.js vendored
View File

0
python/assets/javascripts/lunr/min/lunr.du.min.js → python/0.18.0/assets/javascripts/lunr/min/lunr.du.min.js vendored
View File

0
python/assets/javascripts/lunr/min/lunr.es.min.js → python/0.18.0/assets/javascripts/lunr/min/lunr.es.min.js vendored
View File

0
python/assets/javascripts/lunr/min/lunr.fi.min.js → python/0.18.0/assets/javascripts/lunr/min/lunr.fi.min.js vendored
View File

0
python/assets/javascripts/lunr/min/lunr.fr.min.js → python/0.18.0/assets/javascripts/lunr/min/lunr.fr.min.js vendored
View File

0
python/assets/javascripts/lunr/min/lunr.hi.min.js → python/0.18.0/assets/javascripts/lunr/min/lunr.hi.min.js vendored
View File

0
python/assets/javascripts/lunr/min/lunr.hu.min.js → python/0.18.0/assets/javascripts/lunr/min/lunr.hu.min.js vendored
View File

0
python/assets/javascripts/lunr/min/lunr.it.min.js → python/0.18.0/assets/javascripts/lunr/min/lunr.it.min.js vendored
View File

0
python/assets/javascripts/lunr/min/lunr.ja.min.js → python/0.18.0/assets/javascripts/lunr/min/lunr.ja.min.js vendored
View File

0
python/assets/javascripts/lunr/min/lunr.jp.min.js → python/0.18.0/assets/javascripts/lunr/min/lunr.jp.min.js vendored
View File

0
python/assets/javascripts/lunr/min/lunr.ko.min.js → python/0.18.0/assets/javascripts/lunr/min/lunr.ko.min.js vendored
View File

0
python/assets/javascripts/lunr/min/lunr.multi.min.js → python/0.18.0/assets/javascripts/lunr/min/lunr.multi.min.js vendored
View File

0
python/assets/javascripts/lunr/min/lunr.nl.min.js → python/0.18.0/assets/javascripts/lunr/min/lunr.nl.min.js vendored
View File

0
python/assets/javascripts/lunr/min/lunr.no.min.js → python/0.18.0/assets/javascripts/lunr/min/lunr.no.min.js vendored
View File

0
python/assets/javascripts/lunr/min/lunr.pt.min.js → python/0.18.0/assets/javascripts/lunr/min/lunr.pt.min.js vendored
View File

0
python/assets/javascripts/lunr/min/lunr.ro.min.js → python/0.18.0/assets/javascripts/lunr/min/lunr.ro.min.js vendored
View File

0
python/assets/javascripts/lunr/min/lunr.ru.min.js → python/0.18.0/assets/javascripts/lunr/min/lunr.ru.min.js vendored
View File

0
python/assets/javascripts/lunr/min/lunr.stemmer.support.min.js → python/0.18.0/assets/javascripts/lunr/min/lunr.stemmer.support.min.js vendored
View File

0
python/assets/javascripts/lunr/min/lunr.sv.min.js → python/0.18.0/assets/javascripts/lunr/min/lunr.sv.min.js vendored
View File

0
python/assets/javascripts/lunr/min/lunr.ta.min.js → python/0.18.0/assets/javascripts/lunr/min/lunr.ta.min.js vendored
View File

0
python/assets/javascripts/lunr/min/lunr.th.min.js → python/0.18.0/assets/javascripts/lunr/min/lunr.th.min.js vendored
View File

0
python/assets/javascripts/lunr/min/lunr.tr.min.js → python/0.18.0/assets/javascripts/lunr/min/lunr.tr.min.js vendored
View File

0
python/assets/javascripts/lunr/min/lunr.vi.min.js → python/0.18.0/assets/javascripts/lunr/min/lunr.vi.min.js vendored
View File

0
python/assets/javascripts/lunr/min/lunr.zh.min.js → python/0.18.0/assets/javascripts/lunr/min/lunr.zh.min.js vendored
View File

0
python/assets/javascripts/lunr/tinyseg.js → python/0.18.0/assets/javascripts/lunr/tinyseg.js
View File

0
python/assets/javascripts/lunr/wordcut.js → python/0.18.0/assets/javascripts/lunr/wordcut.js
View File

0
python/assets/javascripts/workers/search.208ed371.min.js → python/0.18.0/assets/javascripts/workers/search.208ed371.min.js vendored
View File

0
python/assets/javascripts/workers/search.208ed371.min.js.map → python/0.18.0/assets/javascripts/workers/search.208ed371.min.js.map
View File

0
python/assets/stylesheets/main.c4a75a56.min.css → python/0.18.0/assets/stylesheets/main.c4a75a56.min.css vendored
View File

0
python/assets/stylesheets/main.c4a75a56.min.css.map → python/0.18.0/assets/stylesheets/main.c4a75a56.min.css.map
View File

0
python/assets/stylesheets/palette.a0c5b2b5.min.css → python/0.18.0/assets/stylesheets/palette.a0c5b2b5.min.css vendored
View File

0
python/assets/stylesheets/palette.a0c5b2b5.min.css.map → python/0.18.0/assets/stylesheets/palette.a0c5b2b5.min.css.map
View File

8
python/binary/index.html → python/0.18.0/binary/index.html
View File

@ -8,7 +8,7 @@
<link rel="canonical" href="https://preserves.dev/python/binary/">
<link rel="canonical" href="https://preserves.dev/python/latest/binary/">
<link rel="prev" href="../api/">
@ -80,6 +80,10 @@
</div>
<div data-md-color-scheme="default" data-md-component="outdated" hidden>
</div>
@ -1556,7 +1560,7 @@ underlying <a class="autorefs autorefs-internal" href="#preserves.binary.Encoder
<div class="md-dialog__inner md-typeset"></div>
</div>
<script id="__config" type="application/json">{"base": "..", "features": [], "search": "../assets/javascripts/workers/search.208ed371.min.js", "translations": {"clipboard.copied": "Copied to clipboard", "clipboard.copy": "Copy to clipboard", "search.result.more.one": "1 more on this page", "search.result.more.other": "# more on this page", "search.result.none": "No matching documents", "search.result.one": "1 matching document", "search.result.other": "# matching documents", "search.result.placeholder": "Type to start searching", "search.result.term.missing": "Missing", "select.version": "Select version"}}</script>
<script id="__config" type="application/json">{"base": "..", "features": [], "search": "../assets/javascripts/workers/search.208ed371.min.js", "translations": {"clipboard.copied": "Copied to clipboard", "clipboard.copy": "Copy to clipboard", "search.result.more.one": "1 more on this page", "search.result.more.other": "# more on this page", "search.result.none": "No matching documents", "search.result.one": "1 matching document", "search.result.other": "# matching documents", "search.result.placeholder": "Type to start searching", "search.result.term.missing": "Missing", "select.version": "Select version"}, "version": {"provider": "mike"}}</script>
<script src="../assets/javascripts/bundle.efa0ade1.min.js"></script>

8
python/compare/index.html → python/0.18.0/compare/index.html
View File

@ -8,7 +8,7 @@
<link rel="canonical" href="https://preserves.dev/python/compare/">
<link rel="canonical" href="https://preserves.dev/python/latest/compare/">
<link rel="prev" href="../binary/">
@ -80,6 +80,10 @@
</div>
<div data-md-color-scheme="default" data-md-component="outdated" hidden>
</div>
@ -844,7 +848,7 @@ Preserves order instead of Python's less-than relation.</p>
<div class="md-dialog__inner md-typeset"></div>
</div>
<script id="__config" type="application/json">{"base": "..", "features": [], "search": "../assets/javascripts/workers/search.208ed371.min.js", "translations": {"clipboard.copied": "Copied to clipboard", "clipboard.copy": "Copy to clipboard", "search.result.more.one": "1 more on this page", "search.result.more.other": "# more on this page", "search.result.none": "No matching documents", "search.result.one": "1 matching document", "search.result.other": "# matching documents", "search.result.placeholder": "Type to start searching", "search.result.term.missing": "Missing", "select.version": "Select version"}}</script>
<script id="__config" type="application/json">{"base": "..", "features": [], "search": "../assets/javascripts/workers/search.208ed371.min.js", "translations": {"clipboard.copied": "Copied to clipboard", "clipboard.copy": "Copy to clipboard", "search.result.more.one": "1 more on this page", "search.result.more.other": "# more on this page", "search.result.none": "No matching documents", "search.result.one": "1 matching document", "search.result.other": "# matching documents", "search.result.placeholder": "Type to start searching", "search.result.term.missing": "Missing", "select.version": "Select version"}, "version": {"provider": "mike"}}</script>
<script src="../assets/javascripts/bundle.efa0ade1.min.js"></script>

8
python/error/index.html → python/0.18.0/error/index.html
View File

@ -8,7 +8,7 @@
<link rel="canonical" href="https://preserves.dev/python/error/">
<link rel="canonical" href="https://preserves.dev/python/latest/error/">
<link rel="prev" href="../compare/">
@ -80,6 +80,10 @@
</div>
<div data-md-color-scheme="default" data-md-component="outdated" hidden>
</div>
@ -664,7 +668,7 @@ completely read an encoded value.</p>
<div class="md-dialog__inner md-typeset"></div>
</div>
<script id="__config" type="application/json">{"base": "..", "features": [], "search": "../assets/javascripts/workers/search.208ed371.min.js", "translations": {"clipboard.copied": "Copied to clipboard", "clipboard.copy": "Copy to clipboard", "search.result.more.one": "1 more on this page", "search.result.more.other": "# more on this page", "search.result.none": "No matching documents", "search.result.one": "1 matching document", "search.result.other": "# matching documents", "search.result.placeholder": "Type to start searching", "search.result.term.missing": "Missing", "select.version": "Select version"}}</script>
<script id="__config" type="application/json">{"base": "..", "features": [], "search": "../assets/javascripts/workers/search.208ed371.min.js", "translations": {"clipboard.copied": "Copied to clipboard", "clipboard.copy": "Copy to clipboard", "search.result.more.one": "1 more on this page", "search.result.more.other": "# more on this page", "search.result.none": "No matching documents", "search.result.one": "1 matching document", "search.result.other": "# matching documents", "search.result.placeholder": "Type to start searching", "search.result.term.missing": "Missing", "select.version": "Select version"}, "version": {"provider": "mike"}}</script>
<script src="../assets/javascripts/bundle.efa0ade1.min.js"></script>

8
python/fold/index.html → python/0.18.0/fold/index.html
View File

@ -8,7 +8,7 @@
<link rel="canonical" href="https://preserves.dev/python/fold/">
<link rel="canonical" href="https://preserves.dev/python/latest/fold/">
<link rel="prev" href="../error/">
@ -80,6 +80,10 @@
</div>
<div data-md-color-scheme="default" data-md-component="outdated" hidden>
</div>
@ -637,7 +641,7 @@
<div class="md-dialog__inner md-typeset"></div>
</div>
<script id="__config" type="application/json">{"base": "..", "features": [], "search": "../assets/javascripts/workers/search.208ed371.min.js", "translations": {"clipboard.copied": "Copied to clipboard", "clipboard.copy": "Copy to clipboard", "search.result.more.one": "1 more on this page", "search.result.more.other": "# more on this page", "search.result.none": "No matching documents", "search.result.one": "1 matching document", "search.result.other": "# matching documents", "search.result.placeholder": "Type to start searching", "search.result.term.missing": "Missing", "select.version": "Select version"}}</script>
<script id="__config" type="application/json">{"base": "..", "features": [], "search": "../assets/javascripts/workers/search.208ed371.min.js", "translations": {"clipboard.copied": "Copied to clipboard", "clipboard.copy": "Copy to clipboard", "search.result.more.one": "1 more on this page", "search.result.more.other": "# more on this page", "search.result.none": "No matching documents", "search.result.one": "1 matching document", "search.result.other": "# matching documents", "search.result.placeholder": "Type to start searching", "search.result.term.missing": "Missing", "select.version": "Select version"}, "version": {"provider": "mike"}}</script>
<script src="../assets/javascripts/bundle.efa0ade1.min.js"></script>

8
python/index.html → python/0.18.0/index.html
View File

@ -8,7 +8,7 @@
<link rel="canonical" href="https://preserves.dev/python/">
<link rel="canonical" href="https://preserves.dev/python/latest/">
@ -78,6 +78,10 @@
</div>
<div data-md-color-scheme="default" data-md-component="outdated" hidden>
</div>
@ -579,7 +583,7 @@ for their Preserves counterparts. Wrapper objects for <a class="autorefs autoref
<div class="md-dialog__inner md-typeset"></div>
</div>
<script id="__config" type="application/json">{"base": ".", "features": [], "search": "assets/javascripts/workers/search.208ed371.min.js", "translations": {"clipboard.copied": "Copied to clipboard", "clipboard.copy": "Copy to clipboard", "search.result.more.one": "1 more on this page", "search.result.more.other": "# more on this page", "search.result.none": "No matching documents", "search.result.one": "1 matching document", "search.result.other": "# matching documents", "search.result.placeholder": "Type to start searching", "search.result.term.missing": "Missing", "select.version": "Select version"}}</script>
<script id="__config" type="application/json">{"base": ".", "features": [], "search": "assets/javascripts/workers/search.208ed371.min.js", "translations": {"clipboard.copied": "Copied to clipboard", "clipboard.copy": "Copy to clipboard", "search.result.more.one": "1 more on this page", "search.result.more.other": "# more on this page", "search.result.none": "No matching documents", "search.result.one": "1 matching document", "search.result.other": "# matching documents", "search.result.placeholder": "Type to start searching", "search.result.term.missing": "Missing", "select.version": "Select version"}, "version": {"provider": "mike"}}</script>
<script src="assets/javascripts/bundle.efa0ade1.min.js"></script>

8
python/merge/index.html → python/0.18.0/merge/index.html
View File

@ -8,7 +8,7 @@
<link rel="canonical" href="https://preserves.dev/python/merge/">
<link rel="canonical" href="https://preserves.dev/python/latest/merge/">
<link rel="prev" href="../fold/">
@ -80,6 +80,10 @@
</div>
<div data-md-color-scheme="default" data-md-component="outdated" hidden>
</div>
@ -781,7 +785,7 @@ are merged using <code>merge_embedded</code>, and the result is again wrapped in
<div class="md-dialog__inner md-typeset"></div>
</div>
<script id="__config" type="application/json">{"base": "..", "features": [], "search": "../assets/javascripts/workers/search.208ed371.min.js", "translations": {"clipboard.copied": "Copied to clipboard", "clipboard.copy": "Copy to clipboard", "search.result.more.one": "1 more on this page", "search.result.more.other": "# more on this page", "search.result.none": "No matching documents", "search.result.one": "1 matching document", "search.result.other": "# matching documents", "search.result.placeholder": "Type to start searching", "search.result.term.missing": "Missing", "select.version": "Select version"}}</script>
<script id="__config" type="application/json">{"base": "..", "features": [], "search": "../assets/javascripts/workers/search.208ed371.min.js", "translations": {"clipboard.copied": "Copied to clipboard", "clipboard.copy": "Copy to clipboard", "search.result.more.one": "1 more on this page", "search.result.more.other": "# more on this page", "search.result.none": "No matching documents", "search.result.one": "1 matching document", "search.result.other": "# matching documents", "search.result.placeholder": "Type to start searching", "search.result.term.missing": "Missing", "select.version": "Select version"}, "version": {"provider": "mike"}}</script>
<script src="../assets/javascripts/bundle.efa0ade1.min.js"></script>

0
python/objects.inv → python/0.18.0/objects.inv
View File

8
python/path/index.html → python/0.18.0/path/index.html
View File

@ -8,7 +8,7 @@
<link rel="canonical" href="https://preserves.dev/python/path/">
<link rel="canonical" href="https://preserves.dev/python/latest/path/">
<link rel="prev" href="../merge/">
@ -80,6 +80,10 @@
</div>
<div data-md-color-scheme="default" data-md-component="outdated" hidden>
</div>
@ -693,7 +697,7 @@
<div class="md-dialog__inner md-typeset"></div>
</div>
<script id="__config" type="application/json">{"base": "..", "features": [], "search": "../assets/javascripts/workers/search.208ed371.min.js", "translations": {"clipboard.copied": "Copied to clipboard", "clipboard.copy": "Copy to clipboard", "search.result.more.one": "1 more on this page", "search.result.more.other": "# more on this page", "search.result.none": "No matching documents", "search.result.one": "1 matching document", "search.result.other": "# matching documents", "search.result.placeholder": "Type to start searching", "search.result.term.missing": "Missing", "select.version": "Select version"}}</script>
<script id="__config" type="application/json">{"base": "..", "features": [], "search": "../assets/javascripts/workers/search.208ed371.min.js", "translations": {"clipboard.copied": "Copied to clipboard", "clipboard.copy": "Copy to clipboard", "search.result.more.one": "1 more on this page", "search.result.more.other": "# more on this page", "search.result.none": "No matching documents", "search.result.one": "1 matching document", "search.result.other": "# matching documents", "search.result.placeholder": "Type to start searching", "search.result.term.missing": "Missing", "select.version": "Select version"}, "version": {"provider": "mike"}}</script>
<script src="../assets/javascripts/bundle.efa0ade1.min.js"></script>

8
python/schema/index.html → python/0.18.0/schema/index.html
View File

@ -8,7 +8,7 @@
<link rel="canonical" href="https://preserves.dev/python/schema/">
<link rel="canonical" href="https://preserves.dev/python/latest/schema/">
<link rel="prev" href="../path/">
@ -80,6 +80,10 @@
</div>
<div data-md-color-scheme="default" data-md-component="outdated" hidden>
</div>
@ -1334,7 +1338,7 @@ for Python 3.</p>
<div class="md-dialog__inner md-typeset"></div>
</div>
<script id="__config" type="application/json">{"base": "..", "features": [], "search": "../assets/javascripts/workers/search.208ed371.min.js", "translations": {"clipboard.copied": "Copied to clipboard", "clipboard.copy": "Copy to clipboard", "search.result.more.one": "1 more on this page", "search.result.more.other": "# more on this page", "search.result.none": "No matching documents", "search.result.one": "1 matching document", "search.result.other": "# matching documents", "search.result.placeholder": "Type to start searching", "search.result.term.missing": "Missing", "select.version": "Select version"}}</script>
<script id="__config" type="application/json">{"base": "..", "features": [], "search": "../assets/javascripts/workers/search.208ed371.min.js", "translations": {"clipboard.copied": "Copied to clipboard", "clipboard.copy": "Copy to clipboard", "search.result.more.one": "1 more on this page", "search.result.more.other": "# more on this page", "search.result.none": "No matching documents", "search.result.one": "1 matching document", "search.result.other": "# matching documents", "search.result.placeholder": "Type to start searching", "search.result.term.missing": "Missing", "select.version": "Select version"}, "version": {"provider": "mike"}}</script>
<script src="../assets/javascripts/bundle.efa0ade1.min.js"></script>

0
python/search/search_index.json → python/0.18.0/search/search_index.json
View File

58
python/0.18.0/sitemap.xml Normal file
View File

@ -0,0 +1,58 @@
<?xml version="1.0" encoding="UTF-8"?>
<urlset xmlns="http://www.sitemaps.org/schemas/sitemap/0.9">
<url>
<loc>https://preserves.dev/python/latest/</loc>
<lastmod>2023-03-17</lastmod>
<changefreq>daily</changefreq>
</url>
<url>
<loc>https://preserves.dev/python/latest/api/</loc>
<lastmod>2023-03-17</lastmod>
<changefreq>daily</changefreq>
</url>
<url>
<loc>https://preserves.dev/python/latest/binary/</loc>
<lastmod>2023-03-17</lastmod>
<changefreq>daily</changefreq>
</url>
<url>
<loc>https://preserves.dev/python/latest/compare/</loc>
<lastmod>2023-03-17</lastmod>
<changefreq>daily</changefreq>
</url>
<url>
<loc>https://preserves.dev/python/latest/error/</loc>
<lastmod>2023-03-17</lastmod>
<changefreq>daily</changefreq>
</url>
<url>
<loc>https://preserves.dev/python/latest/fold/</loc>
<lastmod>2023-03-17</lastmod>
<changefreq>daily</changefreq>
</url>
<url>
<loc>https://preserves.dev/python/latest/merge/</loc>
<lastmod>2023-03-17</lastmod>
<changefreq>daily</changefreq>
</url>
<url>
<loc>https://preserves.dev/python/latest/path/</loc>
<lastmod>2023-03-17</lastmod>
<changefreq>daily</changefreq>
</url>
<url>
<loc>https://preserves.dev/python/latest/schema/</loc>
<lastmod>2023-03-17</lastmod>
<changefreq>daily</changefreq>
</url>
<url>
<loc>https://preserves.dev/python/latest/text/</loc>
<lastmod>2023-03-17</lastmod>
<changefreq>daily</changefreq>
</url>
<url>
<loc>https://preserves.dev/python/latest/values/</loc>
<lastmod>2023-03-17</lastmod>
<changefreq>daily</changefreq>
</url>
</urlset>

8
python/text/index.html → python/0.18.0/text/index.html
View File

@ -8,7 +8,7 @@
<link rel="canonical" href="https://preserves.dev/python/text/">
<link rel="canonical" href="https://preserves.dev/python/latest/text/">
<link rel="prev" href="../schema/">
@ -80,6 +80,10 @@
</div>
<div data-md-color-scheme="default" data-md-component="outdated" hidden>
</div>
@ -1563,7 +1567,7 @@ underlying <a class="autorefs autorefs-internal" href="#preserves.text.Formatter
<div class="md-dialog__inner md-typeset"></div>
</div>
<script id="__config" type="application/json">{"base": "..", "features": [], "search": "../assets/javascripts/workers/search.208ed371.min.js", "translations": {"clipboard.copied": "Copied to clipboard", "clipboard.copy": "Copy to clipboard", "search.result.more.one": "1 more on this page", "search.result.more.other": "# more on this page", "search.result.none": "No matching documents", "search.result.one": "1 matching document", "search.result.other": "# matching documents", "search.result.placeholder": "Type to start searching", "search.result.term.missing": "Missing", "select.version": "Select version"}}</script>
<script id="__config" type="application/json">{"base": "..", "features": [], "search": "../assets/javascripts/workers/search.208ed371.min.js", "translations": {"clipboard.copied": "Copied to clipboard", "clipboard.copy": "Copy to clipboard", "search.result.more.one": "1 more on this page", "search.result.more.other": "# more on this page", "search.result.none": "No matching documents", "search.result.one": "1 matching document", "search.result.other": "# matching documents", "search.result.placeholder": "Type to start searching", "search.result.term.missing": "Missing", "select.version": "Select version"}, "version": {"provider": "mike"}}</script>
<script src="../assets/javascripts/bundle.efa0ade1.min.js"></script>

8
python/values/index.html → python/0.18.0/values/index.html
View File

@ -8,7 +8,7 @@
<link rel="canonical" href="https://preserves.dev/python/values/">
<link rel="canonical" href="https://preserves.dev/python/latest/values/">
<link rel="prev" href="../text/">
@ -78,6 +78,10 @@
</div>
<div data-md-color-scheme="default" data-md-component="outdated" hidden>
</div>
@ -2536,7 +2540,7 @@ into the structure of <code>v.item</code>.</p>
<div class="md-dialog__inner md-typeset"></div>
</div>
<script id="__config" type="application/json">{"base": "..", "features": [], "search": "../assets/javascripts/workers/search.208ed371.min.js", "translations": {"clipboard.copied": "Copied to clipboard", "clipboard.copy": "Copy to clipboard", "search.result.more.one": "1 more on this page", "search.result.more.other": "# more on this page", "search.result.none": "No matching documents", "search.result.one": "1 matching document", "search.result.other": "# matching documents", "search.result.placeholder": "Type to start searching", "search.result.term.missing": "Missing", "select.version": "Select version"}}</script>
<script id="__config" type="application/json">{"base": "..", "features": [], "search": "../assets/javascripts/workers/search.208ed371.min.js", "translations": {"clipboard.copied": "Copied to clipboard", "clipboard.copy": "Copy to clipboard", "search.result.more.one": "1 more on this page", "search.result.more.other": "# more on this page", "search.result.none": "No matching documents", "search.result.one": "1 matching document", "search.result.other": "# matching documents", "search.result.placeholder": "Type to start searching", "search.result.term.missing": "Missing", "select.version": "Select version"}, "version": {"provider": "mike"}}</script>
<script src="../assets/javascripts/bundle.efa0ade1.min.js"></script>

10
python/index.md Normal file
View File

@ -0,0 +1,10 @@
---
title: 'Python Implementation Documentation'
---
Available versions:
{% for v in site.data.python-versions %}
- [{{v.title}}]({{v.version}}/)
{% endfor %}

1
python/latest Symbolic link
View File

@ -0,0 +1 @@
0.18.0

58
python/sitemap.xml
View File

@ -1,58 +0,0 @@
<?xml version="1.0" encoding="UTF-8"?>
<urlset xmlns="http://www.sitemaps.org/schemas/sitemap/0.9">
<url>
<loc>https://preserves.dev/python/</loc>
<lastmod>2023-03-16</lastmod>
<changefreq>daily</changefreq>
</url>
<url>
<loc>https://preserves.dev/python/api/</loc>
<lastmod>2023-03-16</lastmod>
<changefreq>daily</changefreq>
</url>
<url>
<loc>https://preserves.dev/python/binary/</loc>
<lastmod>2023-03-16</lastmod>
<changefreq>daily</changefreq>
</url>
<url>
<loc>https://preserves.dev/python/compare/</loc>
<lastmod>2023-03-16</lastmod>
<changefreq>daily</changefreq>
</url>
<url>
<loc>https://preserves.dev/python/error/</loc>
<lastmod>2023-03-16</lastmod>
<changefreq>daily</changefreq>
</url>
<url>
<loc>https://preserves.dev/python/fold/</loc>
<lastmod>2023-03-16</lastmod>
<changefreq>daily</changefreq>
</url>
<url>
<loc>https://preserves.dev/python/merge/</loc>
<lastmod>2023-03-16</lastmod>
<changefreq>daily</changefreq>
</url>
<url>
<loc>https://preserves.dev/python/path/</loc>
<lastmod>2023-03-16</lastmod>
<changefreq>daily</changefreq>
</url>
<url>
<loc>https://preserves.dev/python/schema/</loc>
<lastmod>2023-03-16</lastmod>
<changefreq>daily</changefreq>
</url>
<url>
<loc>https://preserves.dev/python/text/</loc>
<lastmod>2023-03-16</lastmod>
<changefreq>daily</changefreq>
</url>
<url>
<loc>https://preserves.dev/python/values/</loc>
<lastmod>2023-03-16</lastmod>
<changefreq>daily</changefreq>
</url>
</urlset>

4
python/versions.json Normal file
View File

@ -0,0 +1,4 @@
---
layout: null
---
{{ site.data.python-versions | jsonify }}