QPQ-AG/sophia
10
0
Fork 0
Code Issues 41 Pull Requests 5 Actions Packages Projects Releases 16 Wiki Activity

Deployed 20cab3a to master with MkDocs 1.2.3 and mike 1.0.1

Browse Source
This commit is contained in:
GitHub Action 2021-10-18 08:33:36 +00:00
parent 368d76dff4
commit 269261d215
29 changed files with 308 additions and 308 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

16
latest/CHANGELOG.html
View File

@ -1,16 +0,0 @@
<!DOCTYPE html>
<html>
<head>
<meta charset="utf-8">
<title>Redirecting</title>
<noscript>
<meta http-equiv="refresh" content="1; url=../master/CHANGELOG.html" />
</noscript>
<script>
window.location.replace("../master/CHANGELOG.html" + window.location.hash);
</script>
</head>
<body>
Redirecting to <a href="../master/CHANGELOG.html">../master/CHANGELOG.html</a>...
</body>
</html>

16
latest/CHANGELOG/index.html Normal file
View File

@ -0,0 +1,16 @@
<!DOCTYPE html>
<html>
<head>
<meta charset="utf-8">
<title>Redirecting</title>
<noscript>
<meta http-equiv="refresh" content="1; url=../../master/CHANGELOG/" />
</noscript>
<script>
window.location.replace("../../master/CHANGELOG/" + window.location.hash);
</script>
</head>
<body>
Redirecting to <a href="../../master/CHANGELOG/">../../master/CHANGELOG/</a>...
</body>
</html>

16
latest/aeso_aci.html
View File

@ -1,16 +0,0 @@
<!DOCTYPE html>
<html>
<head>
<meta charset="utf-8">
<title>Redirecting</title>
<noscript>
<meta http-equiv="refresh" content="1; url=../master/aeso_aci.html" />
</noscript>
<script>
window.location.replace("../master/aeso_aci.html" + window.location.hash);
</script>
</head>
<body>
Redirecting to <a href="../master/aeso_aci.html">../master/aeso_aci.html</a>...
</body>
</html>

16
latest/aeso_aci/index.html Normal file
View File

@ -0,0 +1,16 @@
<!DOCTYPE html>
<html>
<head>
<meta charset="utf-8">
<title>Redirecting</title>
<noscript>
<meta http-equiv="refresh" content="1; url=../../master/aeso_aci/" />
</noscript>
<script>
window.location.replace("../../master/aeso_aci/" + window.location.hash);
</script>
</head>
<body>
Redirecting to <a href="../../master/aeso_aci/">../../master/aeso_aci/</a>...
</body>
</html>

16
latest/aeso_compiler.html
View File

@ -1,16 +0,0 @@
<!DOCTYPE html>
<html>
<head>
<meta charset="utf-8">
<title>Redirecting</title>
<noscript>
<meta http-equiv="refresh" content="1; url=../master/aeso_compiler.html" />
</noscript>
<script>
window.location.replace("../master/aeso_compiler.html" + window.location.hash);
</script>
</head>
<body>
Redirecting to <a href="../master/aeso_compiler.html">../master/aeso_compiler.html</a>...
</body>
</html>

16
latest/aeso_compiler/index.html Normal file
View File

@ -0,0 +1,16 @@
<!DOCTYPE html>
<html>
<head>
<meta charset="utf-8">
<title>Redirecting</title>
<noscript>
<meta http-equiv="refresh" content="1; url=../../master/aeso_compiler/" />
</noscript>
<script>
window.location.replace("../../master/aeso_compiler/" + window.location.hash);
</script>
</head>
<body>
Redirecting to <a href="../../master/aeso_compiler/">../../master/aeso_compiler/</a>...
</body>
</html>

16
latest/sophia.html
View File

@ -1,16 +0,0 @@
<!DOCTYPE html>
<html>
<head>
<meta charset="utf-8">
<title>Redirecting</title>
<noscript>
<meta http-equiv="refresh" content="1; url=../master/sophia.html" />
</noscript>
<script>
window.location.replace("../master/sophia.html" + window.location.hash);
</script>
</head>
<body>
Redirecting to <a href="../master/sophia.html">../master/sophia.html</a>...
</body>
</html>

16
latest/sophia/index.html Normal file
View File

@ -0,0 +1,16 @@
<!DOCTYPE html>
<html>
<head>
<meta charset="utf-8">
<title>Redirecting</title>
<noscript>
<meta http-equiv="refresh" content="1; url=../../master/sophia/" />
</noscript>
<script>
window.location.replace("../../master/sophia/" + window.location.hash);
</script>
</head>
<body>
Redirecting to <a href="../../master/sophia/">../../master/sophia/</a>...
</body>
</html>

16
latest/sophia_examples.html
View File

@ -1,16 +0,0 @@
<!DOCTYPE html>
<html>
<head>
<meta charset="utf-8">
<title>Redirecting</title>
<noscript>
<meta http-equiv="refresh" content="1; url=../master/sophia_examples.html" />
</noscript>
<script>
window.location.replace("../master/sophia_examples.html" + window.location.hash);
</script>
</head>
<body>
Redirecting to <a href="../master/sophia_examples.html">../master/sophia_examples.html</a>...
</body>
</html>

16
latest/sophia_examples/index.html Normal file
View File

@ -0,0 +1,16 @@
<!DOCTYPE html>
<html>
<head>
<meta charset="utf-8">
<title>Redirecting</title>
<noscript>
<meta http-equiv="refresh" content="1; url=../../master/sophia_examples/" />
</noscript>
<script>
window.location.replace("../../master/sophia_examples/" + window.location.hash);
</script>
</head>
<body>
Redirecting to <a href="../../master/sophia_examples/">../../master/sophia_examples/</a>...
</body>
</html>

16
latest/sophia_features.html
View File

@ -1,16 +0,0 @@
<!DOCTYPE html>
<html>
<head>
<meta charset="utf-8">
<title>Redirecting</title>
<noscript>
<meta http-equiv="refresh" content="1; url=../master/sophia_features.html" />
</noscript>
<script>
window.location.replace("../master/sophia_features.html" + window.location.hash);
</script>
</head>
<body>
Redirecting to <a href="../master/sophia_features.html">../master/sophia_features.html</a>...
</body>
</html>

16
latest/sophia_features/index.html Normal file
View File

@ -0,0 +1,16 @@
<!DOCTYPE html>
<html>
<head>
<meta charset="utf-8">
<title>Redirecting</title>
<noscript>
<meta http-equiv="refresh" content="1; url=../../master/sophia_features/" />
</noscript>
<script>
window.location.replace("../../master/sophia_features/" + window.location.hash);
</script>
</head>
<body>
Redirecting to <a href="../../master/sophia_features/">../../master/sophia_features/</a>...
</body>
</html>

16
latest/sophia_stdlib.html
View File

@ -1,16 +0,0 @@
<!DOCTYPE html>
<html>
<head>
<meta charset="utf-8">
<title>Redirecting</title>
<noscript>
<meta http-equiv="refresh" content="1; url=../master/sophia_stdlib.html" />
</noscript>
<script>
window.location.replace("../master/sophia_stdlib.html" + window.location.hash);
</script>
</head>
<body>
Redirecting to <a href="../master/sophia_stdlib.html">../master/sophia_stdlib.html</a>...
</body>
</html>

16
latest/sophia_stdlib/index.html Normal file
View File

@ -0,0 +1,16 @@
<!DOCTYPE html>
<html>
<head>
<meta charset="utf-8">
<title>Redirecting</title>
<noscript>
<meta http-equiv="refresh" content="1; url=../../master/sophia_stdlib/" />
</noscript>
<script>
window.location.replace("../../master/sophia_stdlib/" + window.location.hash);
</script>
</head>
<body>
Redirecting to <a href="../../master/sophia_stdlib/">../../master/sophia_stdlib/</a>...
</body>
</html>

16
latest/sophia_syntax.html
View File

@ -1,16 +0,0 @@
<!DOCTYPE html>
<html>
<head>
<meta charset="utf-8">
<title>Redirecting</title>
<noscript>
<meta http-equiv="refresh" content="1; url=../master/sophia_syntax.html" />
</noscript>
<script>
window.location.replace("../master/sophia_syntax.html" + window.location.hash);
</script>
</head>
<body>
Redirecting to <a href="../master/sophia_syntax.html">../master/sophia_syntax.html</a>...
</body>
</html>

16
latest/sophia_syntax/index.html Normal file
View File

@ -0,0 +1,16 @@
<!DOCTYPE html>
<html>
<head>
<meta charset="utf-8">
<title>Redirecting</title>
<noscript>
<meta http-equiv="refresh" content="1; url=../../master/sophia_syntax/" />
</noscript>
<script>
window.location.replace("../../master/sophia_syntax/" + window.location.hash);
</script>
</head>
<body>
Redirecting to <a href="../../master/sophia_syntax/">../../master/sophia_syntax/</a>...
</body>
</html>

18
master/404.html
View File

