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

Deployed ebb1f9e to master with MkDocs 1.2.1 and mike 1.0.1

Browse Source
This commit is contained in:
GitHub Action 2021-09-16 08:49:27 +00:00
parent 94517093ca
commit 803f4c21cf
5 changed files with 69 additions and 11 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

1
master/CHANGELOG.html
View File

@ -1251,6 +1251,7 @@ and this project adheres to <a href="https://semver.org/spec/v2.0.0.html">Semant
<h2 id="unreleased"><a href="https://github.com/aeternity/aesophia/compare/v6.0.2...HEAD">Unreleased</a></h2>
<h3 id="added">Added</h3>
<ul>
<li><code>Bitwise</code> stdlib</li>
<li><code>Set</code> stdlib</li>
<li><code>Option.force_msg</code></li>
<li>Loading namespaces into the current scope (e.g. <code>using Pair</code>)</li>

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-11</lastmod>
<lastmod>2021-09-16</lastmod>
<changefreq>daily</changefreq>
</url>
<url>
<loc>None</loc>
<lastmod>2021-09-11</lastmod>
<lastmod>2021-09-16</lastmod>
<changefreq>daily</changefreq>
</url>
<url>
<loc>None</loc>
<lastmod>2021-09-11</lastmod>
<lastmod>2021-09-16</lastmod>
<changefreq>daily</changefreq>
</url>
<url>
<loc>None</loc>
<lastmod>2021-09-11</lastmod>
<lastmod>2021-09-16</lastmod>
<changefreq>daily</changefreq>
</url>
<url>
<loc>None</loc>
<lastmod>2021-09-11</lastmod>
<lastmod>2021-09-16</lastmod>
<changefreq>daily</changefreq>
</url>
<url>
<loc>None</loc>
<lastmod>2021-09-11</lastmod>
<lastmod>2021-09-16</lastmod>
<changefreq>daily</changefreq>
</url>
<url>
<loc>None</loc>
<lastmod>2021-09-11</lastmod>
<lastmod>2021-09-16</lastmod>
<changefreq>daily</changefreq>
</url>
<url>
<loc>None</loc>
<lastmod>2021-09-11</lastmod>
<lastmod>2021-09-16</lastmod>
<changefreq>daily</changefreq>
</url>
<url>
<loc>None</loc>
<lastmod>2021-09-11</lastmod>
<lastmod>2021-09-16</lastmod>
<changefreq>daily</changefreq>
</url>
</urlset>

BIN
master/sitemap.xml.gz
View File

Binary file not shown.

59
master/sophia_stdlib.html
View File

@ -452,6 +452,13 @@
Triple
</a>
</li>
<li class="md-nav__item">
<a href="#bitwise" class="md-nav__link">
Bitwise
</a>
</li>
<li class="md-nav__item">
@ -715,6 +722,13 @@
Triple
</a>
</li>
<li class="md-nav__item">
<a href="#bitwise" class="md-nav__link">
Bitwise
</a>
</li>
<li class="md-nav__item">
@ -812,6 +826,7 @@ in the scope and do not need any actions to be used, while the others require so
<li><a href="#func">Func</a></li>
<li><a href="#pair">Pair</a></li>
<li><a href="#triple">Triple</a></li>
<li><a href="#bitwise">Bitwise</a></li>
<li><a href="bls12_381">BLS12_381</a></li>
<li><a href="#frac">Frac</a></li>
<li><a href="#set-stdlib">Set</a></li>
@ -1537,7 +1552,7 @@ will yield <code>[1, 0, 2, 0, 3, 0, 4]</code></p>
<h4 id="force">force</h4>
<div class="highlight"><pre><span></span><code>Option.force(o : option(&#39;a)) : &#39;a
</code></pre></div>
<p>Forcefully escapes the <code>option</code> wrapping assuming it is <code>Some</code>.
<p>Forcefully escapes the <code>option</code> wrapping assuming it is <code>Some</code>.
Aborts on <code>None</code>.</p>
<h4 id="force_msg">force_msg</h4>
<div class="highlight"><pre><span></span><code>Option.force_msg(o : option(&#39;a), err : string) : &#39;a
@ -1828,6 +1843,48 @@ Func.untuplify3(f : &#39;a * &#39;b * &#39;c =&gt; &#39;d) : (&#39;a, &#39;b, &#
<div class="highlight"><pre><span></span><code>Triple.rotl(t : (&#39;a * &#39;b * &#39;c)) : (&#39;b * &#39;c * &#39;a)
</code></pre></div>
<p>Cyclic rotation of the elements to the left.</p>
<h3 id="bitwise">Bitwise</h3>
<p>Bitwise operations on arbitrary precision integers.</p>
<h4 id="bsr">bsr</h4>
<div class="highlight"><pre><span></span><code>Bitwise.bsr(n : int, x : int) : int
</code></pre></div>
<p>Logical bit shift <code>x</code> right <code>n</code> positions.</p>
<h4 id="bsl">bsl</h4>
<div class="highlight"><pre><span></span><code>Bitwise.bsl(n : int, x : int) : int
</code></pre></div>
<p>Logical bit shift <code>x</code> left <code>n</code> positions.</p>
<h4 id="bsli">bsli</h4>
<div class="highlight"><pre><span></span><code>Bitwise.bsli(n : int, x : int, lim : int) : int
</code></pre></div>
<p>Logical bit shift <code>x</code> left <code>n</code> positions, limit to <code>lim</code> bits.</p>
<h4 id="band">band</h4>
<div class="highlight"><pre><span></span><code>Bitwise.band(x : int, y : int) : int
</code></pre></div>
<p>Bitwise <code>and</code> of <code>x</code> and <code>y</code>.</p>
<h4 id="bor">bor</h4>
<div class="highlight"><pre><span></span><code>Bitwise.bor(x : int, y : int) : int
</code></pre></div>
<p>Bitwise <code>or</code> of <code>x</code> and <code>y</code>.</p>
<h4 id="bxor">bxor</h4>
<div class="highlight"><pre><span></span><code>Bitwise.bxor(x : int, y : int) : int
</code></pre></div>
<p>Bitwise <code>xor</code> of <code>x</code> and <code>y</code>.</p>
<h4 id="bnot">bnot</h4>
<div class="highlight"><pre><span></span><code>Bitwise.bnot(x : int) : int
</code></pre></div>
<p>Bitwise <code>not</code> of <code>x</code>. Defined and implemented as <code>bnot(x) = bxor(x, -1)</code>.</p>
<h4 id="uband">uband</h4>
<div class="highlight"><pre><span></span><code>Bitwise.uband(x : int, y : int) : int
</code></pre></div>
<p>Bitwise <code>and</code> of <em>non-negative</em> numbers <code>x</code> and <code>y</code>.</p>
<h4 id="ubor">ubor</h4>
<div class="highlight"><pre><span></span><code>Bitwise.ubor(x : int, y : int) : int
</code></pre></div>
<p>Bitwise <code>or</code> of <em>non-negative</em> <code>x</code> and <code>y</code>.</p>
<h4 id="ubxor">ubxor</h4>
<div class="highlight"><pre><span></span><code>Bitwise.ubxor(x : int, y : int) : int
</code></pre></div>
<p>Bitwise <code>xor</code> of <em>non-negative</em> <code>x</code> and <code>y</code>.</p>
<h3 id="bls12_381">BLS12_381</h3>
<h4 id="types_2">Types</h4>
<h5 id="fp">fp</h5>