-
Notifications
You must be signed in to change notification settings - Fork 155
/
doc-index.html
1 lines (1 loc) · 22.6 KB
/
doc-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 (Index)</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="index"><p class="caption">Index</p><table><tr><td class="src">BBODY</td><td class="module"><a href="Byron-Spec-Chain-STS-Rule-BBody.html#t:BBODY" title="Byron.Spec.Chain.STS.Rule.BBody">Byron.Spec.Chain.STS.Rule.BBody</a></td></tr><tr><td class="src">bBody</td><td class="module"><a href="Byron-Spec-Chain-STS-Block.html#v:bBody" title="Byron.Spec.Chain.STS.Block">Byron.Spec.Chain.STS.Block</a></td></tr><tr><td class="src">BBodyFailure</td><td class="module"><a href="Byron-Spec-Chain-STS-Rule-Chain.html#v:BBodyFailure" title="Byron.Spec.Chain.STS.Rule.Chain">Byron.Spec.Chain.STS.Rule.Chain</a></td></tr><tr><td class="src">BbodyPredicateFailure</td><td class="module"><a href="Byron-Spec-Chain-STS-Rule-BBody.html#t:BbodyPredicateFailure" title="Byron.Spec.Chain.STS.Rule.BBody">Byron.Spec.Chain.STS.Rule.BBody</a></td></tr><tr><td class="src">bBodySize</td><td class="module"><a href="Byron-Spec-Chain-STS-Block.html#v:bBodySize" title="Byron.Spec.Chain.STS.Block">Byron.Spec.Chain.STS.Block</a></td></tr><tr><td class="src">bDCerts</td><td class="module"><a href="Byron-Spec-Chain-STS-Block.html#v:bDCerts" title="Byron.Spec.Chain.STS.Block">Byron.Spec.Chain.STS.Block</a></td></tr><tr><td class="src">bEndorsment</td><td class="module"><a href="Byron-Spec-Chain-STS-Block.html#v:bEndorsment" title="Byron.Spec.Chain.STS.Block">Byron.Spec.Chain.STS.Block</a></td></tr><tr><td class="src">bhDlgHash</td><td class="module"><a href="Byron-Spec-Chain-STS-Block.html#v:bhDlgHash" title="Byron.Spec.Chain.STS.Block">Byron.Spec.Chain.STS.Block</a></td></tr><tr><td class="src">bHeader</td><td class="module"><a href="Byron-Spec-Chain-STS-Block.html#v:bHeader" title="Byron.Spec.Chain.STS.Block">Byron.Spec.Chain.STS.Block</a></td></tr><tr><td class="src">bHeaderSize</td><td class="module"><a href="Byron-Spec-Chain-STS-Block.html#v:bHeaderSize" title="Byron.Spec.Chain.STS.Block">Byron.Spec.Chain.STS.Block</a></td></tr><tr><td class="src">bhHash</td><td class="module"><a href="Byron-Spec-Chain-STS-Block.html#v:bhHash" title="Byron.Spec.Chain.STS.Block">Byron.Spec.Chain.STS.Block</a></td></tr><tr><td class="src">bhIssuer</td><td class="module"><a href="Byron-Spec-Chain-STS-Block.html#v:bhIssuer" title="Byron.Spec.Chain.STS.Block">Byron.Spec.Chain.STS.Block</a></td></tr><tr><td class="src">bhPrevHash</td><td class="module"><a href="Byron-Spec-Chain-STS-Block.html#v:bhPrevHash" title="Byron.Spec.Chain.STS.Block">Byron.Spec.Chain.STS.Block</a></td></tr><tr><td class="src">bhSig</td><td class="module"><a href="Byron-Spec-Chain-STS-Block.html#v:bhSig" title="Byron.Spec.Chain.STS.Block">Byron.Spec.Chain.STS.Block</a></td></tr><tr><td class="src">bhSlot</td><td class="module"><a href="Byron-Spec-Chain-STS-Block.html#v:bhSlot" title="Byron.Spec.Chain.STS.Block">Byron.Spec.Chain.STS.Block</a></td></tr><tr><td class="src">bhToSign</td><td class="module"><a href="Byron-Spec-Chain-STS-Block.html#v:bhToSign" title="Byron.Spec.Chain.STS.Block">Byron.Spec.Chain.STS.Block</a></td></tr><tr><td class="src">bhUpdHash</td><td class="module"><a href="Byron-Spec-Chain-STS-Block.html#v:bhUpdHash" title="Byron.Spec.Chain.STS.Block">Byron.Spec.Chain.STS.Block</a></td></tr><tr><td class="src">bhUtxoHash</td><td class="module"><a href="Byron-Spec-Chain-STS-Block.html#v:bhUtxoHash" title="Byron.Spec.Chain.STS.Block">Byron.Spec.Chain.STS.Block</a></td></tr><tr><td class="src">bIsEBB</td><td class="module"><a href="Byron-Spec-Chain-STS-Block.html#v:bIsEBB" title="Byron.Spec.Chain.STS.Block">Byron.Spec.Chain.STS.Block</a></td></tr><tr><td class="src">Block</td><td> </td></tr><tr><td class="alt">1 (Type/Class)</td><td class="module"><a href="Byron-Spec-Chain-STS-Block.html#t:Block" title="Byron.Spec.Chain.STS.Block">Byron.Spec.Chain.STS.Block</a></td></tr><tr><td class="alt">2 (Data Constructor)</td><td class="module"><a href="Byron-Spec-Chain-STS-Block.html#v:Block" title="Byron.Spec.Chain.STS.Block">Byron.Spec.Chain.STS.Block</a></td></tr><tr><td class="src">BlockBody</td><td> </td></tr><tr><td class="alt">1 (Type/Class)</td><td class="module"><a href="Byron-Spec-Chain-STS-Block.html#t:BlockBody" title="Byron.Spec.Chain.STS.Block">Byron.Spec.Chain.STS.Block</a></td></tr><tr><td class="alt">2 (Data Constructor)</td><td class="module"><a href="Byron-Spec-Chain-STS-Block.html#v:BlockBody" title="Byron.Spec.Chain.STS.Block">Byron.Spec.Chain.STS.Block</a></td></tr><tr><td class="src">BlockHeader</td><td> </td></tr><tr><td class="alt">1 (Type/Class)</td><td class="module"><a href="Byron-Spec-Chain-STS-Block.html#t:BlockHeader" title="Byron.Spec.Chain.STS.Block">Byron.Spec.Chain.STS.Block</a></td></tr><tr><td class="alt">2 (Data Constructor)</td><td class="module"><a href="Byron-Spec-Chain-STS-Block.html#v:BlockHeader" title="Byron.Spec.Chain.STS.Block">Byron.Spec.Chain.STS.Block</a></td></tr><tr><td class="src">BlockStats</td><td> </td></tr><tr><td class="alt">1 (Type/Class)</td><td class="module"><a href="Byron-Spec-Chain-STS-Block.html#t:BlockStats" title="Byron.Spec.Chain.STS.Block">Byron.Spec.Chain.STS.Block</a></td></tr><tr><td class="alt">2 (Data Constructor)</td><td class="module"><a href="Byron-Spec-Chain-STS-Block.html#v:BlockStats" title="Byron.Spec.Chain.STS.Block">Byron.Spec.Chain.STS.Block</a></td></tr><tr><td class="src">blockStats</td><td class="module"><a href="Byron-Spec-Chain-STS-Block.html#v:blockStats" title="Byron.Spec.Chain.STS.Block">Byron.Spec.Chain.STS.Block</a></td></tr><tr><td class="src">blockStatsDCerts</td><td class="module"><a href="Byron-Spec-Chain-STS-Block.html#v:blockStatsDCerts" title="Byron.Spec.Chain.STS.Block">Byron.Spec.Chain.STS.Block</a></td></tr><tr><td class="src">blockStatsUpdProp</td><td class="module"><a href="Byron-Spec-Chain-STS-Block.html#v:blockStatsUpdProp" title="Byron.Spec.Chain.STS.Block">Byron.Spec.Chain.STS.Block</a></td></tr><tr><td class="src">blockStatsUpdVotes</td><td class="module"><a href="Byron-Spec-Chain-STS-Block.html#v:blockStatsUpdVotes" title="Byron.Spec.Chain.STS.Block">Byron.Spec.Chain.STS.Block</a></td></tr><tr><td class="src">blockStatsUtxo</td><td class="module"><a href="Byron-Spec-Chain-STS-Block.html#v:blockStatsUtxo" title="Byron.Spec.Chain.STS.Block">Byron.Spec.Chain.STS.Block</a></td></tr><tr><td class="src">bProtVer</td><td class="module"><a href="Byron-Spec-Chain-STS-Block.html#v:bProtVer" title="Byron.Spec.Chain.STS.Block">Byron.Spec.Chain.STS.Block</a></td></tr><tr><td class="src">bSize</td><td class="module"><a href="Byron-Spec-Chain-STS-Block.html#v:bSize" title="Byron.Spec.Chain.STS.Block">Byron.Spec.Chain.STS.Block</a></td></tr><tr><td class="src">bSlot</td><td class="module"><a href="Byron-Spec-Chain-STS-Block.html#v:bSlot" title="Byron.Spec.Chain.STS.Block">Byron.Spec.Chain.STS.Block</a></td></tr><tr><td class="src">bUpdPayload</td><td class="module"><a href="Byron-Spec-Chain-STS-Block.html#v:bUpdPayload" title="Byron.Spec.Chain.STS.Block">Byron.Spec.Chain.STS.Block</a></td></tr><tr><td class="src">bUpdProp</td><td class="module"><a href="Byron-Spec-Chain-STS-Block.html#v:bUpdProp" title="Byron.Spec.Chain.STS.Block">Byron.Spec.Chain.STS.Block</a></td></tr><tr><td class="src">bUpdVotes</td><td class="module"><a href="Byron-Spec-Chain-STS-Block.html#v:bUpdVotes" title="Byron.Spec.Chain.STS.Block">Byron.Spec.Chain.STS.Block</a></td></tr><tr><td class="src">BUPI</td><td class="module"><a href="Byron-Spec-Chain-STS-Rule-Bupi.html#t:BUPI" title="Byron.Spec.Chain.STS.Rule.Bupi">Byron.Spec.Chain.STS.Rule.Bupi</a></td></tr><tr><td class="src">BUPIFailure</td><td class="module"><a href="Byron-Spec-Chain-STS-Rule-BBody.html#v:BUPIFailure" title="Byron.Spec.Chain.STS.Rule.BBody">Byron.Spec.Chain.STS.Rule.BBody</a></td></tr><tr><td class="src">BupiPredicateFailure</td><td class="module"><a href="Byron-Spec-Chain-STS-Rule-Bupi.html#t:BupiPredicateFailure" title="Byron.Spec.Chain.STS.Rule.Bupi">Byron.Spec.Chain.STS.Rule.Bupi</a></td></tr><tr><td class="src">bUtxo</td><td class="module"><a href="Byron-Spec-Chain-STS-Block.html#v:bUtxo" title="Byron.Spec.Chain.STS.Block">Byron.Spec.Chain.STS.Block</a></td></tr><tr><td class="src">CHAIN</td><td class="module"><a href="Byron-Spec-Chain-STS-Rule-Chain.html#t:CHAIN" title="Byron.Spec.Chain.STS.Rule.Chain">Byron.Spec.Chain.STS.Rule.Chain</a></td></tr><tr><td class="src">chainBlockStats</td><td class="module"><a href="Byron-Spec-Chain-STS-Block.html#v:chainBlockStats" title="Byron.Spec.Chain.STS.Block">Byron.Spec.Chain.STS.Block</a></td></tr><tr><td class="src">ChainPredicateFailure</td><td class="module"><a href="Byron-Spec-Chain-STS-Rule-Chain.html#t:ChainPredicateFailure" title="Byron.Spec.Chain.STS.Rule.Chain">Byron.Spec.Chain.STS.Rule.Chain</a></td></tr><tr><td class="src">coverInvalidBlockProofs</td><td class="module"><a href="Byron-Spec-Chain-STS-Rule-Chain.html#v:coverInvalidBlockProofs" title="Byron.Spec.Chain.STS.Rule.Chain">Byron.Spec.Chain.STS.Rule.Chain</a></td></tr><tr><td class="src">DelegationFailure</td><td class="module"><a href="Byron-Spec-Chain-STS-Rule-BBody.html#v:DelegationFailure" title="Byron.Spec.Chain.STS.Rule.BBody">Byron.Spec.Chain.STS.Rule.BBody</a></td></tr><tr><td class="src">disL</td><td class="module"><a href="Byron-Spec-Chain-STS-Rule-Chain.html#v:disL" title="Byron.Spec.Chain.STS.Rule.Chain">Byron.Spec.Chain.STS.Rule.Chain</a></td></tr><tr><td class="src">EPOCH</td><td class="module"><a href="Byron-Spec-Chain-STS-Rule-Epoch.html#t:EPOCH" title="Byron.Spec.Chain.STS.Rule.Epoch">Byron.Spec.Chain.STS.Rule.Epoch</a></td></tr><tr><td class="src">EpochFailure</td><td class="module"><a href="Byron-Spec-Chain-STS-Rule-Chain.html#v:EpochFailure" title="Byron.Spec.Chain.STS.Rule.Chain">Byron.Spec.Chain.STS.Rule.Chain</a></td></tr><tr><td class="src">EpochPredicateFailure</td><td class="module"><a href="Byron-Spec-Chain-STS-Rule-Epoch.html#t:EpochPredicateFailure" title="Byron.Spec.Chain.STS.Rule.Epoch">Byron.Spec.Chain.STS.Rule.Epoch</a></td></tr><tr><td class="src">GenDelegation</td><td class="module"><a href="Byron-Spec-Chain-STS-Rule-Chain.html#v:GenDelegation" title="Byron.Spec.Chain.STS.Rule.Chain">Byron.Spec.Chain.STS.Rule.Chain</a></td></tr><tr><td class="src">genesisHash</td><td class="module"><a href="Byron-Spec-Chain-STS-Block.html#v:genesisHash" title="Byron.Spec.Chain.STS.Block">Byron.Spec.Chain.STS.Block</a></td></tr><tr><td class="src">GenUpdate</td><td class="module"><a href="Byron-Spec-Chain-STS-Rule-Chain.html#v:GenUpdate" title="Byron.Spec.Chain.STS.Rule.Chain">Byron.Spec.Chain.STS.Rule.Chain</a></td></tr><tr><td class="src">GenUTxO</td><td class="module"><a href="Byron-Spec-Chain-STS-Rule-Chain.html#v:GenUTxO" title="Byron.Spec.Chain.STS.Rule.Chain">Byron.Spec.Chain.STS.Rule.Chain</a></td></tr><tr><td class="src">hashHeader</td><td class="module"><a href="Byron-Spec-Chain-STS-Block.html#v:hashHeader" title="Byron.Spec.Chain.STS.Block">Byron.Spec.Chain.STS.Block</a></td></tr><tr><td class="src">headerIsValid</td><td class="module"><a href="Byron-Spec-Chain-STS-Rule-Chain.html#v:headerIsValid" title="Byron.Spec.Chain.STS.Rule.Chain">Byron.Spec.Chain.STS.Rule.Chain</a></td></tr><tr><td class="src">HeaderSizeTooBig</td><td class="module"><a href="Byron-Spec-Chain-STS-Rule-Chain.html#v:HeaderSizeTooBig" title="Byron.Spec.Chain.STS.Rule.Chain">Byron.Spec.Chain.STS.Rule.Chain</a></td></tr><tr><td class="src">InvalidBlockSize</td><td class="module"><a href="Byron-Spec-Chain-STS-Rule-BBody.html#v:InvalidBlockSize" title="Byron.Spec.Chain.STS.Rule.BBody">Byron.Spec.Chain.STS.Rule.BBody</a></td></tr><tr><td class="src">InvalidDelegationHash</td><td class="module"><a href="Byron-Spec-Chain-STS-Rule-BBody.html#v:InvalidDelegationHash" title="Byron.Spec.Chain.STS.Rule.BBody">Byron.Spec.Chain.STS.Rule.BBody</a></td></tr><tr><td class="src">InvalidHeaderSignature</td><td class="module"><a href="Byron-Spec-Chain-STS-Rule-Pbft.html#v:InvalidHeaderSignature" title="Byron.Spec.Chain.STS.Rule.Pbft">Byron.Spec.Chain.STS.Rule.Pbft</a></td></tr><tr><td class="src">InvalidUpdateProposalHash</td><td class="module"><a href="Byron-Spec-Chain-STS-Rule-BBody.html#v:InvalidUpdateProposalHash" title="Byron.Spec.Chain.STS.Rule.BBody">Byron.Spec.Chain.STS.Rule.BBody</a></td></tr><tr><td class="src">InvalidUtxoHash</td><td class="module"><a href="Byron-Spec-Chain-STS-Rule-BBody.html#v:InvalidUtxoHash" title="Byron.Spec.Chain.STS.Rule.BBody">Byron.Spec.Chain.STS.Rule.BBody</a></td></tr><tr><td class="src">isHeaderSizeTooBigFailure</td><td class="module"><a href="Byron-Spec-Chain-STS-Rule-Chain.html#v:isHeaderSizeTooBigFailure" title="Byron.Spec.Chain.STS.Rule.Chain">Byron.Spec.Chain.STS.Rule.Chain</a></td></tr><tr><td class="src">issuer</td><td class="module"><a href="Byron-Spec-Chain-STS-Rule-SigCnt.html#v:issuer" title="Byron.Spec.Chain.STS.Rule.SigCnt">Byron.Spec.Chain.STS.Rule.SigCnt</a></td></tr><tr><td class="src">LedgerDelegationFailure</td><td class="module"><a href="Byron-Spec-Chain-STS-Rule-Chain.html#v:LedgerDelegationFailure" title="Byron.Spec.Chain.STS.Rule.Chain">Byron.Spec.Chain.STS.Rule.Chain</a></td></tr><tr><td class="src">LedgerUTxOFailure</td><td class="module"><a href="Byron-Spec-Chain-STS-Rule-Chain.html#v:LedgerUTxOFailure" title="Byron.Spec.Chain.STS.Rule.Chain">Byron.Spec.Chain.STS.Rule.Chain</a></td></tr><tr><td class="src">MaximumBlockSize</td><td class="module"><a href="Byron-Spec-Chain-STS-Rule-Chain.html#v:MaximumBlockSize" title="Byron.Spec.Chain.STS.Rule.Chain">Byron.Spec.Chain.STS.Rule.Chain</a></td></tr><tr><td class="src">mkBlock</td><td class="module"><a href="Byron-Spec-Chain-STS-Block.html#v:mkBlock" title="Byron.Spec.Chain.STS.Block">Byron.Spec.Chain.STS.Block</a></td></tr><tr><td class="src">NoGenDelegation</td><td class="module"><a href="Byron-Spec-Chain-STS-Rule-Chain.html#v:NoGenDelegation" title="Byron.Spec.Chain.STS.Rule.Chain">Byron.Spec.Chain.STS.Rule.Chain</a></td></tr><tr><td class="src">NoGenUpdate</td><td class="module"><a href="Byron-Spec-Chain-STS-Rule-Chain.html#v:NoGenUpdate" title="Byron.Spec.Chain.STS.Rule.Chain">Byron.Spec.Chain.STS.Rule.Chain</a></td></tr><tr><td class="src">NoGenUTxO</td><td class="module"><a href="Byron-Spec-Chain-STS-Rule-Chain.html#v:NoGenUTxO" title="Byron.Spec.Chain.STS.Rule.Chain">Byron.Spec.Chain.STS.Rule.Chain</a></td></tr><tr><td class="src">NotADelegate</td><td class="module"><a href="Byron-Spec-Chain-STS-Rule-SigCnt.html#v:NotADelegate" title="Byron.Spec.Chain.STS.Rule.SigCnt">Byron.Spec.Chain.STS.Rule.SigCnt</a></td></tr><tr><td class="src">PBFT</td><td class="module"><a href="Byron-Spec-Chain-STS-Rule-Pbft.html#t:PBFT" title="Byron.Spec.Chain.STS.Rule.Pbft">Byron.Spec.Chain.STS.Rule.Pbft</a></td></tr><tr><td class="src">PBFTFailure</td><td class="module"><a href="Byron-Spec-Chain-STS-Rule-Chain.html#v:PBFTFailure" title="Byron.Spec.Chain.STS.Rule.Chain">Byron.Spec.Chain.STS.Rule.Chain</a></td></tr><tr><td class="src">PbftPredicateFailure</td><td class="module"><a href="Byron-Spec-Chain-STS-Rule-Pbft.html#t:PbftPredicateFailure" title="Byron.Spec.Chain.STS.Rule.Pbft">Byron.Spec.Chain.STS.Rule.Pbft</a></td></tr><tr><td class="src">PrevHashNotMatching</td><td class="module"><a href="Byron-Spec-Chain-STS-Rule-Pbft.html#v:PrevHashNotMatching" title="Byron.Spec.Chain.STS.Rule.Pbft">Byron.Spec.Chain.STS.Rule.Pbft</a></td></tr><tr><td class="src">sEpoch</td><td class="module"><a href="Byron-Spec-Chain-STS-Rule-Epoch.html#v:sEpoch" title="Byron.Spec.Chain.STS.Rule.Epoch">Byron.Spec.Chain.STS.Rule.Epoch</a></td></tr><tr><td class="src">ShouldGenDelegation</td><td class="module"><a href="Byron-Spec-Chain-STS-Rule-Chain.html#t:ShouldGenDelegation" title="Byron.Spec.Chain.STS.Rule.Chain">Byron.Spec.Chain.STS.Rule.Chain</a></td></tr><tr><td class="src">ShouldGenUpdate</td><td class="module"><a href="Byron-Spec-Chain-STS-Rule-Chain.html#t:ShouldGenUpdate" title="Byron.Spec.Chain.STS.Rule.Chain">Byron.Spec.Chain.STS.Rule.Chain</a></td></tr><tr><td class="src">ShouldGenUTxO</td><td class="module"><a href="Byron-Spec-Chain-STS-Rule-Chain.html#t:ShouldGenUTxO" title="Byron.Spec.Chain.STS.Rule.Chain">Byron.Spec.Chain.STS.Rule.Chain</a></td></tr><tr><td class="src">SIGCNT</td><td class="module"><a href="Byron-Spec-Chain-STS-Rule-SigCnt.html#t:SIGCNT" title="Byron.Spec.Chain.STS.Rule.SigCnt">Byron.Spec.Chain.STS.Rule.SigCnt</a></td></tr><tr><td class="src">SigcntPredicateFailure</td><td class="module"><a href="Byron-Spec-Chain-STS-Rule-SigCnt.html#t:SigcntPredicateFailure" title="Byron.Spec.Chain.STS.Rule.SigCnt">Byron.Spec.Chain.STS.Rule.SigCnt</a></td></tr><tr><td class="src">sigCntT</td><td class="module"><a href="Byron-Spec-Chain-STS-Rule-SigCnt.html#v:sigCntT" title="Byron.Spec.Chain.STS.Rule.SigCnt">Byron.Spec.Chain.STS.Rule.SigCnt</a></td></tr><tr><td class="src">SigCountFailure</td><td class="module"><a href="Byron-Spec-Chain-STS-Rule-Pbft.html#v:SigCountFailure" title="Byron.Spec.Chain.STS.Rule.Pbft">Byron.Spec.Chain.STS.Rule.Pbft</a></td></tr><tr><td class="src">sigGenChain</td><td class="module"><a href="Byron-Spec-Chain-STS-Rule-Chain.html#v:sigGenChain" title="Byron.Spec.Chain.STS.Rule.Chain">Byron.Spec.Chain.STS.Rule.Chain</a></td></tr><tr><td class="src">SlotInTheFuture</td><td class="module"><a href="Byron-Spec-Chain-STS-Rule-Pbft.html#v:SlotInTheFuture" title="Byron.Spec.Chain.STS.Rule.Pbft">Byron.Spec.Chain.STS.Rule.Pbft</a></td></tr><tr><td class="src">SlotNotAfterLastBlock</td><td class="module"><a href="Byron-Spec-Chain-STS-Rule-Pbft.html#v:SlotNotAfterLastBlock" title="Byron.Spec.Chain.STS.Rule.Pbft">Byron.Spec.Chain.STS.Rule.Pbft</a></td></tr><tr><td class="src">TooManyIssuedBlocks</td><td class="module"><a href="Byron-Spec-Chain-STS-Rule-SigCnt.html#v:TooManyIssuedBlocks" title="Byron.Spec.Chain.STS.Rule.SigCnt">Byron.Spec.Chain.STS.Rule.SigCnt</a></td></tr><tr><td class="src">updateBody</td><td class="module"><a href="Byron-Spec-Chain-STS-Block.html#v:updateBody" title="Byron.Spec.Chain.STS.Block">Byron.Spec.Chain.STS.Block</a></td></tr><tr><td class="src">UpdatePayload</td><td class="module"><a href="Byron-Spec-Chain-STS-Rule-Bupi.html#t:UpdatePayload" title="Byron.Spec.Chain.STS.Rule.Bupi">Byron.Spec.Chain.STS.Rule.Bupi</a></td></tr><tr><td class="src">UPIECFailure</td><td class="module"><a href="Byron-Spec-Chain-STS-Rule-Epoch.html#v:UPIECFailure" title="Byron.Spec.Chain.STS.Rule.Epoch">Byron.Spec.Chain.STS.Rule.Epoch</a></td></tr><tr><td class="src">UPIENDFailure</td><td class="module"><a href="Byron-Spec-Chain-STS-Rule-Bupi.html#v:UPIENDFailure" title="Byron.Spec.Chain.STS.Rule.Bupi">Byron.Spec.Chain.STS.Rule.Bupi</a></td></tr><tr><td class="src">UPIREGFailure</td><td class="module"><a href="Byron-Spec-Chain-STS-Rule-Bupi.html#v:UPIREGFailure" title="Byron.Spec.Chain.STS.Rule.Bupi">Byron.Spec.Chain.STS.Rule.Bupi</a></td></tr><tr><td class="src">UPIVOTESFailure</td><td class="module"><a href="Byron-Spec-Chain-STS-Rule-Bupi.html#v:UPIVOTESFailure" title="Byron.Spec.Chain.STS.Rule.Bupi">Byron.Spec.Chain.STS.Rule.Bupi</a></td></tr><tr><td class="src">UTXOWSFailure</td><td class="module"><a href="Byron-Spec-Chain-STS-Rule-BBody.html#v:UTXOWSFailure" title="Byron.Spec.Chain.STS.Rule.BBody">Byron.Spec.Chain.STS.Rule.BBody</a></td></tr><tr><td class="src">_bBody</td><td class="module"><a href="Byron-Spec-Chain-STS-Block.html#v:_bBody" title="Byron.Spec.Chain.STS.Block">Byron.Spec.Chain.STS.Block</a></td></tr><tr><td class="src">_bDCerts</td><td class="module"><a href="Byron-Spec-Chain-STS-Block.html#v:_bDCerts" title="Byron.Spec.Chain.STS.Block">Byron.Spec.Chain.STS.Block</a></td></tr><tr><td class="src">_bhDlgHash</td><td class="module"><a href="Byron-Spec-Chain-STS-Block.html#v:_bhDlgHash" title="Byron.Spec.Chain.STS.Block">Byron.Spec.Chain.STS.Block</a></td></tr><tr><td class="src">_bHeader</td><td class="module"><a href="Byron-Spec-Chain-STS-Block.html#v:_bHeader" title="Byron.Spec.Chain.STS.Block">Byron.Spec.Chain.STS.Block</a></td></tr><tr><td class="src">_bhIssuer</td><td class="module"><a href="Byron-Spec-Chain-STS-Block.html#v:_bhIssuer" title="Byron.Spec.Chain.STS.Block">Byron.Spec.Chain.STS.Block</a></td></tr><tr><td class="src">_bhPrevHash</td><td class="module"><a href="Byron-Spec-Chain-STS-Block.html#v:_bhPrevHash" title="Byron.Spec.Chain.STS.Block">Byron.Spec.Chain.STS.Block</a></td></tr><tr><td class="src">_bhSig</td><td class="module"><a href="Byron-Spec-Chain-STS-Block.html#v:_bhSig" title="Byron.Spec.Chain.STS.Block">Byron.Spec.Chain.STS.Block</a></td></tr><tr><td class="src">_bhSlot</td><td class="module"><a href="Byron-Spec-Chain-STS-Block.html#v:_bhSlot" title="Byron.Spec.Chain.STS.Block">Byron.Spec.Chain.STS.Block</a></td></tr><tr><td class="src">_bhUpdHash</td><td class="module"><a href="Byron-Spec-Chain-STS-Block.html#v:_bhUpdHash" title="Byron.Spec.Chain.STS.Block">Byron.Spec.Chain.STS.Block</a></td></tr><tr><td class="src">_bhUtxoHash</td><td class="module"><a href="Byron-Spec-Chain-STS-Block.html#v:_bhUtxoHash" title="Byron.Spec.Chain.STS.Block">Byron.Spec.Chain.STS.Block</a></td></tr><tr><td class="src">_bProtVer</td><td class="module"><a href="Byron-Spec-Chain-STS-Block.html#v:_bProtVer" title="Byron.Spec.Chain.STS.Block">Byron.Spec.Chain.STS.Block</a></td></tr><tr><td class="src">_bUpdProp</td><td class="module"><a href="Byron-Spec-Chain-STS-Block.html#v:_bUpdProp" title="Byron.Spec.Chain.STS.Block">Byron.Spec.Chain.STS.Block</a></td></tr><tr><td class="src">_bUpdVotes</td><td class="module"><a href="Byron-Spec-Chain-STS-Block.html#v:_bUpdVotes" title="Byron.Spec.Chain.STS.Block">Byron.Spec.Chain.STS.Block</a></td></tr><tr><td class="src">_bUtxo</td><td class="module"><a href="Byron-Spec-Chain-STS-Block.html#v:_bUtxo" title="Byron.Spec.Chain.STS.Block">Byron.Spec.Chain.STS.Block</a></td></tr></table></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>