@ -10,7 +10,7 @@
<link rel="icon" href="/favicon.png">
<meta name="generator" content="mkdocs-1.2.1, mkdocs-material-7.1.9">
<meta name="generator" content="mkdocs-1.2.3, mkdocs-material-7.1.9">
@ -71,7 +71,7 @@
<header class="md-header" data-md-component="header">
<nav class="md-header__inner md-grid" aria-label="Header">
<a href="/index.html" title="æternity Sophia Language" class="md-header__button md-logo" aria-label="æternity Sophia Language" data-md-component="logo">
<a href="/." title="æternity Sophia Language" class="md-header__button md-logo" aria-label="æternity Sophia Language" 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>
@ -186,7 +186,7 @@
<nav class="md-nav md-nav--primary" aria-label="Navigation" data-md-level="0">
<label class="md-nav__title" for="__drawer">
<a href="/index.html" title="æternity Sophia Language" class="md-nav__button md-logo" aria-label="æternity Sophia Language" data-md-component="logo">
<a href="/." title="æternity Sophia Language" class="md-nav__button md-logo" aria-label="æternity Sophia Language" 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>
@ -218,7 +218,7 @@
<li class="md-nav__item">
<a href="/index.html" class="md-nav__link">
<a href="/." class="md-nav__link">
Introduction
</a>
</li>
@ -233,7 +233,7 @@
<li class="md-nav__item">
<a href="/sophia_syntax.html" class="md-nav__link">
<a href="/sophia_syntax/" class="md-nav__link">
Syntax
</a>
</li>
@ -248,7 +248,7 @@
<li class="md-nav__item">
<a href="/sophia_features.html" class="md-nav__link">
<a href="/sophia_features/" class="md-nav__link">
Features
</a>
</li>
@ -263,7 +263,7 @@
<li class="md-nav__item">
<a href="/sophia_stdlib.html" class="md-nav__link">
<a href="/sophia_stdlib/" class="md-nav__link">
Standard library
</a>
</li>
@ -278,7 +278,7 @@
<li class="md-nav__item">
<a href="/sophia_examples.html" class="md-nav__link">
<a href="/sophia_examples/" class="md-nav__link">
Contract examples
</a>
</li>
@ -293,7 +293,7 @@
<li class="md-nav__item">
<a href="/CHANGELOG.html" class="md-nav__link">
<a href="/CHANGELOG/" class="md-nav__link">
Changelog
</a>
</li>

32
master/CHANGELOG.html → master/CHANGELOG/index.html
View File

@ -9,8 +9,8 @@
<link rel="icon" href="favicon.png">
<meta name="generator" content="mkdocs-1.2.1, mkdocs-material-7.1.9">
<link rel="icon" href="../favicon.png">
<meta name="generator" content="mkdocs-1.2.3, mkdocs-material-7.1.9">
@ -18,10 +18,10 @@
<link rel="stylesheet" href="assets/stylesheets/main.ca7ac06f.min.css">
<link rel="stylesheet" href="../assets/stylesheets/main.ca7ac06f.min.css">
<link rel="stylesheet" href="assets/stylesheets/palette.f1a3b89f.min.css">
<link rel="stylesheet" href="../assets/stylesheets/palette.f1a3b89f.min.css">
@ -55,7 +55,7 @@
<body dir="ltr" data-md-color-scheme="default" data-md-color-primary="pink" data-md-color-accent="pink">
<script>function __prefix(e){return new URL(".",location).pathname+"."+e}function __get(e,t=localStorage){return JSON.parse(t.getItem(__prefix(e)))}</script>
<script>function __prefix(e){return new URL("..",location).pathname+"."+e}function __get(e,t=localStorage){return JSON.parse(t.getItem(__prefix(e)))}</script>
<script>var palette=__get("__palette");if(null!==palette&&"object"==typeof palette.color)for(var key in palette.color)document.body.setAttribute("data-md-color-"+key,palette.color[key])</script>
@ -76,7 +76,7 @@
<header class="md-header" data-md-component="header">
<nav class="md-header__inner md-grid" aria-label="Header">
<a href="index.html" title="æternity Sophia Language" class="md-header__button md-logo" aria-label="æternity Sophia Language" data-md-component="logo">
<a href=".." title="æternity Sophia Language" class="md-header__button md-logo" aria-label="æternity Sophia Language" 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>
@ -191,7 +191,7 @@
<nav class="md-nav md-nav--primary" aria-label="Navigation" data-md-level="0">
<label class="md-nav__title" for="__drawer">
<a href="index.html" title="æternity Sophia Language" class="md-nav__button md-logo" aria-label="æternity Sophia Language" data-md-component="logo">
<a href=".." title="æternity Sophia Language" class="md-nav__button md-logo" aria-label="æternity Sophia Language" 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>
@ -223,7 +223,7 @@
<li class="md-nav__item">
<a href="index.html" class="md-nav__link">
<a href=".." class="md-nav__link">
Introduction
</a>
</li>
@ -238,7 +238,7 @@
<li class="md-nav__item">
<a href="sophia_syntax.html" class="md-nav__link">
<a href="../sophia_syntax/" class="md-nav__link">
Syntax
</a>
</li>
@ -253,7 +253,7 @@
<li class="md-nav__item">
<a href="sophia_features.html" class="md-nav__link">
<a href="../sophia_features/" class="md-nav__link">
Features
</a>
</li>
@ -268,7 +268,7 @@
<li class="md-nav__item">
<a href="sophia_stdlib.html" class="md-nav__link">
<a href="../sophia_stdlib/" class="md-nav__link">
Standard library
</a>
</li>
@ -283,7 +283,7 @@
<li class="md-nav__item">
<a href="sophia_examples.html" class="md-nav__link">
<a href="../sophia_examples/" class="md-nav__link">
Contract examples
</a>
</li>
@ -312,7 +312,7 @@
<span class="md-nav__icon md-icon"></span>
</label>
<a href="CHANGELOG.html" class="md-nav__link md-nav__link--active">
<a href="./" class="md-nav__link md-nav__link--active">
Changelog
</a>
@ -1608,7 +1608,7 @@ Bytes.to_int : bytes(_) =&gt; int
<nav class="md-footer__inner md-grid" aria-label="Footer">
<a href="sophia_examples.html" class="md-footer__link md-footer__link--prev" aria-label="Previous: Contract examples" rel="prev">
<a href="../sophia_examples/" class="md-footer__link md-footer__link--prev" aria-label="Previous: Contract examples" rel="prev">
<div class="md-footer__button md-icon">
<svg xmlns="http://www.w3.org/2000/svg" viewBox="0 0 24 24"><path d="M20 11v2H8l5.5 5.5-1.42 1.42L4.16 12l7.92-7.92L13.5 5.5 8 11h12z"/></svg>
</div>
@ -1644,10 +1644,10 @@ Bytes.to_int : bytes(_) =&gt; int
<div class="md-dialog" data-md-component="dialog">
<div class="md-dialog__inner md-typeset"></div>
</div>
<script id="__config" type="application/json">{"base": ".", "features": ["content.tabs.link", "search.highlight", "search.share", "search.suggest"], "translations": {"clipboard.copy": "Copy to clipboard", "clipboard.copied": "Copied to clipboard", "search.config.lang": "en", "search.config.pipeline": "trimmer, stopWordFilter", "search.config.separator": "[\\s\\-]+", "search.placeholder": "Search", "search.result.placeholder": "Type to start searching", "search.result.none": "No matching documents", "search.result.one": "1 matching document", "search.result.other": "# matching documents", "search.result.more.one": "1 more on this page", "search.result.more.other": "# more on this page", "search.result.term.missing": "Missing", "select.version.title": "Select version"}, "search": "assets/javascripts/workers/search.477d984a.min.js", "version": {"provider": "mike"}}</script>
<script id="__config" type="application/json">{"base": "..", "features": ["content.tabs.link", "search.highlight", "search.share", "search.suggest"], "translations": {"clipboard.copy": "Copy to clipboard", "clipboard.copied": "Copied to clipboard", "search.config.lang": "en", "search.config.pipeline": "trimmer, stopWordFilter", "search.config.separator": "[\\s\\-]+", "search.placeholder": "Search", "search.result.placeholder": "Type to start searching", "search.result.none": "No matching documents", "search.result.one": "1 matching document", "search.result.other": "# matching documents", "search.result.more.one": "1 more on this page", "search.result.more.other": "# more on this page", "search.result.term.missing": "Missing", "select.version.title": "Select version"}, "search": "../assets/javascripts/workers/search.477d984a.min.js", "version": {"provider": "mike"}}</script>
<script src="assets/javascripts/bundle.82b56eb2.min.js"></script>
<script src="../assets/javascripts/bundle.82b56eb2.min.js"></script>
</body>

30
master/aeso_aci.html → master/aeso_aci/index.html
View File

