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

Deployed c1e8195 to master with MkDocs 1.4.2 and mike 1.1.2

Browse Source
This commit is contained in:
GitHub Action 2023-06-19 09:49:31 +00:00
parent 43702221f3
commit b3e72689b2
4 changed files with 35 additions and 29 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

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>2023-06-15</lastmod>
<lastmod>2023-06-19</lastmod>
<changefreq>daily</changefreq>
</url>
<url>
<loc>None</loc>
<lastmod>2023-06-15</lastmod>
<lastmod>2023-06-19</lastmod>
<changefreq>daily</changefreq>
</url>
<url>
<loc>None</loc>
<lastmod>2023-06-15</lastmod>
<lastmod>2023-06-19</lastmod>
<changefreq>daily</changefreq>
</url>
<url>
<loc>None</loc>
<lastmod>2023-06-15</lastmod>
<lastmod>2023-06-19</lastmod>
<changefreq>daily</changefreq>
</url>
<url>
<loc>None</loc>
<lastmod>2023-06-15</lastmod>
<lastmod>2023-06-19</lastmod>
<changefreq>daily</changefreq>
</url>
<url>
<loc>None</loc>
<lastmod>2023-06-15</lastmod>
<lastmod>2023-06-19</lastmod>
<changefreq>daily</changefreq>
</url>
<url>
<loc>None</loc>
<lastmod>2023-06-15</lastmod>
<lastmod>2023-06-19</lastmod>
<changefreq>daily</changefreq>
</url>
<url>
<loc>None</loc>
<lastmod>2023-06-15</lastmod>
<lastmod>2023-06-19</lastmod>
<changefreq>daily</changefreq>
</url>
<url>
<loc>None</loc>
<lastmod>2023-06-15</lastmod>
<lastmod>2023-06-19</lastmod>
<changefreq>daily</changefreq>
</url>
</urlset>

BIN
master/sitemap.xml.gz
View File

Binary file not shown.

44
master/sophia_stdlib/index.html
View File

@ -1074,22 +1074,6 @@ the current generation.</p>
<div class="highlight"><pre><span></span><code>Chain.block_height : int&quot;
</code></pre></div>
<p>The height of the current block (i.e. the block in which the current call will be included).</p>
<h5 id="coinbase">coinbase</h5>
<div class="highlight"><pre><span></span><code>Chain.coinbase : address
</code></pre></div>
<p>The address of the account that mined the current block.</p>
<h5 id="timestamp">timestamp</h5>
<div class="highlight"><pre><span></span><code>Chain.timestamp : int
</code></pre></div>
<p>The timestamp of the current block (unix time, milliseconds).</p>
<h5 id="difficulty">difficulty</h5>
<div class="highlight"><pre><span></span><code>Chain.difficulty : int
</code></pre></div>
<p>The difficulty of the current block.</p>
<h5 id="gas">gas</h5>
<div class="highlight"><pre><span></span><code>Chain.gas_limit : int
</code></pre></div>
<p>The gas limit of the current block.</p>
<h5 id="bytecode_hash">bytecode_hash</h5>
<div class="highlight"><pre><span></span><code>Chain.bytecode_hash : &#39;c =&gt; option(hash)
</code></pre></div>
@ -1184,10 +1168,32 @@ good practice to set its return type to <code>void</code> in order to indicate t
function is not supposed to be called and is state agnostic. Trivia: internal
implementation of the <code>init</code> function does not actually return <code>state</code>, but
calls <code>put</code> instead. Moreover, FATE prevents even handcrafted calls to <code>init</code>.</p>
<h5 id="event">event</h5>
<p><div class="highlight"><pre><span></span><code>Chain.event(e : event) : unit
<h5 id="coinbase">coinbase</h5>
<div class="highlight"><pre><span></span><code>Chain.coinbase : address
</code></pre></div>
Emits the event. To use this function one needs to define the <code>event</code> type as a <code>datatype</code> in the contract.</p>
<p>The address of the account that mined the current block.</p>
<h5 id="difficulty">difficulty</h5>
<div class="highlight"><pre><span></span><code>Chain.difficulty : int
</code></pre></div>
<p>The difficulty of the current block.</p>
<h5 id="event">event</h5>
<div class="highlight"><pre><span></span><code>Chain.event(e : event) : unit
</code></pre></div>
<p>Emits the event. To use this function one needs to define the <code>event</code> type as a
<code>datatype</code> in the contract.</p>
<h5 id="gas_limit">gas_limit</h5>
<div class="highlight"><pre><span></span><code>Chain.gas_limit : int
</code></pre></div>
<p>The gas limit of the current block.</p>
<h5 id="spend">spend</h5>
<div class="highlight"><pre><span></span><code>Chain.spend(to : address, amount : int) : unit
</code></pre></div>
<p>Spend <code>amount</code> tokens to <code>to</code>. Will fail (and abort the contract) if contract
doesn't have <code>amount</code> tokens to transfer, or, if <code>to</code> is not <code>payable</code>.</p>
<h5 id="timestamp">timestamp</h5>
<div class="highlight"><pre><span></span><code>Chain.timestamp : int
</code></pre></div>
<p>The timestamp of the current block (unix time, milliseconds).</p>
<h3 id="char">Char</h3>
<h4 id="to_int_1">to_int</h4>
<p><code>Char.to_int(c : char) : int