Skip to content

Commit

Permalink
Deployed haddocks
Browse files Browse the repository at this point in the history
  • Loading branch information
coot committed Dec 4, 2022
1 parent a70f6de commit 74d0051
Show file tree
Hide file tree
Showing 35 changed files with 3,981 additions and 3,981 deletions.

Large diffs are not rendered by default.

Large diffs are not rendered by default.

Large diffs are not rendered by default.

Large diffs are not rendered by default.

368 changes: 184 additions & 184 deletions ouroboros-consensus-byron-test/src/Test.Consensus.Byron.Generators.html

Large diffs are not rendered by default.

Large diffs are not rendered by default.

Large diffs are not rendered by default.

Large diffs are not rendered by default.

Expand Up @@ -8,7 +8,7 @@
</span><span id="line-8"></span><span class="hs-keyword">instance</span><span> </span><span class="annot"><a href="../file:///home/runner/work/ouroboros-network/ouroboros-network/dist-newstyle/build/x86_64-linux/ghc-8.10.7/ouroboros-consensus-test-0.1.0.0/noopt/doc/html/ouroboros-consensus-test/src"><span class="hs-identifier hs-type">TxGen</span></a></span><span> </span><span class="annot"><a href="../file:///home/runner/work/ouroboros-network/ouroboros-network/dist-newstyle/build/x86_64-linux/ghc-8.10.7/ouroboros-consensus-byron-0.1.0.0/noopt/doc/html/ouroboros-consensus-byron/src"><span class="hs-identifier hs-type">ByronBlock</span></a></span><span> </span><span class="hs-keyword">where</span><span>
</span><span id="line-9"></span><span> </span><span class="hs-comment">-- We don't generate transactions for 'ByronBlock', but we do for</span><span>
</span><span id="line-10"></span><span> </span><span class="hs-comment">-- 'DualByronBlock'.</span><span>
</span><span id="line-11"></span><span> </span><span id="local-6989586621679235043"><span class="annot"><span class="annottext">testGenTxs :: CoreNodeId
</span><span id="line-11"></span><span> </span><span id="local-6989586621679187665"><span class="annot"><span class="annottext">testGenTxs :: CoreNodeId
-&gt; NumCoreNodes
-&gt; SlotNo
-&gt; TopLevelConfig ByronBlock
Expand Down

Large diffs are not rendered by default.

Large diffs are not rendered by default.