@ -9,8 +9,8 @@
<link rel="icon" href="favicon.png">
<meta name="generator" content="mkdocs-1.2.1, mkdocs-material-7.1.9">
<link rel="icon" href="../favicon.png">
<meta name="generator" content="mkdocs-1.2.3, mkdocs-material-7.1.9">
@ -18,10 +18,10 @@
<link rel="stylesheet" href="assets/stylesheets/main.ca7ac06f.min.css">
<link rel="stylesheet" href="../assets/stylesheets/main.ca7ac06f.min.css">
<link rel="stylesheet" href="assets/stylesheets/palette.f1a3b89f.min.css">
<link rel="stylesheet" href="../assets/stylesheets/palette.f1a3b89f.min.css">
@ -55,7 +55,7 @@
<body dir="ltr" data-md-color-scheme="default" data-md-color-primary="pink" data-md-color-accent="pink">
<script>function __prefix(e){return new URL(".",location).pathname+"."+e}function __get(e,t=localStorage){return JSON.parse(t.getItem(__prefix(e)))}</script>
<script>function __prefix(e){return new URL("..",location).pathname+"."+e}function __get(e,t=localStorage){return JSON.parse(t.getItem(__prefix(e)))}</script>
<script>var palette=__get("__palette");if(null!==palette&&"object"==typeof palette.color)for(var key in palette.color)document.body.setAttribute("data-md-color-"+key,palette.color[key])</script>
@ -76,7 +76,7 @@
<header class="md-header" data-md-component="header">
<nav class="md-header__inner md-grid" aria-label="Header">
<a href="index.html" title="æternity Sophia Language" class="md-header__button md-logo" aria-label="æternity Sophia Language" data-md-component="logo">
<a href=".." title="æternity Sophia Language" class="md-header__button md-logo" aria-label="æternity Sophia Language" 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>
@ -191,7 +191,7 @@
<nav class="md-nav md-nav--primary" aria-label="Navigation" data-md-level="0">
<label class="md-nav__title" for="__drawer">
<a href="index.html" title="æternity Sophia Language" class="md-nav__button md-logo" aria-label="æternity Sophia Language" data-md-component="logo">
<a href=".." title="æternity Sophia Language" class="md-nav__button md-logo" aria-label="æternity Sophia Language" 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>
@ -223,7 +223,7 @@
<li class="md-nav__item">
<a href="index.html" class="md-nav__link">
<a href=".." class="md-nav__link">
Introduction
</a>
</li>
@ -238,7 +238,7 @@
<li class="md-nav__item">
<a href="sophia_syntax.html" class="md-nav__link">
<a href="../sophia_syntax/" class="md-nav__link">
Syntax
</a>
</li>
@ -253,7 +253,7 @@
<li class="md-nav__item">
<a href="sophia_features.html" class="md-nav__link">
<a href="../sophia_features/" class="md-nav__link">
Features
</a>
</li>
@ -268,7 +268,7 @@
<li class="md-nav__item">
<a href="sophia_stdlib.html" class="md-nav__link">
<a href="../sophia_stdlib/" class="md-nav__link">
Standard library
</a>
</li>
@ -283,7 +283,7 @@
<li class="md-nav__item">
<a href="sophia_examples.html" class="md-nav__link">
<a href="../sophia_examples/" class="md-nav__link">
Contract examples
</a>
</li>
@ -298,7 +298,7 @@
<li class="md-nav__item">
<a href="CHANGELOG.html" class="md-nav__link">
<a href="../CHANGELOG/" class="md-nav__link">
Changelog
</a>
</li>
@ -549,10 +549,10 @@ more easily readable form. This is what is shown in the description above.</p>
<div class="md-dialog" data-md-component="dialog">
<div class="md-dialog__inner md-typeset"></div>
</div>
<script id="__config" type="application/json">{"base": ".", "features": ["content.tabs.link", "search.highlight", "search.share", "search.suggest"], "translations": {"clipboard.copy": "Copy to clipboard", "clipboard.copied": "Copied to clipboard", "search.config.lang": "en", "search.config.pipeline": "trimmer, stopWordFilter", "search.config.separator": "[\\s\\-]+", "search.placeholder": "Search", "search.result.placeholder": "Type to start searching", "search.result.none": "No matching documents", "search.result.one": "1 matching document", "search.result.other": "# matching documents", "search.result.more.one": "1 more on this page", "search.result.more.other": "# more on this page", "search.result.term.missing": "Missing", "select.version.title": "Select version"}, "search": "assets/javascripts/workers/search.477d984a.min.js", "version": {"provider": "mike"}}</script>
<script id="__config" type="application/json">{"base": "..", "features": ["content.tabs.link", "search.highlight", "search.share", "search.suggest"], "translations": {"clipboard.copy": "Copy to clipboard", "clipboard.copied": "Copied to clipboard", "search.config.lang": "en", "search.config.pipeline": "trimmer, stopWordFilter", "search.config.separator": "[\\s\\-]+", "search.placeholder": "Search", "search.result.placeholder": "Type to start searching", "search.result.none": "No matching documents", "search.result.one": "1 matching document", "search.result.other": "# matching documents", "search.result.more.one": "1 more on this page", "search.result.more.other": "# more on this page", "search.result.term.missing": "Missing", "select.version.title": "Select version"}, "search": "../assets/javascripts/workers/search.477d984a.min.js", "version": {"provider": "mike"}}</script>
<script src="assets/javascripts/bundle.82b56eb2.min.js"></script>
<script src="../assets/javascripts/bundle.82b56eb2.min.js"></script>
</body>

30
master/aeso_compiler.html → master/aeso_compiler/index.html
View File

@ -9,8 +9,8 @@
<link rel="icon" href="favicon.png">
<meta name="generator" content="mkdocs-1.2.1, mkdocs-material-7.1.9">
<link rel="icon" href="../favicon.png">
<meta name="generator" content="mkdocs-1.2.3, mkdocs-material-7.1.9">
@ -18,10 +18,10 @@
<link rel="stylesheet" href="assets/stylesheets/main.ca7ac06f.min.css">
<link rel="stylesheet" href="../assets/stylesheets/main.ca7ac06f.min.css">
<link rel="stylesheet" href="assets/stylesheets/palette.f1a3b89f.min.css">
<link rel="stylesheet" href="../assets/stylesheets/palette.f1a3b89f.min.css">
@ -55,7 +55,7 @@
<body dir="ltr" data-md-color-scheme="default" data-md-color-primary="pink" data-md-color-accent="pink">
<script>function __prefix(e){return new URL(".",location).pathname+"."+e}function __get(e,t=localStorage){return JSON.parse(t.getItem(__prefix(e)))}</script>
<script>function __prefix(e){return new URL("..",location).pathname+"."+e}function __get(e,t=localStorage){return JSON.parse(t.getItem(__prefix(e)))}</script>
<script>var palette=__get("__palette");if(null!==palette&&"object"==typeof palette.color)for(var key in palette.color)document.body.setAttribute("data-md-color-"+key,palette.color[key])</script>
@ -76,7 +76,7 @@
<header class="md-header" data-md-component="header">
<nav class="md-header__inner md-grid" aria-label="Header">
<a href="index.html" title="æternity Sophia Language" class="md-header__button md-logo" aria-label="æternity Sophia Language" data-md-component="logo">
<a href=".." title="æternity Sophia Language" class="md-header__button md-logo" aria-label="æternity Sophia Language" 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>
@ -191,7 +191,7 @@
<nav class="md-nav md-nav--primary" aria-label="Navigation" data-md-level="0">
<label class="md-nav__title" for="__drawer">
<a href="index.html" title="æternity Sophia Language" class="md-nav__button md-logo" aria-label="æternity Sophia Language" data-md-component="logo">
<a href=".." title="æternity Sophia Language" class="md-nav__button md-logo" aria-label="æternity Sophia Language" 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>
@ -223,7 +223,7 @@
<li class="md-nav__item">
<a href="index.html" class="md-nav__link">
<a href=".." class="md-nav__link">
Introduction
</a>
</li>
@ -238,7 +238,7 @@
<li class="md-nav__item">
<a href="sophia_syntax.html" class="md-nav__link">
<a href="../sophia_syntax/" class="md-nav__link">
Syntax
</a>
</li>
@ -253,7 +253,7 @@
<li class="md-nav__item">
<a href="sophia_features.html" class="md-nav__link">
<a href="../sophia_features/" class="md-nav__link">
Features
</a>
</li>
@ -268,7 +268,7 @@
<li class="md-nav__item">
<a href="sophia_stdlib.html" class="md-nav__link">
<a href="../sophia_stdlib/" class="md-nav__link">
Standard library
</a>
</li>
@ -283,7 +283,7 @@
<li class="md-nav__item">
<a href="sophia_examples.html" class="md-nav__link">
<a href="../sophia_examples/" class="md-nav__link">
Contract examples
</a>
</li>
@ -298,7 +298,7 @@
<li class="md-nav__item">
<a href="CHANGELOG.html" class="md-nav__link">
<a href="../CHANGELOG/" class="md-nav__link">
Changelog
</a>
</li>
@ -467,10 +467,10 @@ Check a call in contract through the <code>__call</code> function.</p>
<div class="md-dialog" data-md-component="dialog">
<div class="md-dialog__inner md-typeset"></div>
</div>
<script id="__config" type="application/json">{"base": ".", "features": ["content.tabs.link", "search.highlight", "search.share", "search.suggest"], "translations": {"clipboard.copy": "Copy to clipboard", "clipboard.copied": "Copied to clipboard", "search.config.lang": "en", "search.config.pipeline": "trimmer, stopWordFilter", "search.config.separator": "[\\s\\-]+", "search.placeholder": "Search", "search.result.placeholder": "Type to start searching", "search.result.none": "No matching documents", "search.result.one": "1 matching document", "search.result.other": "# matching documents", "search.result.more.one": "1 more on this page", "search.result.more.other": "# more on this page", "search.result.term.missing": "Missing", "select.version.title": "Select version"}, "search": "assets/javascripts/workers/search.477d984a.min.js", "version": {"provider": "mike"}}</script>
<script id="__config" type="application/json">{"base": "..", "features": ["content.tabs.link", "search.highlight", "search.share", "search.suggest"], "translations": {"clipboard.copy": "Copy to clipboard", "clipboard.copied": "Copied to clipboard", "search.config.lang": "en", "search.config.pipeline": "trimmer, stopWordFilter", "search.config.separator": "[\\s\\-]+", "search.placeholder": "Search", "search.result.placeholder": "Type to start searching", "search.result.none": "No matching documents", "search.result.one": "1 matching document", "search.result.other": "# matching documents", "search.result.more.one": "1 more on this page", "search.result.more.other": "# more on this page", "search.result.term.missing": "Missing", "select.version.title": "Select version"}, "search": "../assets/javascripts/workers/search.477d984a.min.js", "version": {"provider": "mike"}}</script>
<script src="assets/javascripts/bundle.82b56eb2.min.js"></script>
<script src="../assets/javascripts/bundle.82b56eb2.min.js"></script>
</body>

20
master/index.html
View File

