-
Notifications
You must be signed in to change notification settings - Fork 155
/
index.html
1 lines (1 loc) · 3.75 KB
/
index.html
1
<!DOCTYPE html PUBLIC "-//W3C//DTD XHTML 1.0 Transitional//EN" "http://www.w3.org/TR/xhtml1/DTD/xhtml1-transitional.dtd"><html xmlns="http://www.w3.org/1999/xhtml"><head><meta http-equiv="Content-Type" content="text/html; charset=UTF-8" /><meta name="viewport" content="width=device-width, initial-scale=1" /><title>byron-spec-chain-1.0.1.0: Executable specification of the Cardano blockchain</title><link href="linuwial.css" rel="stylesheet" type="text/css" title="Linuwial" /><link rel="stylesheet" type="text/css" href="quick-jump.css" /><link rel="stylesheet" type="text/css" href="https://fonts.googleapis.com/css?family=PT+Sans:400,400i,700" /><script src="haddock-bundle.min.js" async="async" type="text/javascript"></script><script type="text/x-mathjax-config">MathJax.Hub.Config({ tex2jax: { processClass: "mathjax", ignoreClass: ".*" } });</script><script src="https://cdnjs.cloudflare.com/ajax/libs/mathjax/2.7.5/MathJax.js?config=TeX-AMS-MML_HTMLorMML" type="text/javascript"></script></head><body><div id="package-header"><span class="caption">byron-spec-chain-1.0.1.0: Executable specification of the Cardano blockchain</span><ul class="links" id="page-menu"><li><a href="index.html">Contents</a></li><li><a href="doc-index.html">Index</a></li></ul></div><div id="content"><div id="description"><h1>byron-spec-chain-1.0.1.0: Executable specification of the Cardano blockchain</h1><div class="doc"><p>Executable specification of the Cardano blockchain</p></div></div><div id="module-list"><p class="caption">Modules</p><ul><li><span class="module details-toggle-control details-toggle" data-details-id="n.1">Byron</span><details id="n.1" open="open"><summary class="hide-when-js-enabled">Submodules</summary><ul><li><span class="module details-toggle-control details-toggle" data-details-id="n.1.1">Spec</span><details id="n.1.1" open="open"><summary class="hide-when-js-enabled">Submodules</summary><ul><li><span class="module details-toggle-control details-toggle" data-details-id="n.1.1.1">Chain</span><details id="n.1.1.1" open="open"><summary class="hide-when-js-enabled">Submodules</summary><ul><li><span class="module details-toggle-control details-toggle" data-details-id="n.1.1.1.1">STS</span><details id="n.1.1.1.1" open="open"><summary class="hide-when-js-enabled">Submodules</summary><ul><li><span class="module"><span class="noexpander"> </span><a href="Byron-Spec-Chain-STS-Block.html">Byron.Spec.Chain.STS.Block</a></span></li><li><span class="module details-toggle-control details-toggle" data-details-id="n.1.1.1.1.2">Rule</span><details id="n.1.1.1.1.2" open="open"><summary class="hide-when-js-enabled">Submodules</summary><ul><li><span class="module"><span class="noexpander"> </span><a href="Byron-Spec-Chain-STS-Rule-BBody.html">Byron.Spec.Chain.STS.Rule.BBody</a></span></li><li><span class="module"><span class="noexpander"> </span><a href="Byron-Spec-Chain-STS-Rule-Bupi.html">Byron.Spec.Chain.STS.Rule.Bupi</a></span></li><li><span class="module"><span class="noexpander"> </span><a href="Byron-Spec-Chain-STS-Rule-Chain.html">Byron.Spec.Chain.STS.Rule.Chain</a></span></li><li><span class="module"><span class="noexpander"> </span><a href="Byron-Spec-Chain-STS-Rule-Epoch.html">Byron.Spec.Chain.STS.Rule.Epoch</a></span></li><li><span class="module"><span class="noexpander"> </span><a href="Byron-Spec-Chain-STS-Rule-Pbft.html">Byron.Spec.Chain.STS.Rule.Pbft</a></span></li><li><span class="module"><span class="noexpander"> </span><a href="Byron-Spec-Chain-STS-Rule-SigCnt.html">Byron.Spec.Chain.STS.Rule.SigCnt</a></span></li></ul></details></li></ul></details></li></ul></details></li></ul></details></li></ul></details></li></ul></div></div><div id="footer"><p>Produced by <a href="http://www.haskell.org/haddock/">Haddock</a> version 2.26.0</p></div></body></html>