Expand Up @@ -18,14 +18,14 @@
Spec to consensus
-------------------------------------------------------------------------------}</span><span>
</span><span id="line-20"></span><span>
</span><span id="line-21"></span><span id="local-6989586621679221997"><span class="annot"><a href="Ouroboros.Consensus.ByronSpec.Ledger.Conversions.html#fromByronSpecPrevHash"><span class="hs-identifier hs-type">fromByronSpecPrevHash</span></a></span><span> </span><span class="hs-glyph">::</span><span> </span><span class="hs-special">(</span><span class="annot"><span class="hs-identifier hs-type">Spec.Hash</span></span><span> </span><span class="hs-glyph">-&gt;</span><span> </span><span class="annot"><a href="../file:///home/runner/work/ouroboros-network/ouroboros-network/dist-newstyle/build/x86_64-linux/ghc-8.10.7/ouroboros-network-api-0.1.0.0/noopt/doc/html/ouroboros-network-api/src"><span class="hs-identifier hs-type">HeaderHash</span></a></span><span> </span><span class="annot"><a href="#local-6989586621679221997"><span class="hs-identifier hs-type">b</span></a></span><span class="hs-special">)</span><span>
</span><span id="line-22"></span><span> </span><span class="hs-glyph">-&gt;</span><span> </span><span class="annot"><span class="hs-identifier hs-type">Spec.Hash</span></span><span> </span><span class="hs-glyph">-&gt;</span><span> </span><span class="annot"><a href="../file:///home/runner/work/ouroboros-network/ouroboros-network/dist-newstyle/build/x86_64-linux/ghc-8.10.7/ouroboros-network-api-0.1.0.0/noopt/doc/html/ouroboros-network-api/src"><span class="hs-identifier hs-type">ChainHash</span></a></span><span> </span><span class="annot"><a href="#local-6989586621679221997"><span class="hs-identifier hs-type">b</span></a></span></span><span>
</span><span id="line-21"></span><span id="local-6989586621679174589"><span class="annot"><a href="Ouroboros.Consensus.ByronSpec.Ledger.Conversions.html#fromByronSpecPrevHash"><span class="hs-identifier hs-type">fromByronSpecPrevHash</span></a></span><span> </span><span class="hs-glyph">::</span><span> </span><span class="hs-special">(</span><span class="annot"><span class="hs-identifier hs-type">Spec.Hash</span></span><span> </span><span class="hs-glyph">-&gt;</span><span> </span><span class="annot"><a href="../file:///home/runner/work/ouroboros-network/ouroboros-network/dist-newstyle/build/x86_64-linux/ghc-8.10.7/ouroboros-network-api-0.1.0.0/noopt/doc/html/ouroboros-network-api/src"><span class="hs-identifier hs-type">HeaderHash</span></a></span><span> </span><span class="annot"><a href="#local-6989586621679174589"><span class="hs-identifier hs-type">b</span></a></span><span class="hs-special">)</span><span>
</span><span id="line-22"></span><span> </span><span class="hs-glyph">-&gt;</span><span> </span><span class="annot"><span class="hs-identifier hs-type">Spec.Hash</span></span><span> </span><span class="hs-glyph">-&gt;</span><span> </span><span class="annot"><a href="../file:///home/runner/work/ouroboros-network/ouroboros-network/dist-newstyle/build/x86_64-linux/ghc-8.10.7/ouroboros-network-api-0.1.0.0/noopt/doc/html/ouroboros-network-api/src"><span class="hs-identifier hs-type">ChainHash</span></a></span><span> </span><span class="annot"><a href="#local-6989586621679174589"><span class="hs-identifier hs-type">b</span></a></span></span><span>
</span><span id="line-23"></span><span id="fromByronSpecPrevHash"><span class="annot"><span class="annottext">fromByronSpecPrevHash :: (Hash -&gt; HeaderHash b) -&gt; Hash -&gt; ChainHash b
</span><a href="Ouroboros.Consensus.ByronSpec.Ledger.Conversions.html#fromByronSpecPrevHash"><span class="hs-identifier hs-var hs-var">fromByronSpecPrevHash</span></a></span></span><span> </span><span id="local-6989586621679221996"><span class="annot"><span class="annottext">Hash -&gt; HeaderHash b
</span><a href="#local-6989586621679221996"><span class="hs-identifier hs-var">f</span></a></span></span><span> </span><span id="local-6989586621679221995"><span class="annot"><span class="annottext">Hash
</span><a href="#local-6989586621679221995"><span class="hs-identifier hs-var">h</span></a></span></span><span>
</span><a href="Ouroboros.Consensus.ByronSpec.Ledger.Conversions.html#fromByronSpecPrevHash"><span class="hs-identifier hs-var hs-var">fromByronSpecPrevHash</span></a></span></span><span> </span><span id="local-6989586621679174588"><span class="annot"><span class="annottext">Hash -&gt; HeaderHash b
</span><a href="#local-6989586621679174588"><span class="hs-identifier hs-var">f</span></a></span></span><span> </span><span id="local-6989586621679174587"><span class="annot"><span class="annottext">Hash
</span><a href="#local-6989586621679174587"><span class="hs-identifier hs-var">h</span></a></span></span><span>
</span><span id="line-24"></span><span> </span><span class="hs-glyph">|</span><span> </span><span class="annot"><span class="annottext">Hash
</span><a href="#local-6989586621679221995"><span class="hs-identifier hs-var">h</span></a></span><span> </span><span class="annot"><span class="annottext">Hash -&gt; Hash -&gt; Bool
</span><a href="#local-6989586621679174587"><span class="hs-identifier hs-var">h</span></a></span><span> </span><span class="annot"><span class="annottext">Hash -&gt; Hash -&gt; Bool
forall a. Eq a =&gt; a -&gt; a -&gt; Bool
</span><a href="../file:///home/runner/.ghcup/ghc/8.10.7/share/doc/ghc-8.10.7/html/libraries/ghc-prim-0.6.1/src"><span class="hs-operator hs-var">==</span></a></span><span> </span><span class="annot"><span class="annottext">Hash
</span><span class="hs-identifier hs-var">Spec.genesisHash</span></span><span> </span><span class="hs-glyph">=</span><span> </span><span class="annot"><span class="annottext">ChainHash b
Expand All @@ -35,24 +35,24 @@
</span><a href="../file:///home/runner/.ghcup/ghc/8.10.7/share/doc/ghc-8.10.7/html/libraries/base-4.14.3.0/src"><span class="hs-identifier hs-var">otherwise</span></a></span><span> </span><span class="hs-glyph">=</span><span> </span><span class="annot"><span class="annottext">HeaderHash b -&gt; ChainHash b
forall b. HeaderHash b -&gt; ChainHash b
</span><a href="../file:///home/runner/work/ouroboros-network/ouroboros-network/dist-newstyle/build/x86_64-linux/ghc-8.10.7/ouroboros-network-api-0.1.0.0/noopt/doc/html/ouroboros-network-api/src"><span class="hs-identifier hs-var">BlockHash</span></a></span><span> </span><span class="hs-special">(</span><span class="annot"><span class="annottext">Hash -&gt; HeaderHash b
</span><a href="#local-6989586621679221996"><span class="hs-identifier hs-var">f</span></a></span><span> </span><span class="annot"><span class="annottext">Hash
</span><a href="#local-6989586621679221995"><span class="hs-identifier hs-var">h</span></a></span><span class="hs-special">)</span><span>
</span><a href="#local-6989586621679174588"><span class="hs-identifier hs-var">f</span></a></span><span> </span><span class="annot"><span class="annottext">Hash
</span><a href="#local-6989586621679174587"><span class="hs-identifier hs-var">h</span></a></span><span class="hs-special">)</span><span>
</span><span id="line-26"></span><span>
</span><span id="line-27"></span><span class="annot"><a href="Ouroboros.Consensus.ByronSpec.Ledger.Conversions.html#fromByronSpecSlotNo"><span class="hs-identifier hs-type">fromByronSpecSlotNo</span></a></span><span> </span><span class="hs-glyph">::</span><span> </span><span class="annot"><span class="hs-identifier hs-type">Spec.Slot</span></span><span> </span><span class="hs-glyph">-&gt;</span><span> </span><span class="annot"><span class="hs-identifier hs-type">SlotNo</span></span><span>
</span><span id="line-28"></span><span id="fromByronSpecSlotNo"><span class="annot"><span class="annottext">fromByronSpecSlotNo :: Slot -&gt; SlotNo
</span><a href="Ouroboros.Consensus.ByronSpec.Ledger.Conversions.html#fromByronSpecSlotNo"><span class="hs-identifier hs-var hs-var">fromByronSpecSlotNo</span></a></span></span><span> </span><span class="hs-special">(</span><span class="annot"><span class="hs-identifier hs-type">Spec.Slot</span></span><span> </span><span id="local-6989586621679221990"><span class="annot"><span class="annottext">Word64
</span><a href="#local-6989586621679221990"><span class="hs-identifier hs-var">slot</span></a></span></span><span class="hs-special">)</span><span> </span><span class="hs-glyph">=</span><span> </span><span class="annot"><span class="annottext">Word64 -&gt; SlotNo
</span><a href="Ouroboros.Consensus.ByronSpec.Ledger.Conversions.html#fromByronSpecSlotNo"><span class="hs-identifier hs-var hs-var">fromByronSpecSlotNo</span></a></span></span><span> </span><span class="hs-special">(</span><span class="annot"><span class="hs-identifier hs-type">Spec.Slot</span></span><span> </span><span id="local-6989586621679174582"><span class="annot"><span class="annottext">Word64
</span><a href="#local-6989586621679174582"><span class="hs-identifier hs-var">slot</span></a></span></span><span class="hs-special">)</span><span> </span><span class="hs-glyph">=</span><span> </span><span class="annot"><span class="annottext">Word64 -&gt; SlotNo
</span><span class="hs-identifier hs-var">SlotNo</span></span><span> </span><span class="annot"><span class="annottext">Word64
</span><a href="#local-6989586621679221990"><span class="hs-identifier hs-var">slot</span></a></span><span>
</span><a href="#local-6989586621679174582"><span class="hs-identifier hs-var">slot</span></a></span><span>
</span><span id="line-29"></span><span>
</span><span id="line-30"></span><span class="hs-comment">{-------------------------------------------------------------------------------
Consensus to spec
-------------------------------------------------------------------------------}</span><span>
</span><span id="line-33"></span><span>
</span><span id="line-34"></span><span class="annot"><a href="Ouroboros.Consensus.ByronSpec.Ledger.Conversions.html#toByronSpecSlotNo"><span class="hs-identifier hs-type">toByronSpecSlotNo</span></a></span><span> </span><span class="hs-glyph">::</span><span> </span><span class="annot"><span class="hs-identifier hs-type">SlotNo</span></span><span> </span><span class="hs-glyph">-&gt;</span><span> </span><span class="annot"><span class="hs-identifier hs-type">Spec.Slot</span></span><span>
</span><span id="line-35"></span><span id="toByronSpecSlotNo"><span class="annot"><span class="annottext">toByronSpecSlotNo :: SlotNo -&gt; Slot
</span><a href="Ouroboros.Consensus.ByronSpec.Ledger.Conversions.html#toByronSpecSlotNo"><span class="hs-identifier hs-var hs-var">toByronSpecSlotNo</span></a></span></span><span> </span><span class="hs-special">(</span><span class="annot"><span class="hs-identifier hs-type">SlotNo</span></span><span> </span><span id="local-6989586621679221988"><span class="annot"><span class="annottext">Word64
</span><a href="#local-6989586621679221988"><span class="hs-identifier hs-var">slot</span></a></span></span><span class="hs-special">)</span><span> </span><span class="hs-glyph">=</span><span> </span><span class="annot"><span class="annottext">Word64 -&gt; Slot
</span><a href="Ouroboros.Consensus.ByronSpec.Ledger.Conversions.html#toByronSpecSlotNo"><span class="hs-identifier hs-var hs-var">toByronSpecSlotNo</span></a></span></span><span> </span><span class="hs-special">(</span><span class="annot"><span class="hs-identifier hs-type">SlotNo</span></span><span> </span><span id="local-6989586621679174580"><span class="annot"><span class="annottext">Word64
</span><a href="#local-6989586621679174580"><span class="hs-identifier hs-var">slot</span></a></span></span><span class="hs-special">)</span><span> </span><span class="hs-glyph">=</span><span> </span><span class="annot"><span class="annottext">Word64 -&gt; Slot
</span><span class="hs-identifier hs-var">Spec.Slot</span></span><span> </span><span class="annot"><span class="annottext">Word64
</span><a href="#local-6989586621679221988"><span class="hs-identifier hs-var">slot</span></a></span><span>
</span><a href="#local-6989586621679174580"><span class="hs-identifier hs-var">slot</span></a></span><span>
</span><span id="line-36"></span></pre></body></html>

0 comments on commit 74d0051

Please sign in to comment.