@ -10,7 +10,7 @@
<link rel="icon" href="favicon.png">
<meta name="generator" content="mkdocs-1.2.1, mkdocs-material-7.1.9">
<meta name="generator" content="mkdocs-1.2.3, mkdocs-material-7.1.9">
@ -76,7 +76,7 @@
<header class="md-header" data-md-component="header">
<nav class="md-header__inner md-grid" aria-label="Header">
<a href="index.html" title="æternity Sophia Language" class="md-header__button md-logo" aria-label="æternity Sophia Language" data-md-component="logo">
<a href="." title="æternity Sophia Language" class="md-header__button md-logo" aria-label="æternity Sophia Language" 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>
@ -191,7 +191,7 @@
<nav class="md-nav md-nav--primary" aria-label="Navigation" data-md-level="0">
<label class="md-nav__title" for="__drawer">
<a href="index.html" title="æternity Sophia Language" class="md-nav__button md-logo" aria-label="æternity Sophia Language" data-md-component="logo">
<a href="." title="æternity Sophia Language" class="md-nav__button md-logo" aria-label="æternity Sophia Language" 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>
@ -232,7 +232,7 @@
<a href="index.html" class="md-nav__link md-nav__link--active">
<a href="." class="md-nav__link md-nav__link--active">
Introduction
</a>
@ -248,7 +248,7 @@
<li class="md-nav__item">
<a href="sophia_syntax.html" class="md-nav__link">
<a href="sophia_syntax/" class="md-nav__link">
Syntax
</a>
</li>
@ -263,7 +263,7 @@
<li class="md-nav__item">
<a href="sophia_features.html" class="md-nav__link">
<a href="sophia_features/" class="md-nav__link">
Features
</a>
</li>
@ -278,7 +278,7 @@
<li class="md-nav__item">
<a href="sophia_stdlib.html" class="md-nav__link">
<a href="sophia_stdlib/" class="md-nav__link">
Standard library
</a>
</li>
@ -293,7 +293,7 @@
<li class="md-nav__item">
<a href="sophia_examples.html" class="md-nav__link">
<a href="sophia_examples/" class="md-nav__link">
Contract examples
</a>
</li>
@ -308,7 +308,7 @@
<li class="md-nav__item">
<a href="CHANGELOG.html" class="md-nav__link">
<a href="CHANGELOG/" class="md-nav__link">
Changelog
</a>
</li>
@ -379,7 +379,7 @@ some <a href="https://aeternity.com">æternity blockchain</a> specific primitive
<a href="sophia_syntax.html" class="md-footer__link md-footer__link--next" aria-label="Next: Syntax" rel="next">
<a href="sophia_syntax/" class="md-footer__link md-footer__link--next" aria-label="Next: Syntax" rel="next">
<div class="md-footer__title">
<div class="md-ellipsis">
<span class="md-footer__direction">

2
master/search/search_index.json
View File

File diff suppressed because one or more lines are too long

18
master/sitemap.xml
View File

@ -2,47 +2,47 @@
<urlset xmlns="http://www.sitemaps.org/schemas/sitemap/0.9">
<url>
<loc>None</loc>
<lastmod>2021-09-30</lastmod>
<lastmod>2021-10-18</lastmod>
<changefreq>daily</changefreq>
</url>
<url>
<loc>None</loc>
<lastmod>2021-09-30</lastmod>
<lastmod>2021-10-18</lastmod>
<changefreq>daily</changefreq>
</url>
<url>
<loc>None</loc>
<lastmod>2021-09-30</lastmod>
<lastmod>2021-10-18</lastmod>
<changefreq>daily</changefreq>
</url>
<url>
<loc>None</loc>
<lastmod>2021-09-30</lastmod>
<lastmod>2021-10-18</lastmod>
<changefreq>daily</changefreq>
</url>
<url>
<loc>None</loc>
<lastmod>2021-09-30</lastmod>
<lastmod>2021-10-18</lastmod>
<changefreq>daily</changefreq>
</url>
<url>
<loc>None</loc>
<lastmod>2021-09-30</lastmod>
<lastmod>2021-10-18</lastmod>
<changefreq>daily</changefreq>
</url>
<url>
<loc>None</loc>
<lastmod>2021-09-30</lastmod>
<lastmod>2021-10-18</lastmod>
<changefreq>daily</changefreq>
</url>
<url>
<loc>None</loc>
<lastmod>2021-09-30</lastmod>
<lastmod>2021-10-18</lastmod>
<changefreq>daily</changefreq>
</url>
<url>
<loc>None</loc>
<lastmod>2021-09-30</lastmod>
<lastmod>2021-10-18</lastmod>
<changefreq>daily</changefreq>
</url>
</urlset>

BIN
master/sitemap.xml.gz
View File

Binary file not shown.

32
master/sophia.html → master/sophia/index.html
View File

@ -9,8 +9,8 @@
<link rel="icon" href="favicon.png">
<meta name="generator" content="mkdocs-1.2.1, mkdocs-material-7.1.9">
<link rel="icon" href="../favicon.png">
<meta name="generator" content="mkdocs-1.2.3, mkdocs-material-7.1.9">
@ -18,10 +18,10 @@
<link rel="stylesheet" href="assets/stylesheets/main.ca7ac06f.min.css">
<link rel="stylesheet" href="../assets/stylesheets/main.ca7ac06f.min.css">
<link rel="stylesheet" href="assets/stylesheets/palette.f1a3b89f.min.css">
<link rel="stylesheet" href="../assets/stylesheets/palette.f1a3b89f.min.css">
@ -55,7 +55,7 @@
<body dir="ltr" data-md-color-scheme="default" data-md-color-primary="pink" data-md-color-accent="pink">
<script>function __prefix(e){return new URL(".",location).pathname+"."+e}function __get(e,t=localStorage){return JSON.parse(t.getItem(__prefix(e)))}</script>
<script>function __prefix(e){return new URL("..",location).pathname+"."+e}function __get(e,t=localStorage){return JSON.parse(t.getItem(__prefix(e)))}</script>
<script>var palette=__get("__palette");if(null!==palette&&"object"==typeof palette.color)for(var key in palette.color)document.body.setAttribute("data-md-color-"+key,palette.color[key])</script>
@ -71,7 +71,7 @@
<header class="md-header" data-md-component="header">
<nav class="md-header__inner md-grid" aria-label="Header">
<a href="index.html" title="æternity Sophia Language" class="md-header__button md-logo" aria-label="æternity Sophia Language" data-md-component="logo">
<a href=".." title="æternity Sophia Language" class="md-header__button md-logo" aria-label="æternity Sophia Language" 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>
@ -186,7 +186,7 @@
<nav class="md-nav md-nav--primary" aria-label="Navigation" data-md-level="0">
<label class="md-nav__title" for="__drawer">
<a href="index.html" title="æternity Sophia Language" class="md-nav__button md-logo" aria-label="æternity Sophia Language" data-md-component="logo">
<a href=".." title="æternity Sophia Language" class="md-nav__button md-logo" aria-label="æternity Sophia Language" 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>
@ -218,7 +218,7 @@
<li class="md-nav__item">
<a href="index.html" class="md-nav__link">
<a href=".." class="md-nav__link">
Introduction
</a>
</li>
@ -233,7 +233,7 @@
<li class="md-nav__item">
<a href="sophia_syntax.html" class="md-nav__link">
<a href="../sophia_syntax/" class="md-nav__link">
Syntax
</a>
</li>
@ -248,7 +248,7 @@
<li class="md-nav__item">
<a href="sophia_features.html" class="md-nav__link">
<a href="../sophia_features/" class="md-nav__link">
Features
</a>
</li>
@ -263,7 +263,7 @@
<li class="md-nav__item">
<a href="sophia_stdlib.html" class="md-nav__link">
<a href="../sophia_stdlib/" class="md-nav__link">
Standard library
</a>
</li>
@ -278,7 +278,7 @@
<li class="md-nav__item">
<a href="sophia_examples.html" class="md-nav__link">
<a href="../sophia_examples/" class="md-nav__link">
Contract examples
</a>
</li>
@ -293,7 +293,7 @@
<li class="md-nav__item">
<a href="CHANGELOG.html" class="md-nav__link">
<a href="../CHANGELOG/" class="md-nav__link">
Changelog
</a>
</li>
@ -315,7 +315,7 @@
<h1>Sophia</h1>
<p>This file has been moved <a href="sophia_features.html">here</a></p>
<p>This file has been moved <a href="../sophia_features/">here</a></p>
@ -351,10 +351,10 @@
<div class="md-dialog" data-md-component="dialog">
<div class="md-dialog__inner md-typeset"></div>
</div>
<script id="__config" type="application/json">{"base": ".", "features": ["content.tabs.link", "search.highlight", "search.share", "search.suggest"], "translations": {"clipboard.copy": "Copy to clipboard", "clipboard.copied": "Copied to clipboard", "search.config.lang": "en", "search.config.pipeline": "trimmer, stopWordFilter", "search.config.separator": "[\\s\\-]+", "search.placeholder": "Search", "search.result.placeholder": "Type to start searching", "search.result.none": "No matching documents", "search.result.one": "1 matching document", "search.result.other": "# matching documents", "search.result.more.one": "1 more on this page", "search.result.more.other": "# more on this page", "search.result.term.missing": "Missing", "select.version.title": "Select version"}, "search": "assets/javascripts/workers/search.477d984a.min.js", "version": {"provider": "mike"}}</script>
<script id="__config" type="application/json">{"base": "..", "features": ["content.tabs.link", "search.highlight", "search.share", "search.suggest"], "translations": {"clipboard.copy": "Copy to clipboard", "clipboard.copied": "Copied to clipboard", "search.config.lang": "en", "search.config.pipeline": "trimmer, stopWordFilter", "search.config.separator": "[\\s\\-]+", "search.placeholder": "Search", "search.result.placeholder": "Type to start searching", "search.result.none": "No matching documents", "search.result.one": "1 matching document", "search.result.other": "# matching documents", "search.result.more.one": "1 more on this page", "search.result.more.other": "# more on this page", "search.result.term.missing": "Missing", "select.version.title": "Select version"}, "search": "../assets/javascripts/workers/search.477d984a.min.js", "version": {"provider": "mike"}}</script>
<script src="assets/javascripts/bundle.82b56eb2.min.js"></script>
<script src="../assets/javascripts/bundle.82b56eb2.min.js"></script>
</body>

34
master/sophia_examples.html → master/sophia_examples/index.html
View File

@ -9,8 +9,8 @@
<link rel="icon" href="favicon.png">
<meta name="generator" content="mkdocs-1.2.1, mkdocs-material-7.1.9">
<link rel="icon" href="../favicon.png">
<meta name="generator" content="mkdocs-1.2.3, mkdocs-material-7.1.9">
@ -18,10 +18,10 @@
<link rel="stylesheet" href="assets/stylesheets/main.ca7ac06f.min.css">
<link rel="stylesheet" href="../assets/stylesheets/main.ca7ac06f.min.css">
<link rel="stylesheet" href="assets/stylesheets/palette.f1a3b89f.min.css">
<link rel="stylesheet" href="../assets/stylesheets/palette.f1a3b89f.min.css">
@ -55,7 +55,7 @@
<body dir="ltr" data-md-color-scheme="default" data-md-color-primary="pink" data-md-color-accent="pink">
<script>function __prefix(e){return new URL(".",location).pathname+"."+e}function __get(e,t=localStorage){return JSON.parse(t.getItem(__prefix(e)))}</script>
<script>function __prefix(e){return new URL("..",location).pathname+"."+e}function __get(e,t=localStorage){return JSON.parse(t.getItem(__prefix(e)))}</script>
<script>var palette=__get("__palette");if(null!==palette&&"object"==typeof palette.color)for(var key in palette.color)document.body.setAttribute("data-md-color-"+key,palette.color[key])</script>
@ -76,7 +76,7 @@
<header class="md-header" data-md-component="header">
<nav class="md-header__inner md-grid" aria-label="Header">
<a href="index.html" title="æternity Sophia Language" class="md-header__button md-logo" aria-label="æternity Sophia Language" data-md-component="logo">
<a href=".." title="æternity Sophia Language" class="md-header__button md-logo" aria-label="æternity Sophia Language" 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>
@ -191,7 +191,7 @@
<nav class="md-nav md-nav--primary" aria-label="Navigation" data-md-level="0">
<label class="md-nav__title" for="__drawer">
<a href="index.html" title="æternity Sophia Language" class="md-nav__button md-logo" aria-label="æternity Sophia Language" data-md-component="logo">
<a href=".." title="æternity Sophia Language" class="md-nav__button md-logo" aria-label="æternity Sophia Language" 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>
@ -223,7 +223,7 @@
<li class="md-nav__item">
<a href="index.html" class="md-nav__link">
<a href=".." class="md-nav__link">
Introduction
</a>
</li>
@ -238,7 +238,7 @@
<li class="md-nav__item">
<a href="sophia_syntax.html" class="md-nav__link">
<a href="../sophia_syntax/" class="md-nav__link">
Syntax
</a>
</li>
@ -253,7 +253,7 @@
<li class="md-nav__item">
<a href="sophia_features.html" class="md-nav__link">
<a href="../sophia_features/" class="md-nav__link">
Features
</a>
</li>
@ -268,7 +268,7 @@
<li class="md-nav__item">
<a href="sophia_stdlib.html" class="md-nav__link">
<a href="../sophia_stdlib/" class="md-nav__link">
Standard library
</a>
</li>
@ -297,7 +297,7 @@
<span class="md-nav__icon md-icon"></span>
</label>
<a href="sophia_examples.html" class="md-nav__link md-nav__link--active">
<a href="./" class="md-nav__link md-nav__link--active">
Contract examples
</a>
@ -345,7 +345,7 @@
<li class="md-nav__item">
<a href="CHANGELOG.html" class="md-nav__link">
<a href="../CHANGELOG/" class="md-nav__link">
Changelog
</a>
</li>
@ -496,7 +496,7 @@ contract FundMe =
<nav class="md-footer__inner md-grid" aria-label="Footer">
<a href="sophia_stdlib.html" class="md-footer__link md-footer__link--prev" aria-label="Previous: Standard library" rel="prev">
<a href="../sophia_stdlib/" class="md-footer__link md-footer__link--prev" aria-label="Previous: Standard library" rel="prev">
<div class="md-footer__button md-icon">
<svg xmlns="http://www.w3.org/2000/svg" viewBox="0 0 24 24"><path d="M20 11v2H8l5.5 5.5-1.42 1.42L4.16 12l7.92-7.92L13.5 5.5 8 11h12z"/></svg>
</div>
@ -512,7 +512,7 @@ contract FundMe =
<a href="CHANGELOG.html" class="md-footer__link md-footer__link--next" aria-label="Next: Changelog" rel="next">
<a href="../CHANGELOG/" class="md-footer__link md-footer__link--next" aria-label="Next: Changelog" rel="next">
<div class="md-footer__title">
<div class="md-ellipsis">
<span class="md-footer__direction">
@ -547,10 +547,10 @@ contract FundMe =
<div class="md-dialog" data-md-component="dialog">
<div class="md-dialog__inner md-typeset"></div>
</div>
<script id="__config" type="application/json">{"base": ".", "features": ["content.tabs.link", "search.highlight", "search.share", "search.suggest"], "translations": {"clipboard.copy": "Copy to clipboard", "clipboard.copied": "Copied to clipboard", "search.config.lang": "en", "search.config.pipeline": "trimmer, stopWordFilter", "search.config.separator": "[\\s\\-]+", "search.placeholder": "Search", "search.result.placeholder": "Type to start searching", "search.result.none": "No matching documents", "search.result.one": "1 matching document", "search.result.other": "# matching documents", "search.result.more.one": "1 more on this page", "search.result.more.other": "# more on this page", "search.result.term.missing": "Missing", "select.version.title": "Select version"}, "search": "assets/javascripts/workers/search.477d984a.min.js", "version": {"provider": "mike"}}</script>
<script id="__config" type="application/json">{"base": "..", "features": ["content.tabs.link", "search.highlight", "search.share", "search.suggest"], "translations": {"clipboard.copy": "Copy to clipboard", "clipboard.copied": "Copied to clipboard", "search.config.lang": "en", "search.config.pipeline": "trimmer, stopWordFilter", "search.config.separator": "[\\s\\-]+", "search.placeholder": "Search", "search.result.placeholder": "Type to start searching", "search.result.none": "No matching documents", "search.result.one": "1 matching document", "search.result.other": "# matching documents", "search.result.more.one": "1 more on this page", "search.result.more.other": "# more on this page", "search.result.term.missing": "Missing", "select.version.title": "Select version"}, "search": "../assets/javascripts/workers/search.477d984a.min.js", "version": {"provider": "mike"}}</script>
<script src="assets/javascripts/bundle.82b56eb2.min.js"></script>
<script src="../assets/javascripts/bundle.82b56eb2.min.js"></script>
</body>

64
master/sophia_features.html → master/sophia_features/index.html
View File

@ -9,8 +9,8 @@
<link rel="icon" href="favicon.png">
<meta name="generator" content="mkdocs-1.2.1, mkdocs-material-7.1.9">
<link rel="icon" href="../favicon.png">
<meta name="generator" content="mkdocs-1.2.3, mkdocs-material-7.1.9">
@ -18,10 +18,10 @@
<link rel="stylesheet" href="assets/stylesheets/main.ca7ac06f.min.css">
<link rel="stylesheet" href="../assets/stylesheets/main.ca7ac06f.min.css">
<link rel="stylesheet" href="assets/stylesheets/palette.f1a3b89f.min.css">
<link rel="stylesheet" href="../assets/stylesheets/palette.f1a3b89f.min.css">
@ -55,7 +55,7 @@
<body dir="ltr" data-md-color-scheme="default" data-md-color-primary="pink" data-md-color-accent="pink">
<script>function __prefix(e){return new URL(".",location).pathname+"."+e}function __get(e,t=localStorage){return JSON.parse(t.getItem(__prefix(e)))}</script>
<script>function __prefix(e){return new URL("..",location).pathname+"."+e}function __get(e,t=localStorage){return JSON.parse(t.getItem(__prefix(e)))}</script>
<script>var palette=__get("__palette");if(null!==palette&&"object"==typeof palette.color)for(var key in palette.color)document.body.setAttribute("data-md-color-"+key,palette.color[key])</script>
@ -76,7 +76,7 @@
<header class="md-header" data-md-component="header">
<nav class="md-header__inner md-grid" aria-label="Header">
<a href="index.html" title="æternity Sophia Language" class="md-header__button md-logo" aria-label="æternity Sophia Language" data-md-component="logo">
<a href=".." title="æternity Sophia Language" class="md-header__button md-logo" aria-label="æternity Sophia Language" 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>
@ -191,7 +191,7 @@
<nav class="md-nav md-nav--primary" aria-label="Navigation" data-md-level="0">
<label class="md-nav__title" for="__drawer">
<a href="index.html" title="æternity Sophia Language" class="md-nav__button md-logo" aria-label="æternity Sophia Language" data-md-component="logo">
<a href=".." title="æternity Sophia Language" class="md-nav__button md-logo" aria-label="æternity Sophia Language" 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>
@ -223,7 +223,7 @@
<li class="md-nav__item">
<a href="index.html" class="md-nav__link">
<a href=".." class="md-nav__link">
Introduction
</a>
</li>
@ -238,7 +238,7 @@
<li class="md-nav__item">
<a href="sophia_syntax.html" class="md-nav__link">
<a href="../sophia_syntax/" class="md-nav__link">
Syntax
</a>
</li>
@ -267,7 +267,7 @@
<span class="md-nav__icon md-icon"></span>
</label>
<a href="sophia_features.html" class="md-nav__link md-nav__link--active">
<a href="./" class="md-nav__link md-nav__link--active">
Features
</a>
@ -616,7 +616,7 @@
<li class="md-nav__item">
<a href="sophia_stdlib.html" class="md-nav__link">
<a href="../sophia_stdlib/" class="md-nav__link">
Standard library
</a>
</li>
@ -631,7 +631,7 @@
<li class="md-nav__item">
<a href="sophia_examples.html" class="md-nav__link">
<a href="../sophia_examples/" class="md-nav__link">
Contract examples
</a>
</li>
@ -646,7 +646,7 @@
<li class="md-nav__item">
<a href="CHANGELOG.html" class="md-nav__link">
<a href="../CHANGELOG/" class="md-nav__link">
Changelog
</a>
</li>
@ -1021,8 +1021,8 @@
state is initialized to its return value.</li>
</ul>
<p>The language offers some primitive functions to interact with the blockchain and contracts.
Please refer to the <a href="sophia_stdlib.html#chain">Chain</a>, <a href="sophia_stdlib.html#contract">Contract</a>
and the <a href="sophia_stdlib.html#call">Call</a> namespaces in the documentation.</p>
Please refer to the <a href="../sophia_stdlib/#chain">Chain</a>, <a href="../sophia_stdlib/#contract">Contract</a>
and the <a href="../sophia_stdlib/#call">Call</a> namespaces in the documentation.</p>
<h3 id="calling-other-contracts">Calling other contracts</h3>
<p>To call a function in another contract you need the address to an instance of
the contract. The type of the address must be a contract type, which consists
@ -1087,8 +1087,8 @@ transaction still only uses up the gas spent running the contract.</p>
<p>Since the version 6.0.0 Sophia supports deploying contracts by other
contracts. This can be done in two ways:</p>
<ul>
<li>Contract cloning via <a href="sophia_stdlib.html#clone"><code>Chain.clone</code></a></li>
<li>Direct deploy via <a href="sophia_stdlib.html#create"><code>Chain.create</code></a></li>
<li>Contract cloning via <a href="../sophia_stdlib/#clone"><code>Chain.clone</code></a></li>
<li>Direct deploy via <a href="../sophia_stdlib/#create"><code>Chain.create</code></a></li>
</ul>
<p>These functions take variable number of arguments that must match the created
contract's <code>init</code> function. Beside that they take some additional named
@ -1269,7 +1269,7 @@ the file, except that error messages will refer to the original source
locations. The language will try to include each file at most one time automatically,
so even cyclic includes should be working without any special tinkering.</p>
<h2 id="standard-library">Standard library</h2>
<p>Sophia offers <a href="sophia_stdlib.html">standard library</a> which exposes some
<p>Sophia offers <a href="../sophia_stdlib/">standard library</a> which exposes some
primitive operations and some higher level utilities. The builtin
namespaces like <code>Chain</code>, <code>Contract</code>, <code>Map</code>
are included by default and are supported internally by the compiler.
@ -1500,7 +1500,7 @@ fails rather than wrapping around to -2²⁵⁵.</p>
second argument is zero.</p>
<h2 id="bit-fields">Bit fields</h2>
<p>Sophia integers do not support bit arithmetic. Instead there is a separate
type <code>bits</code>. See the standard library <a href="sophia_stdlib.html#bits">documentation</a>.</p>
type <code>bits</code>. See the standard library <a href="../sophia_stdlib/#bits">documentation</a>.</p>
<p>On the AEVM a bit field is represented by a 256-bit word and reading or writing
a bit outside the 0..255 range fails with an <code>arithmetic_error</code>. On FATE a bit
field can be of arbitrary size (but it is still represented by the
@ -1567,7 +1567,7 @@ Example syntax:
<div class="highlight"><pre><span></span><code>[1..4] == [1,2,3,4]
</code></pre></div>
The ranges are always ascending and have step equal to 1.</p>
<p>Please refer to the <a href="sophia_stdlib.html#list">standard library</a> for the predefined functionalities.</p>
<p>Please refer to the <a href="../sophia_stdlib/#list">standard library</a> for the predefined functionalities.</p>
<h2 id="maps-and-records">Maps and records</h2>
<p>A Sophia record type is given by a fixed set of fields with associated,
possibly different, types. For instance
@ -1579,7 +1579,7 @@ possibly different, types. For instance
but of a fixed type. The type of maps with keys of type <code>'k</code> and values of type
<code>'v</code> is written <code>map('k, 'v)</code>. The key type can be any type that does not
contain a map or a function type.</p>
<p>Please refer to the <a href="sophia_stdlib.html#map">standard library</a> for the predefined functionalities.</p>
<p>Please refer to the <a href="../sophia_stdlib/#map">standard library</a> for the predefined functionalities.</p>
<h3 id="constructing-maps-and-records">Constructing maps and records</h3>
<p>A value of record type is constructed by giving a value for each of the fields.
For the example above,
@ -1631,19 +1631,19 @@ it.</p>
Strings can be compared for equality (<code>==</code>, <code>!=</code>), used as keys in maps and
records, and used in builtin functions <code>String.length</code>, <code>String.concat</code> and
the hash functions described below.</p>
<p>Please refer to the <code>String</code> <a href="sophia_stdlib.html#string">library documentation</a>.</p>
<p>Please refer to the <code>String</code> <a href="../sophia_stdlib/#string">library documentation</a>.</p>
<h2 id="chars">Chars</h2>
<p>There is a builtin type <code>char</code> (the underlying representation being an integer),
mainly used to manipulate strings via <code>String.to_list</code>/<code>String.from_list</code>.</p>
<p>Characters can also be introduced as character literals (`'x', '+', ...).</p>
<p>Please refer to the <code>Char</code> <a href="sophia_stdlib.html#char">library documentation</a>.</p>
<p>Please refer to the <code>Char</code> <a href="../sophia_stdlib/#char">library documentation</a>.</p>
<h2 id="byte-arrays">Byte arrays</h2>
<p>Byte arrays are fixed size arrays of 8-bit integers. They are described in hexadecimal system,
for example the literal <code>#cafe</code> creates a two-element array of bytes <code>ca</code> (202) and <code>fe</code> (254)
and thus is a value of type <code>bytes(2)</code>.</p>
<p>Please refer to the <code>Bytes</code> <a href="sophia_stdlib.html#bytes">library documentation</a>.</p>
<p>Please refer to the <code>Bytes</code> <a href="../sophia_stdlib/#bytes">library documentation</a>.</p>
<h2 id="cryptographic-builtins">Cryptographic builtins</h2>
<p>Libraries <a href="sophia_stdlib.html#crypto">Crypto</a> and <a href="sophia_stdlib.html#string">String</a> provide functions to
<p>Libraries <a href="../sophia_stdlib/#crypto">Crypto</a> and <a href="../sophia_stdlib/#string">String</a> provide functions to
hash objects, verify signatures etc. The <code>hash</code> is a type alias for <code>bytes(32)</code>.</p>
<h2 id="authorization-interface">Authorization interface</h2>
<p>When a Generalized account is authorized, the authorization function needs
@ -1656,7 +1656,7 @@ normal contract call they return <code>None</code>.</p>
through the Oracle interface.</p>
<p>For a full description of how Oracle works see
<a href="https://github.com/aeternity/protocol/blob/master/oracles/oracles.md#oracles">Oracles</a>.
For a functionality documentation refer to the <a href="sophia_stdlib.html#oracle">standard library</a>.</p>
For a functionality documentation refer to the <a href="../sophia_stdlib/#oracle">standard library</a>.</p>
<h3 id="example">Example</h3>
<p>Example for an oracle answering questions of type <code>string</code> with answers of type <code>int</code>:
<div class="highlight"><pre><span></span><code>contract Oracles =
@ -1709,12 +1709,12 @@ For a functionality documentation refer to the <a href="sophia_stdlib.html#oracl
</code></pre></div></p>
<h3 id="sanity-checks">Sanity checks</h3>
<p>When an Oracle literal is passed to a contract, no deep checks are performed.
For extra safety <a href="sophia_stdlib.html#check">Oracle.check</a> and <a href="sophia_stdlib.html#check_query">Oracle.check_query</a>
For extra safety <a href="../sophia_stdlib/#check">Oracle.check</a> and <a href="../sophia_stdlib/#check_query">Oracle.check_query</a>
functions are provided.</p>
<h2 id="aens-interface">AENS interface</h2>
<p>Contracts can interact with the
<a href="https://github.com/aeternity/protocol/blob/master/AENS.md">æternity naming system</a>.
For this purpose the <a href="sophia_stdlib.html#aens">AENS</a> library was exposed.</p>
For this purpose the <a href="../sophia_stdlib/#aens">AENS</a> library was exposed.</p>
<h3 id="example_1">Example</h3>
<p>In this example we assume that the name <code>name</code> already exists, and is owned by
an account with address <code>addr</code>. In order to allow a contract <code>ct</code> to handle
@ -1840,7 +1840,7 @@ the signature data with the <code>network_id</code> (<code>ae_mainnet</code> for
<nav class="md-footer__inner md-grid" aria-label="Footer">
<a href="sophia_syntax.html" class="md-footer__link md-footer__link--prev" aria-label="Previous: Syntax" rel="prev">
<a href="../sophia_syntax/" class="md-footer__link md-footer__link--prev" aria-label="Previous: Syntax" rel="prev">
<div class="md-footer__button md-icon">
<svg xmlns="http://www.w3.org/2000/svg" viewBox="0 0 24 24"><path d="M20 11v2H8l5.5 5.5-1.42 1.42L4.16 12l7.92-7.92L13.5 5.5 8 11h12z"/></svg>
</div>
@ -1856,7 +1856,7 @@ the signature data with the <code>network_id</code> (<code>ae_mainnet</code> for
<a href="sophia_stdlib.html" class="md-footer__link md-footer__link--next" aria-label="Next: Standard library" rel="next">
<a href="../sophia_stdlib/" class="md-footer__link md-footer__link--next" aria-label="Next: Standard library" rel="next">
<div class="md-footer__title">
<div class="md-ellipsis">
<span class="md-footer__direction">
@ -1891,10 +1891,10 @@ the signature data with the <code>network_id</code> (<code>ae_mainnet</code> for
<div class="md-dialog" data-md-component="dialog">
<div class="md-dialog__inner md-typeset"></div>
</div>
<script id="__config" type="application/json">{"base": ".", "features": ["content.tabs.link", "search.highlight", "search.share", "search.suggest"], "translations": {"clipboard.copy": "Copy to clipboard", "clipboard.copied": "Copied to clipboard", "search.config.lang": "en", "search.config.pipeline": "trimmer, stopWordFilter", "search.config.separator": "[\\s\\-]+", "search.placeholder": "Search", "search.result.placeholder": "Type to start searching", "search.result.none": "No matching documents", "search.result.one": "1 matching document", "search.result.other": "# matching documents", "search.result.more.one": "1 more on this page", "search.result.more.other": "# more on this page", "search.result.term.missing": "Missing", "select.version.title": "Select version"}, "search": "assets/javascripts/workers/search.477d984a.min.js", "version": {"provider": "mike"}}</script>
<script id="__config" type="application/json">{"base": "..", "features": ["content.tabs.link", "search.highlight", "search.share", "search.suggest"], "translations": {"clipboard.copy": "Copy to clipboard", "clipboard.copied": "Copied to clipboard", "search.config.lang": "en", "search.config.pipeline": "trimmer, stopWordFilter", "search.config.separator": "[\\s\\-]+", "search.placeholder": "Search", "search.result.placeholder": "Type to start searching", "search.result.none": "No matching documents", "search.result.one": "1 matching document", "search.result.other": "# matching documents", "search.result.more.one": "1 more on this page", "search.result.more.other": "# more on this page", "search.result.term.missing": "Missing", "select.version.title": "Select version"}, "search": "../assets/javascripts/workers/search.477d984a.min.js", "version": {"provider": "mike"}}</script>
<script src="assets/javascripts/bundle.82b56eb2.min.js"></script>
<script src="../assets/javascripts/bundle.82b56eb2.min.js"></script>
</body>

46
master/sophia_stdlib.html → master/sophia_stdlib/index.html
View File

@ -9,8 +9,8 @@
<link rel="icon" href="favicon.png">
<meta name="generator" content="mkdocs-1.2.1, mkdocs-material-7.1.9">
<link rel="icon" href="../favicon.png">
<meta name="generator" content="mkdocs-1.2.3, mkdocs-material-7.1.9">
@ -18,10 +18,10 @@
<link rel="stylesheet" href="assets/stylesheets/main.ca7ac06f.min.css">
<link rel="stylesheet" href="../assets/stylesheets/main.ca7ac06f.min.css">
<link rel="stylesheet" href="assets/stylesheets/palette.f1a3b89f.min.css">
<link rel="stylesheet" href="../assets/stylesheets/palette.f1a3b89f.min.css">
@ -55,7 +55,7 @@
<body dir="ltr" data-md-color-scheme="default" data-md-color-primary="pink" data-md-color-accent="pink">
<script>function __prefix(e){return new URL(".",location).pathname+"."+e}function __get(e,t=localStorage){return JSON.parse(t.getItem(__prefix(e)))}</script>
<script>function __prefix(e){return new URL("..",location).pathname+"."+e}function __get(e,t=localStorage){return JSON.parse(t.getItem(__prefix(e)))}</script>
<script>var palette=__get("__palette");if(null!==palette&&"object"==typeof palette.color)for(var key in palette.color)document.body.setAttribute("data-md-color-"+key,palette.color[key])</script>
@ -76,7 +76,7 @@
<header class="md-header" data-md-component="header">
<nav class="md-header__inner md-grid" aria-label="Header">
<a href="index.html" title="æternity Sophia Language" class="md-header__button md-logo" aria-label="æternity Sophia Language" data-md-component="logo">
<a href=".." title="æternity Sophia Language" class="md-header__button md-logo" aria-label="æternity Sophia Language" 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>
@ -191,7 +191,7 @@
<nav class="md-nav md-nav--primary" aria-label="Navigation" data-md-level="0">
<label class="md-nav__title" for="__drawer">
<a href="index.html" title="æternity Sophia Language" class="md-nav__button md-logo" aria-label="æternity Sophia Language" data-md-component="logo">
<a href=".." title="æternity Sophia Language" class="md-nav__button md-logo" aria-label="æternity Sophia Language" 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>
@ -223,7 +223,7 @@
<li class="md-nav__item">
<a href="index.html" class="md-nav__link">
<a href=".." class="md-nav__link">
Introduction
</a>
</li>
@ -238,7 +238,7 @@
<li class="md-nav__item">
<a href="sophia_syntax.html" class="md-nav__link">
<a href="../sophia_syntax/" class="md-nav__link">
Syntax
</a>
</li>
@ -253,7 +253,7 @@
<li class="md-nav__item">
<a href="sophia_features.html" class="md-nav__link">
<a href="../sophia_features/" class="md-nav__link">
Features
</a>
</li>
@ -282,7 +282,7 @@
<span class="md-nav__icon md-icon"></span>
</label>
<a href="sophia_stdlib.html" class="md-nav__link md-nav__link--active">
<a href="./" class="md-nav__link md-nav__link--active">
Standard library
</a>
@ -523,7 +523,7 @@
<li class="md-nav__item">
<a href="sophia_examples.html" class="md-nav__link">
<a href="../sophia_examples/" class="md-nav__link">
Contract examples
</a>
</li>
@ -538,7 +538,7 @@
<li class="md-nav__item">
<a href="CHANGELOG.html" class="md-nav__link">
<a href="../CHANGELOG/" class="md-nav__link">
Changelog
</a>
</li>
@ -1016,7 +1016,7 @@ the <code>pubkey</code></p>
<li>The <code>acct</code> is the address of the oracle to register (can be the same as the contract).</li>
<li><code>signature</code> is a signature proving that the contract is allowed to register the account -
the <code>network id</code> + <code>account address</code> + <code>contract address</code> (concatenated as byte arrays) is
<a href="sophia_features.html#delegation-signature">signed</a> with the
<a href="../sophia_features/#delegation-signature">signed</a> with the
private key of the account, proving you have the private key of the oracle to be. If the
address is the same as the contract <code>sign</code> is ignored and can be left out entirely.</li>
<li>The <code>qfee</code> is the minimum query fee to be paid by a user when asking a question of the oracle.</li>
@ -1040,7 +1040,7 @@ the <code>pubkey</code></p>
Unless the contract address is the same as the oracle address the <code>signature</code>
(which is an optional, named argument)
needs to be provided. Proving that we have the private key of the oracle by
<a href="sophia_features.html#delegation-signature">signing</a>
<a href="../sophia_features/#delegation-signature">signing</a>
the <code>network id</code> + <code>oracle query id</code> + <code>contract address</code></p>
<h4 id="extend">extend</h4>
<div class="highlight"><pre><span></span><code>Oracle.extend(&lt;signature : bytes(64)&gt;, o : oracle(&#39;a, &#39;b), ttl : Chain.ttl) : unit
@ -1114,12 +1114,12 @@ For example:
<h5 id="preclaim">preclaim</h5>
<div class="highlight"><pre><span></span><code>AENS.preclaim(owner : address, commitment_hash : hash, &lt;signature : signature&gt;) : unit
</code></pre></div>
<p>The <a href="sophia_features.html#delegation-signature">signature</a> should be over
<p>The <a href="../sophia_features/#delegation-signature">signature</a> should be over
<code>network id</code> + <code>owner address</code> + <code>Contract.address</code> (concatenated as byte arrays).</p>
<h5 id="claim">claim</h5>
<div class="highlight"><pre><span></span><code>AENS.claim(owner : address, name : string, salt : int, name_fee : int, &lt;signature : signature&gt;) : unit
</code></pre></div>
<p>The <a href="sophia_features.html#delegation-signature">signature</a> should be over
<p>The <a href="../sophia_features/#delegation-signature">signature</a> should be over
<code>network id</code> + <code>owner address</code> + <code>name_hash</code> + <code>Contract.address</code>
(concatenated as byte arrays)
using the private key of the <code>owner</code> account for signing.</p>
@ -1127,7 +1127,7 @@ using the private key of the <code>owner</code> account for signing.</p>
<div class="highlight"><pre><span></span><code>AENS.transfer(owner : address, new_owner : address, name : string, &lt;signature : signature&gt;) : unit
</code></pre></div>
<p>Transfers name to the new owner.</p>
<p>The <a href="sophia_features.html#delegation-signature">signature</a> should be over
<p>The <a href="../sophia_features/#delegation-signature">signature</a> should be over
<code>network id</code> + <code>owner address</code> + <code>name_hash</code> + <code>Contract.address</code>
(concatenated as byte arrays)
using the private key of the <code>owner</code> account for signing.</p>
@ -1135,7 +1135,7 @@ using the private key of the <code>owner</code> account for signing.</p>
<div class="highlight"><pre><span></span><code>AENS.revoke(owner : address, name : string, &lt;signature : signature&gt;) : unit
</code></pre></div>
<p>Revokes the name to extend the ownership time.</p>
<p>The <a href="sophia_features.html#delegation-signature">signature</a> should be over
<p>The <a href="../sophia_features/#delegation-signature">signature</a> should be over
<code>network id</code> + <code>owner address</code> + <code>name_hash</code> + <code>Contract.address</code>
(concatenated as byte arrays)
using the private key of the <code>owner</code> account for signing.</p>
@ -2220,7 +2220,7 @@ this function to verify the input.</p>
<nav class="md-footer__inner md-grid" aria-label="Footer">
<a href="sophia_features.html" class="md-footer__link md-footer__link--prev" aria-label="Previous: Features" rel="prev">
<a href="../sophia_features/" class="md-footer__link md-footer__link--prev" aria-label="Previous: Features" rel="prev">
<div class="md-footer__button md-icon">
<svg xmlns="http://www.w3.org/2000/svg" viewBox="0 0 24 24"><path d="M20 11v2H8l5.5 5.5-1.42 1.42L4.16 12l7.92-7.92L13.5 5.5 8 11h12z"/></svg>
</div>
@ -2236,7 +2236,7 @@ this function to verify the input.</p>
<a href="sophia_examples.html" class="md-footer__link md-footer__link--next" aria-label="Next: Contract examples" rel="next">
<a href="../sophia_examples/" class="md-footer__link md-footer__link--next" aria-label="Next: Contract examples" rel="next">
<div class="md-footer__title">
<div class="md-ellipsis">
<span class="md-footer__direction">
@ -2271,10 +2271,10 @@ this function to verify the input.</p>
<div class="md-dialog" data-md-component="dialog">
<div class="md-dialog__inner md-typeset"></div>
</div>
<script id="__config" type="application/json">{"base": ".", "features": ["content.tabs.link", "search.highlight", "search.share", "search.suggest"], "translations": {"clipboard.copy": "Copy to clipboard", "clipboard.copied": "Copied to clipboard", "search.config.lang": "en", "search.config.pipeline": "trimmer, stopWordFilter", "search.config.separator": "[\\s\\-]+", "search.placeholder": "Search", "search.result.placeholder": "Type to start searching", "search.result.none": "No matching documents", "search.result.one": "1 matching document", "search.result.other": "# matching documents", "search.result.more.one": "1 more on this page", "search.result.more.other": "# more on this page", "search.result.term.missing": "Missing", "select.version.title": "Select version"}, "search": "assets/javascripts/workers/search.477d984a.min.js", "version": {"provider": "mike"}}</script>
<script id="__config" type="application/json">{"base": "..", "features": ["content.tabs.link", "search.highlight", "search.share", "search.suggest"], "translations": {"clipboard.copy": "Copy to clipboard", "clipboard.copied": "Copied to clipboard", "search.config.lang": "en", "search.config.pipeline": "trimmer, stopWordFilter", "search.config.separator": "[\\s\\-]+", "search.placeholder": "Search", "search.result.placeholder": "Type to start searching", "search.result.none": "No matching documents", "search.result.one": "1 matching document", "search.result.other": "# matching documents", "search.result.more.one": "1 more on this page", "search.result.more.other": "# more on this page", "search.result.term.missing": "Missing", "select.version.title": "Select version"}, "search": "../assets/javascripts/workers/search.477d984a.min.js", "version": {"provider": "mike"}}</script>
<script src="assets/javascripts/bundle.82b56eb2.min.js"></script>
<script src="../assets/javascripts/bundle.82b56eb2.min.js"></script>
</body>

34
master/sophia_syntax.html → master/sophia_syntax/index.html
View File

@ -9,8 +9,8 @@
<link rel="icon" href="favicon.png">
<meta name="generator" content="mkdocs-1.2.1, mkdocs-material-7.1.9">
<link rel="icon" href="../favicon.png">
<meta name="generator" content="mkdocs-1.2.3, mkdocs-material-7.1.9">
@ -18,10 +18,10 @@
<link rel="stylesheet" href="assets/stylesheets/main.ca7ac06f.min.css">
<link rel="stylesheet" href="../assets/stylesheets/main.ca7ac06f.min.css">
<link rel="stylesheet" href="assets/stylesheets/palette.f1a3b89f.min.css">
<link rel="stylesheet" href="../assets/stylesheets/palette.f1a3b89f.min.css">
@ -55,7 +55,7 @@
<body dir="ltr" data-md-color-scheme="default" data-md-color-primary="pink" data-md-color-accent="pink">
<script>function __prefix(e){return new URL(".",location).pathname+"."+e}function __get(e,t=localStorage){return JSON.parse(t.getItem(__prefix(e)))}</script>
<script>function __prefix(e){return new URL("..",location).pathname+"."+e}function __get(e,t=localStorage){return JSON.parse(t.getItem(__prefix(e)))}</script>
<script>var palette=__get("__palette");if(null!==palette&&"object"==typeof palette.color)for(var key in palette.color)document.body.setAttribute("data-md-color-"+key,palette.color[key])</script>
@ -76,7 +76,7 @@
<header class="md-header" data-md-component="header">
<nav class="md-header__inner md-grid" aria-label="Header">
<a href="index.html" title="æternity Sophia Language" class="md-header__button md-logo" aria-label="æternity Sophia Language" data-md-component="logo">
<a href=".." title="æternity Sophia Language" class="md-header__button md-logo" aria-label="æternity Sophia Language" 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>
@ -191,7 +191,7 @@
<nav class="md-nav md-nav--primary" aria-label="Navigation" data-md-level="0">
<label class="md-nav__title" for="__drawer">
<a href="index.html" title="æternity Sophia Language" class="md-nav__button md-logo" aria-label="æternity Sophia Language" data-md-component="logo">
<a href=".." title="æternity Sophia Language" class="md-nav__button md-logo" aria-label="æternity Sophia Language" 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>
@ -223,7 +223,7 @@
<li class="md-nav__item">
<a href="index.html" class="md-nav__link">
<a href=".." class="md-nav__link">
Introduction
</a>
</li>
@ -252,7 +252,7 @@
<span class="md-nav__icon md-icon"></span>
</label>
<a href="sophia_syntax.html" class="md-nav__link md-nav__link--active">
<a href="./" class="md-nav__link md-nav__link--active">
Syntax
</a>
@ -376,7 +376,7 @@
<li class="md-nav__item">
<a href="sophia_features.html" class="md-nav__link">
<a href="../sophia_features/" class="md-nav__link">
Features
</a>
</li>
@ -391,7 +391,7 @@
<li class="md-nav__item">
<a href="sophia_stdlib.html" class="md-nav__link">
<a href="../sophia_stdlib/" class="md-nav__link">
Standard library
</a>
</li>
@ -406,7 +406,7 @@
<li class="md-nav__item">
<a href="sophia_examples.html" class="md-nav__link">
<a href="../sophia_examples/" class="md-nav__link">
Contract examples
</a>
</li>
@ -421,7 +421,7 @@
<li class="md-nav__item">
<a href="CHANGELOG.html" class="md-nav__link">
<a href="../CHANGELOG/" class="md-nav__link">
Changelog
</a>
</li>
@ -884,7 +884,7 @@ switch(f(x))
<nav class="md-footer__inner md-grid" aria-label="Footer">
<a href="index.html" class="md-footer__link md-footer__link--prev" aria-label="Previous: Introduction" rel="prev">
<a href=".." class="md-footer__link md-footer__link--prev" aria-label="Previous: Introduction" rel="prev">
<div class="md-footer__button md-icon">
<svg xmlns="http://www.w3.org/2000/svg" viewBox="0 0 24 24"><path d="M20 11v2H8l5.5 5.5-1.42 1.42L4.16 12l7.92-7.92L13.5 5.5 8 11h12z"/></svg>
</div>
@ -900,7 +900,7 @@ switch(f(x))
<a href="sophia_features.html" class="md-footer__link md-footer__link--next" aria-label="Next: Features" rel="next">
<a href="../sophia_features/" class="md-footer__link md-footer__link--next" aria-label="Next: Features" rel="next">
<div class="md-footer__title">
<div class="md-ellipsis">
<span class="md-footer__direction">
@ -935,10 +935,10 @@ switch(f(x))
<div class="md-dialog" data-md-component="dialog">
<div class="md-dialog__inner md-typeset"></div>
</div>
<script id="__config" type="application/json">{"base": ".", "features": ["content.tabs.link", "search.highlight", "search.share", "search.suggest"], "translations": {"clipboard.copy": "Copy to clipboard", "clipboard.copied": "Copied to clipboard", "search.config.lang": "en", "search.config.pipeline": "trimmer, stopWordFilter", "search.config.separator": "[\\s\\-]+", "search.placeholder": "Search", "search.result.placeholder": "Type to start searching", "search.result.none": "No matching documents", "search.result.one": "1 matching document", "search.result.other": "# matching documents", "search.result.more.one": "1 more on this page", "search.result.more.other": "# more on this page", "search.result.term.missing": "Missing", "select.version.title": "Select version"}, "search": "assets/javascripts/workers/search.477d984a.min.js", "version": {"provider": "mike"}}</script>
<script id="__config" type="application/json">{"base": "..", "features": ["content.tabs.link", "search.highlight", "search.share", "search.suggest"], "translations": {"clipboard.copy": "Copy to clipboard", "clipboard.copied": "Copied to clipboard", "search.config.lang": "en", "search.config.pipeline": "trimmer, stopWordFilter", "search.config.separator": "[\\s\\-]+", "search.placeholder": "Search", "search.result.placeholder": "Type to start searching", "search.result.none": "No matching documents", "search.result.one": "1 matching document", "search.result.other": "# matching documents", "search.result.more.one": "1 more on this page", "search.result.more.other": "# more on this page", "search.result.term.missing": "Missing", "select.version.title": "Select version"}, "search": "../assets/javascripts/workers/search.477d984a.min.js", "version": {"provider": "mike"}}</script>
<script src="assets/javascripts/bundle.82b56eb2.min.js"></script>
<script src="../assets/javascripts/bundle.82b56eb2.min.js"></script>
</body>