-
Notifications
You must be signed in to change notification settings - Fork 155
/
doc-index.json
1 lines (1 loc) · 36.1 KB
/
doc-index.json
1
[{"display_html":"<span class=\"keyword\">data</span> <a href=\"#t:BlockHeader\">BlockHeader</a> = <a href=\"#v:BlockHeader\">BlockHeader</a> {<ul class=\"subs\"><li><a href=\"#v:_bhPrevHash\">_bhPrevHash</a> ∷ !<a href=\"../byron-spec-ledger/Byron-Spec-Ledger-Core.html#t:Hash\" title=\"Byron.Spec.Ledger.Core\">Hash</a></li><li><a href=\"#v:_bhSlot\">_bhSlot</a> ∷ !<a href=\"../byron-spec-ledger/Byron-Spec-Ledger-Core.html#t:Slot\" title=\"Byron.Spec.Ledger.Core\">Slot</a></li><li><a href=\"#v:_bhIssuer\">_bhIssuer</a> ∷ !<a href=\"../byron-spec-ledger/Byron-Spec-Ledger-Core.html#t:VKey\" title=\"Byron.Spec.Ledger.Core\">VKey</a></li><li><a href=\"#v:_bhSig\">_bhSig</a> ∷ !(<a href=\"../byron-spec-ledger/Byron-Spec-Ledger-Core.html#t:Sig\" title=\"Byron.Spec.Ledger.Core\">Sig</a> <a href=\"../byron-spec-ledger/Byron-Spec-Ledger-Core.html#t:Hash\" title=\"Byron.Spec.Ledger.Core\">Hash</a>)</li><li><a href=\"#v:_bhUtxoHash\">_bhUtxoHash</a> ∷ !<a href=\"../byron-spec-ledger/Byron-Spec-Ledger-Core.html#t:Hash\" title=\"Byron.Spec.Ledger.Core\">Hash</a></li><li><a href=\"#v:_bhDlgHash\">_bhDlgHash</a> ∷ !<a href=\"../byron-spec-ledger/Byron-Spec-Ledger-Core.html#t:Hash\" title=\"Byron.Spec.Ledger.Core\">Hash</a></li><li><a href=\"#v:_bhUpdHash\">_bhUpdHash</a> ∷ !<a href=\"../byron-spec-ledger/Byron-Spec-Ledger-Core.html#t:Hash\" title=\"Byron.Spec.Ledger.Core\">Hash</a></li></ul>}","name":"BlockHeader _bhUpdHash _bhDlgHash _bhUtxoHash _bhSig _bhIssuer _bhSlot _bhPrevHash BlockHeader","module":"Byron.Spec.Chain.STS.Block","link":"Byron-Spec-Chain-STS-Block.html#t:BlockHeader"},{"display_html":"<a href=\"#v:bhUtxoHash\">bhUtxoHash</a> ∷ <a href=\"../microlens/Lens-Micro-Type.html#t:Lens-39-\" title=\"Lens.Micro.Type\">Lens'</a> <a href=\"Byron-Spec-Chain-STS-Block.html#t:BlockHeader\" title=\"Byron.Spec.Chain.STS.Block\">BlockHeader</a> <a href=\"../byron-spec-ledger/Byron-Spec-Ledger-Core.html#t:Hash\" title=\"Byron.Spec.Ledger.Core\">Hash</a>","name":"bhUtxoHash","module":"Byron.Spec.Chain.STS.Block","link":"Byron-Spec-Chain-STS-Block.html#v:bhUtxoHash"},{"display_html":"<a href=\"#v:bhUpdHash\">bhUpdHash</a> ∷ <a href=\"../microlens/Lens-Micro-Type.html#t:Lens-39-\" title=\"Lens.Micro.Type\">Lens'</a> <a href=\"Byron-Spec-Chain-STS-Block.html#t:BlockHeader\" title=\"Byron.Spec.Chain.STS.Block\">BlockHeader</a> <a href=\"../byron-spec-ledger/Byron-Spec-Ledger-Core.html#t:Hash\" title=\"Byron.Spec.Ledger.Core\">Hash</a>","name":"bhUpdHash","module":"Byron.Spec.Chain.STS.Block","link":"Byron-Spec-Chain-STS-Block.html#v:bhUpdHash"},{"display_html":"<a href=\"#v:bhSlot\">bhSlot</a> ∷ <a href=\"../microlens/Lens-Micro-Type.html#t:Lens-39-\" title=\"Lens.Micro.Type\">Lens'</a> <a href=\"Byron-Spec-Chain-STS-Block.html#t:BlockHeader\" title=\"Byron.Spec.Chain.STS.Block\">BlockHeader</a> <a href=\"../byron-spec-ledger/Byron-Spec-Ledger-Core.html#t:Slot\" title=\"Byron.Spec.Ledger.Core\">Slot</a>","name":"bhSlot","module":"Byron.Spec.Chain.STS.Block","link":"Byron-Spec-Chain-STS-Block.html#v:bhSlot"},{"display_html":"<a href=\"#v:bhSig\">bhSig</a> ∷ <a href=\"../microlens/Lens-Micro-Type.html#t:Lens-39-\" title=\"Lens.Micro.Type\">Lens'</a> <a href=\"Byron-Spec-Chain-STS-Block.html#t:BlockHeader\" title=\"Byron.Spec.Chain.STS.Block\">BlockHeader</a> (<a href=\"../byron-spec-ledger/Byron-Spec-Ledger-Core.html#t:Sig\" title=\"Byron.Spec.Ledger.Core\">Sig</a> <a href=\"../byron-spec-ledger/Byron-Spec-Ledger-Core.html#t:Hash\" title=\"Byron.Spec.Ledger.Core\">Hash</a>)","name":"bhSig","module":"Byron.Spec.Chain.STS.Block","link":"Byron-Spec-Chain-STS-Block.html#v:bhSig"},{"display_html":"<a href=\"#v:bhPrevHash\">bhPrevHash</a> ∷ <a href=\"../microlens/Lens-Micro-Type.html#t:Lens-39-\" title=\"Lens.Micro.Type\">Lens'</a> <a href=\"Byron-Spec-Chain-STS-Block.html#t:BlockHeader\" title=\"Byron.Spec.Chain.STS.Block\">BlockHeader</a> <a href=\"../byron-spec-ledger/Byron-Spec-Ledger-Core.html#t:Hash\" title=\"Byron.Spec.Ledger.Core\">Hash</a>","name":"bhPrevHash","module":"Byron.Spec.Chain.STS.Block","link":"Byron-Spec-Chain-STS-Block.html#v:bhPrevHash"},{"display_html":"<a href=\"#v:bhIssuer\">bhIssuer</a> ∷ <a href=\"../microlens/Lens-Micro-Type.html#t:Lens-39-\" title=\"Lens.Micro.Type\">Lens'</a> <a href=\"Byron-Spec-Chain-STS-Block.html#t:BlockHeader\" title=\"Byron.Spec.Chain.STS.Block\">BlockHeader</a> <a href=\"../byron-spec-ledger/Byron-Spec-Ledger-Core.html#t:VKey\" title=\"Byron.Spec.Ledger.Core\">VKey</a>","name":"bhIssuer","module":"Byron.Spec.Chain.STS.Block","link":"Byron-Spec-Chain-STS-Block.html#v:bhIssuer"},{"display_html":"<a href=\"#v:bhDlgHash\">bhDlgHash</a> ∷ <a href=\"../microlens/Lens-Micro-Type.html#t:Lens-39-\" title=\"Lens.Micro.Type\">Lens'</a> <a href=\"Byron-Spec-Chain-STS-Block.html#t:BlockHeader\" title=\"Byron.Spec.Chain.STS.Block\">BlockHeader</a> <a href=\"../byron-spec-ledger/Byron-Spec-Ledger-Core.html#t:Hash\" title=\"Byron.Spec.Ledger.Core\">Hash</a>","name":"bhDlgHash","module":"Byron.Spec.Chain.STS.Block","link":"Byron-Spec-Chain-STS-Block.html#v:bhDlgHash"},{"display_html":"<span class=\"keyword\">data</span> <a href=\"#t:BlockBody\">BlockBody</a> = <a href=\"#v:BlockBody\">BlockBody</a> {<ul class=\"subs\"><li><a href=\"#v:_bDCerts\">_bDCerts</a> ∷ ![<a href=\"../byron-spec-ledger/Byron-Spec-Ledger-Delegation.html#t:DCert\" title=\"Byron.Spec.Ledger.Delegation\">DCert</a>]</li><li><a href=\"#v:_bUtxo\">_bUtxo</a> ∷ ![<a href=\"../byron-spec-ledger/Byron-Spec-Ledger-UTxO.html#t:Tx\" title=\"Byron.Spec.Ledger.UTxO\">Tx</a>]</li><li><a href=\"#v:_bUpdProp\">_bUpdProp</a> ∷ !(<a href=\"../base/Data-Maybe.html#t:Maybe\" title=\"Data.Maybe\">Maybe</a> <a href=\"../byron-spec-ledger/Byron-Spec-Ledger-Update.html#t:UProp\" title=\"Byron.Spec.Ledger.Update\">UProp</a>)</li><li><a href=\"#v:_bUpdVotes\">_bUpdVotes</a> ∷ ![<a href=\"../byron-spec-ledger/Byron-Spec-Ledger-Update.html#t:Vote\" title=\"Byron.Spec.Ledger.Update\">Vote</a>]</li><li><a href=\"#v:_bProtVer\">_bProtVer</a> ∷ !<a href=\"../byron-spec-ledger/Byron-Spec-Ledger-Update.html#t:ProtVer\" title=\"Byron.Spec.Ledger.Update\">ProtVer</a></li></ul>}","name":"BlockBody _bProtVer _bUpdVotes _bUpdProp _bUtxo _bDCerts BlockBody","module":"Byron.Spec.Chain.STS.Block","link":"Byron-Spec-Chain-STS-Block.html#t:BlockBody"},{"display_html":"<a href=\"#v:bUtxo\">bUtxo</a> ∷ <a href=\"../microlens/Lens-Micro-Type.html#t:Lens-39-\" title=\"Lens.Micro.Type\">Lens'</a> <a href=\"Byron-Spec-Chain-STS-Block.html#t:BlockBody\" title=\"Byron.Spec.Chain.STS.Block\">BlockBody</a> [<a href=\"../byron-spec-ledger/Byron-Spec-Ledger-UTxO.html#t:Tx\" title=\"Byron.Spec.Ledger.UTxO\">Tx</a>]","name":"bUtxo","module":"Byron.Spec.Chain.STS.Block","link":"Byron-Spec-Chain-STS-Block.html#v:bUtxo"},{"display_html":"<a href=\"#v:bUpdVotes\">bUpdVotes</a> ∷ <a href=\"../microlens/Lens-Micro-Type.html#t:Lens-39-\" title=\"Lens.Micro.Type\">Lens'</a> <a href=\"Byron-Spec-Chain-STS-Block.html#t:BlockBody\" title=\"Byron.Spec.Chain.STS.Block\">BlockBody</a> [<a href=\"../byron-spec-ledger/Byron-Spec-Ledger-Update.html#t:Vote\" title=\"Byron.Spec.Ledger.Update\">Vote</a>]","name":"bUpdVotes","module":"Byron.Spec.Chain.STS.Block","link":"Byron-Spec-Chain-STS-Block.html#v:bUpdVotes"},{"display_html":"<a href=\"#v:bUpdProp\">bUpdProp</a> ∷ <a href=\"../microlens/Lens-Micro-Type.html#t:Lens-39-\" title=\"Lens.Micro.Type\">Lens'</a> <a href=\"Byron-Spec-Chain-STS-Block.html#t:BlockBody\" title=\"Byron.Spec.Chain.STS.Block\">BlockBody</a> (<a href=\"../base/Data-Maybe.html#t:Maybe\" title=\"Data.Maybe\">Maybe</a> <a href=\"../byron-spec-ledger/Byron-Spec-Ledger-Update.html#t:UProp\" title=\"Byron.Spec.Ledger.Update\">UProp</a>)","name":"bUpdProp","module":"Byron.Spec.Chain.STS.Block","link":"Byron-Spec-Chain-STS-Block.html#v:bUpdProp"},{"display_html":"<a href=\"#v:bProtVer\">bProtVer</a> ∷ <a href=\"../microlens/Lens-Micro-Type.html#t:Lens-39-\" title=\"Lens.Micro.Type\">Lens'</a> <a href=\"Byron-Spec-Chain-STS-Block.html#t:BlockBody\" title=\"Byron.Spec.Chain.STS.Block\">BlockBody</a> <a href=\"../byron-spec-ledger/Byron-Spec-Ledger-Update.html#t:ProtVer\" title=\"Byron.Spec.Ledger.Update\">ProtVer</a>","name":"bProtVer","module":"Byron.Spec.Chain.STS.Block","link":"Byron-Spec-Chain-STS-Block.html#v:bProtVer"},{"display_html":"<a href=\"#v:bDCerts\">bDCerts</a> ∷ <a href=\"../microlens/Lens-Micro-Type.html#t:Lens-39-\" title=\"Lens.Micro.Type\">Lens'</a> <a href=\"Byron-Spec-Chain-STS-Block.html#t:BlockBody\" title=\"Byron.Spec.Chain.STS.Block\">BlockBody</a> [<a href=\"../byron-spec-ledger/Byron-Spec-Ledger-Delegation.html#t:DCert\" title=\"Byron.Spec.Ledger.Delegation\">DCert</a>]","name":"bDCerts","module":"Byron.Spec.Chain.STS.Block","link":"Byron-Spec-Chain-STS-Block.html#v:bDCerts"},{"display_html":"<span class=\"keyword\">data</span> <a href=\"#t:Block\">Block</a> = <a href=\"#v:Block\">Block</a> {<ul class=\"subs\"><li><a href=\"#v:_bHeader\">_bHeader</a> ∷ <a href=\"Byron-Spec-Chain-STS-Block.html#t:BlockHeader\" title=\"Byron.Spec.Chain.STS.Block\">BlockHeader</a></li><li><a href=\"#v:_bBody\">_bBody</a> ∷ <a href=\"Byron-Spec-Chain-STS-Block.html#t:BlockBody\" title=\"Byron.Spec.Chain.STS.Block\">BlockBody</a></li></ul>}","name":"Block _bBody _bHeader Block","module":"Byron.Spec.Chain.STS.Block","link":"Byron-Spec-Chain-STS-Block.html#t:Block"},{"display_html":"<a href=\"#v:bHeader\">bHeader</a> ∷ <a href=\"../microlens/Lens-Micro-Type.html#t:Lens-39-\" title=\"Lens.Micro.Type\">Lens'</a> <a href=\"Byron-Spec-Chain-STS-Block.html#t:Block\" title=\"Byron.Spec.Chain.STS.Block\">Block</a> <a href=\"Byron-Spec-Chain-STS-Block.html#t:BlockHeader\" title=\"Byron.Spec.Chain.STS.Block\">BlockHeader</a>","name":"bHeader","module":"Byron.Spec.Chain.STS.Block","link":"Byron-Spec-Chain-STS-Block.html#v:bHeader"},{"display_html":"<a href=\"#v:bBody\">bBody</a> ∷ <a href=\"../microlens/Lens-Micro-Type.html#t:Lens-39-\" title=\"Lens.Micro.Type\">Lens'</a> <a href=\"Byron-Spec-Chain-STS-Block.html#t:Block\" title=\"Byron.Spec.Chain.STS.Block\">Block</a> <a href=\"Byron-Spec-Chain-STS-Block.html#t:BlockBody\" title=\"Byron.Spec.Chain.STS.Block\">BlockBody</a>","name":"bBody","module":"Byron.Spec.Chain.STS.Block","link":"Byron-Spec-Chain-STS-Block.html#v:bBody"},{"display_html":"<a href=\"#v:mkBlock\">mkBlock</a> ∷ <a href=\"../byron-spec-ledger/Byron-Spec-Ledger-Core.html#t:Hash\" title=\"Byron.Spec.Ledger.Core\">Hash</a> → <a href=\"../byron-spec-ledger/Byron-Spec-Ledger-Core.html#t:Slot\" title=\"Byron.Spec.Ledger.Core\">Slot</a> → <a href=\"../byron-spec-ledger/Byron-Spec-Ledger-Core.html#t:VKey\" title=\"Byron.Spec.Ledger.Core\">VKey</a> → <a href=\"../byron-spec-ledger/Byron-Spec-Ledger-Update.html#t:ProtVer\" title=\"Byron.Spec.Ledger.Update\">ProtVer</a> → [<a href=\"../byron-spec-ledger/Byron-Spec-Ledger-Delegation.html#t:DCert\" title=\"Byron.Spec.Ledger.Delegation\">DCert</a>] → <a href=\"../base/Data-Maybe.html#t:Maybe\" title=\"Data.Maybe\">Maybe</a> <a href=\"../byron-spec-ledger/Byron-Spec-Ledger-Update.html#t:UProp\" title=\"Byron.Spec.Ledger.Update\">UProp</a> → [<a href=\"../byron-spec-ledger/Byron-Spec-Ledger-Update.html#t:Vote\" title=\"Byron.Spec.Ledger.Update\">Vote</a>] → [<a href=\"../byron-spec-ledger/Byron-Spec-Ledger-UTxO.html#t:Tx\" title=\"Byron.Spec.Ledger.UTxO\">Tx</a>] → <a href=\"Byron-Spec-Chain-STS-Block.html#t:Block\" title=\"Byron.Spec.Chain.STS.Block\">Block</a>","name":"mkBlock","module":"Byron.Spec.Chain.STS.Block","link":"Byron-Spec-Chain-STS-Block.html#v:mkBlock"},{"display_html":"<a href=\"#v:genesisHash\">genesisHash</a> ∷ <a href=\"../byron-spec-ledger/Byron-Spec-Ledger-Core.html#t:Hash\" title=\"Byron.Spec.Ledger.Core\">Hash</a>","name":"genesisHash","module":"Byron.Spec.Chain.STS.Block","link":"Byron-Spec-Chain-STS-Block.html#v:genesisHash"},{"display_html":"<a href=\"#v:bEndorsment\">bEndorsment</a> ∷ <a href=\"Byron-Spec-Chain-STS-Block.html#t:Block\" title=\"Byron.Spec.Chain.STS.Block\">Block</a> → (<a href=\"../byron-spec-ledger/Byron-Spec-Ledger-Update.html#t:ProtVer\" title=\"Byron.Spec.Ledger.Update\">ProtVer</a>, <a href=\"../byron-spec-ledger/Byron-Spec-Ledger-Core.html#t:VKey\" title=\"Byron.Spec.Ledger.Core\">VKey</a>)","name":"bEndorsment","module":"Byron.Spec.Chain.STS.Block","link":"Byron-Spec-Chain-STS-Block.html#v:bEndorsment"},{"display_html":"<a href=\"#v:bSlot\">bSlot</a> ∷ <a href=\"Byron-Spec-Chain-STS-Block.html#t:Block\" title=\"Byron.Spec.Chain.STS.Block\">Block</a> → <a href=\"../byron-spec-ledger/Byron-Spec-Ledger-Core.html#t:Slot\" title=\"Byron.Spec.Ledger.Core\">Slot</a>","name":"bSlot","module":"Byron.Spec.Chain.STS.Block","link":"Byron-Spec-Chain-STS-Block.html#v:bSlot"},{"display_html":"<a href=\"#v:bUpdPayload\">bUpdPayload</a> ∷ <a href=\"Byron-Spec-Chain-STS-Block.html#t:Block\" title=\"Byron.Spec.Chain.STS.Block\">Block</a> → (<a href=\"../base/Data-Maybe.html#t:Maybe\" title=\"Data.Maybe\">Maybe</a> <a href=\"../byron-spec-ledger/Byron-Spec-Ledger-Update.html#t:UProp\" title=\"Byron.Spec.Ledger.Update\">UProp</a>, [<a href=\"../byron-spec-ledger/Byron-Spec-Ledger-Update.html#t:Vote\" title=\"Byron.Spec.Ledger.Update\">Vote</a>])","name":"bUpdPayload","module":"Byron.Spec.Chain.STS.Block","link":"Byron-Spec-Chain-STS-Block.html#v:bUpdPayload"},{"display_html":"<a href=\"#v:bSize\">bSize</a> ∷ <a href=\"Byron-Spec-Chain-STS-Block.html#t:Block\" title=\"Byron.Spec.Chain.STS.Block\">Block</a> → <a href=\"../base/Numeric-Natural.html#t:Natural\" title=\"Numeric.Natural\">Natural</a>","name":"bSize","module":"Byron.Spec.Chain.STS.Block","link":"Byron-Spec-Chain-STS-Block.html#v:bSize"},{"display_html":"<a href=\"#v:bBodySize\">bBodySize</a> ∷ <a href=\"Byron-Spec-Chain-STS-Block.html#t:BlockBody\" title=\"Byron.Spec.Chain.STS.Block\">BlockBody</a> → <a href=\"../base/Numeric-Natural.html#t:Natural\" title=\"Numeric.Natural\">Natural</a>","name":"bBodySize","module":"Byron.Spec.Chain.STS.Block","link":"Byron-Spec-Chain-STS-Block.html#v:bBodySize"},{"display_html":"<a href=\"#v:bHeaderSize\">bHeaderSize</a> ∷ <a href=\"Byron-Spec-Chain-STS-Block.html#t:BlockHeader\" title=\"Byron.Spec.Chain.STS.Block\">BlockHeader</a> → <a href=\"../base/Numeric-Natural.html#t:Natural\" title=\"Numeric.Natural\">Natural</a>","name":"bHeaderSize","module":"Byron.Spec.Chain.STS.Block","link":"Byron-Spec-Chain-STS-Block.html#v:bHeaderSize"},{"display_html":"<a href=\"#v:hashHeader\">hashHeader</a> ∷ <a href=\"Byron-Spec-Chain-STS-Block.html#t:BlockHeader\" title=\"Byron.Spec.Chain.STS.Block\">BlockHeader</a> → <a href=\"../byron-spec-ledger/Byron-Spec-Ledger-Core.html#t:Hash\" title=\"Byron.Spec.Ledger.Core\">Hash</a>","name":"hashHeader","module":"Byron.Spec.Chain.STS.Block","link":"Byron-Spec-Chain-STS-Block.html#v:hashHeader"},{"display_html":"<a href=\"#v:bhToSign\">bhToSign</a> ∷ <a href=\"Byron-Spec-Chain-STS-Block.html#t:BlockHeader\" title=\"Byron.Spec.Chain.STS.Block\">BlockHeader</a> → <a href=\"../byron-spec-ledger/Byron-Spec-Ledger-Core.html#t:Hash\" title=\"Byron.Spec.Ledger.Core\">Hash</a>","name":"bhToSign","module":"Byron.Spec.Chain.STS.Block","link":"Byron-Spec-Chain-STS-Block.html#v:bhToSign"},{"display_html":"<a href=\"#v:bhHash\">bhHash</a> ∷ <a href=\"Byron-Spec-Chain-STS-Block.html#t:BlockHeader\" title=\"Byron.Spec.Chain.STS.Block\">BlockHeader</a> → <a href=\"../byron-spec-ledger/Byron-Spec-Ledger-Core.html#t:Hash\" title=\"Byron.Spec.Ledger.Core\">Hash</a>","name":"bhHash","module":"Byron.Spec.Chain.STS.Block","link":"Byron-Spec-Chain-STS-Block.html#v:bhHash"},{"display_html":"<a href=\"#v:bIsEBB\">bIsEBB</a> ∷ <a href=\"Byron-Spec-Chain-STS-Block.html#t:Block\" title=\"Byron.Spec.Chain.STS.Block\">Block</a> → <a href=\"../base/Data-Bool.html#t:Bool\" title=\"Data.Bool\">Bool</a>","name":"bIsEBB","module":"Byron.Spec.Chain.STS.Block","link":"Byron-Spec-Chain-STS-Block.html#v:bIsEBB"},{"display_html":"<a href=\"#v:updateBody\">updateBody</a> ∷ <a href=\"Byron-Spec-Chain-STS-Block.html#t:Block\" title=\"Byron.Spec.Chain.STS.Block\">Block</a> → (<a href=\"Byron-Spec-Chain-STS-Block.html#t:BlockBody\" title=\"Byron.Spec.Chain.STS.Block\">BlockBody</a> → <a href=\"Byron-Spec-Chain-STS-Block.html#t:BlockBody\" title=\"Byron.Spec.Chain.STS.Block\">BlockBody</a>) → <a href=\"Byron-Spec-Chain-STS-Block.html#t:Block\" title=\"Byron.Spec.Chain.STS.Block\">Block</a>","name":"updateBody","module":"Byron.Spec.Chain.STS.Block","link":"Byron-Spec-Chain-STS-Block.html#v:updateBody"},{"display_html":"<span class=\"keyword\">data</span> <a href=\"#t:BlockStats\">BlockStats</a> = <a href=\"#v:BlockStats\">BlockStats</a> {<ul class=\"subs\"><li><a href=\"#v:blockStatsUtxo\">blockStatsUtxo</a> ∷ <a href=\"../base/Data-Word.html#t:Word\" title=\"Data.Word\">Word</a></li><li><a href=\"#v:blockStatsDCerts\">blockStatsDCerts</a> ∷ <a href=\"../base/Data-Word.html#t:Word\" title=\"Data.Word\">Word</a></li><li><a href=\"#v:blockStatsUpdVotes\">blockStatsUpdVotes</a> ∷ <a href=\"../base/Data-Word.html#t:Word\" title=\"Data.Word\">Word</a></li><li><a href=\"#v:blockStatsUpdProp\">blockStatsUpdProp</a> ∷ <a href=\"../base/Data-Word.html#t:Word\" title=\"Data.Word\">Word</a></li></ul>}","name":"BlockStats blockStatsUpdProp blockStatsUpdVotes blockStatsDCerts blockStatsUtxo BlockStats","module":"Byron.Spec.Chain.STS.Block","link":"Byron-Spec-Chain-STS-Block.html#t:BlockStats"},{"display_html":"<a href=\"#v:blockStats\">blockStats</a> ∷ <a href=\"Byron-Spec-Chain-STS-Block.html#t:Block\" title=\"Byron.Spec.Chain.STS.Block\">Block</a> → <a href=\"Byron-Spec-Chain-STS-Block.html#t:BlockStats\" title=\"Byron.Spec.Chain.STS.Block\">BlockStats</a>","name":"blockStats","module":"Byron.Spec.Chain.STS.Block","link":"Byron-Spec-Chain-STS-Block.html#v:blockStats"},{"display_html":"<a href=\"#v:chainBlockStats\">chainBlockStats</a> ∷ [<a href=\"Byron-Spec-Chain-STS-Block.html#t:BlockStats\" title=\"Byron.Spec.Chain.STS.Block\">BlockStats</a>] → <a href=\"../base/Data-Maybe.html#t:Maybe\" title=\"Data.Maybe\">Maybe</a> (<a href=\"Byron-Spec-Chain-STS-Block.html#t:BlockStats\" title=\"Byron.Spec.Chain.STS.Block\">BlockStats</a>, <a href=\"Byron-Spec-Chain-STS-Block.html#t:BlockStats\" title=\"Byron.Spec.Chain.STS.Block\">BlockStats</a>, <a href=\"Byron-Spec-Chain-STS-Block.html#t:BlockStats\" title=\"Byron.Spec.Chain.STS.Block\">BlockStats</a>)","name":"chainBlockStats","module":"Byron.Spec.Chain.STS.Block","link":"Byron-Spec-Chain-STS-Block.html#v:chainBlockStats"},{"display_html":"<span class=\"keyword\">type</span> <a href=\"#t:UpdatePayload\">UpdatePayload</a> = (<a href=\"../base/Data-Maybe.html#t:Maybe\" title=\"Data.Maybe\">Maybe</a> <a href=\"../byron-spec-ledger/Byron-Spec-Ledger-Update.html#t:UProp\" title=\"Byron.Spec.Ledger.Update\">UProp</a>, [<a href=\"../byron-spec-ledger/Byron-Spec-Ledger-Update.html#t:Vote\" title=\"Byron.Spec.Ledger.Update\">Vote</a>], (<a href=\"../byron-spec-ledger/Byron-Spec-Ledger-Update.html#t:ProtVer\" title=\"Byron.Spec.Ledger.Update\">ProtVer</a>, <a href=\"../byron-spec-ledger/Byron-Spec-Ledger-Core.html#t:VKey\" title=\"Byron.Spec.Ledger.Core\">VKey</a>))","name":"UpdatePayload","module":"Byron.Spec.Chain.STS.Rule.Bupi","link":"Byron-Spec-Chain-STS-Rule-Bupi.html#t:UpdatePayload"},{"display_html":"<span class=\"keyword\">data</span> <a href=\"#t:BUPI\">BUPI</a>","name":"BUPI","module":"Byron.Spec.Chain.STS.Rule.Bupi","link":"Byron-Spec-Chain-STS-Rule-Bupi.html#t:BUPI"},{"display_html":"<span class=\"keyword\">data</span> <a href=\"#t:BupiPredicateFailure\">BupiPredicateFailure</a><ul class=\"subs\"><li>= <a href=\"#v:UPIREGFailure\">UPIREGFailure</a> (<a href=\"../byron-spec-ledger/Byron-Spec-Ledger-Update.html#t:PredicateFailure\" title=\"Byron.Spec.Ledger.Update\">PredicateFailure</a> <a href=\"../byron-spec-ledger/Byron-Spec-Ledger-Update.html#t:UPIREG\" title=\"Byron.Spec.Ledger.Update\">UPIREG</a>)</li><li>| <a href=\"#v:UPIVOTESFailure\">UPIVOTESFailure</a> (<a href=\"../byron-spec-ledger/Byron-Spec-Ledger-Update.html#t:PredicateFailure\" title=\"Byron.Spec.Ledger.Update\">PredicateFailure</a> <a href=\"../byron-spec-ledger/Byron-Spec-Ledger-Update.html#t:UPIVOTES\" title=\"Byron.Spec.Ledger.Update\">UPIVOTES</a>)</li><li>| <a href=\"#v:UPIENDFailure\">UPIENDFailure</a> (<a href=\"../byron-spec-ledger/Byron-Spec-Ledger-Update.html#t:PredicateFailure\" title=\"Byron.Spec.Ledger.Update\">PredicateFailure</a> <a href=\"../byron-spec-ledger/Byron-Spec-Ledger-Update.html#t:UPIEND\" title=\"Byron.Spec.Ledger.Update\">UPIEND</a>)</li></ul>","name":"BupiPredicateFailure UPIENDFailure UPIVOTESFailure UPIREGFailure","module":"Byron.Spec.Chain.STS.Rule.Bupi","link":"Byron-Spec-Chain-STS-Rule-Bupi.html#t:BupiPredicateFailure"},{"display_html":"<span class=\"keyword\">data</span> <a href=\"#t:BBODY\">BBODY</a>","name":"BBODY","module":"Byron.Spec.Chain.STS.Rule.BBody","link":"Byron-Spec-Chain-STS-Rule-BBody.html#t:BBODY"},{"display_html":"<span class=\"keyword\">data</span> <a href=\"#t:BbodyPredicateFailure\">BbodyPredicateFailure</a><ul class=\"subs\"><li>= <a href=\"#v:InvalidBlockSize\">InvalidBlockSize</a></li><li>| <a href=\"#v:InvalidUtxoHash\">InvalidUtxoHash</a></li><li>| <a href=\"#v:InvalidDelegationHash\">InvalidDelegationHash</a></li><li>| <a href=\"#v:InvalidUpdateProposalHash\">InvalidUpdateProposalHash</a></li><li>| <a href=\"#v:BUPIFailure\">BUPIFailure</a> (<a href=\"../byron-spec-ledger/Byron-Spec-Ledger-Update.html#t:PredicateFailure\" title=\"Byron.Spec.Ledger.Update\">PredicateFailure</a> <a href=\"Byron-Spec-Chain-STS-Rule-Bupi.html#t:BUPI\" title=\"Byron.Spec.Chain.STS.Rule.Bupi\">BUPI</a>)</li><li>| <a href=\"#v:DelegationFailure\">DelegationFailure</a> (<a href=\"../byron-spec-ledger/Byron-Spec-Ledger-Update.html#t:PredicateFailure\" title=\"Byron.Spec.Ledger.Update\">PredicateFailure</a> <a href=\"../byron-spec-ledger/Byron-Spec-Ledger-Delegation.html#t:DELEG\" title=\"Byron.Spec.Ledger.Delegation\">DELEG</a>)</li><li>| <a href=\"#v:UTXOWSFailure\">UTXOWSFailure</a> (<a href=\"../byron-spec-ledger/Byron-Spec-Ledger-Update.html#t:PredicateFailure\" title=\"Byron.Spec.Ledger.Update\">PredicateFailure</a> <a href=\"../byron-spec-ledger/Byron-Spec-Ledger-STS-UTXOWS.html#t:UTXOWS\" title=\"Byron.Spec.Ledger.STS.UTXOWS\">UTXOWS</a>)</li></ul>","name":"BbodyPredicateFailure UTXOWSFailure DelegationFailure BUPIFailure InvalidUpdateProposalHash InvalidDelegationHash InvalidUtxoHash InvalidBlockSize","module":"Byron.Spec.Chain.STS.Rule.BBody","link":"Byron-Spec-Chain-STS-Rule-BBody.html#t:BbodyPredicateFailure"},{"display_html":"<a href=\"#v:sEpoch\">sEpoch</a> ∷ <a href=\"../base/GHC-Stack.html#t:HasCallStack\" title=\"GHC.Stack\">HasCallStack</a> ⇒ <a href=\"../byron-spec-ledger/Byron-Spec-Ledger-Core.html#t:Slot\" title=\"Byron.Spec.Ledger.Core\">Slot</a> → <a href=\"../byron-spec-ledger/Byron-Spec-Ledger-Core.html#t:BlockCount\" title=\"Byron.Spec.Ledger.Core\">BlockCount</a> → <a href=\"../byron-spec-ledger/Byron-Spec-Ledger-Core.html#t:Epoch\" title=\"Byron.Spec.Ledger.Core\">Epoch</a>","name":"sEpoch","module":"Byron.Spec.Chain.STS.Rule.Epoch","link":"Byron-Spec-Chain-STS-Rule-Epoch.html#v:sEpoch"},{"display_html":"<span class=\"keyword\">data</span> <a href=\"#t:EPOCH\">EPOCH</a>","name":"EPOCH","module":"Byron.Spec.Chain.STS.Rule.Epoch","link":"Byron-Spec-Chain-STS-Rule-Epoch.html#t:EPOCH"},{"display_html":"<span class=\"keyword\">data</span> <a href=\"#t:EpochPredicateFailure\">EpochPredicateFailure</a> = <a href=\"#v:UPIECFailure\">UPIECFailure</a> (<a href=\"../byron-spec-ledger/Byron-Spec-Ledger-Update.html#t:PredicateFailure\" title=\"Byron.Spec.Ledger.Update\">PredicateFailure</a> <a href=\"../byron-spec-ledger/Byron-Spec-Ledger-Update.html#t:UPIEC\" title=\"Byron.Spec.Ledger.Update\">UPIEC</a>)","name":"EpochPredicateFailure UPIECFailure","module":"Byron.Spec.Chain.STS.Rule.Epoch","link":"Byron-Spec-Chain-STS-Rule-Epoch.html#t:EpochPredicateFailure"},{"display_html":"<span class=\"keyword\">data</span> <a href=\"#t:SIGCNT\">SIGCNT</a>","name":"SIGCNT","module":"Byron.Spec.Chain.STS.Rule.SigCnt","link":"Byron-Spec-Chain-STS-Rule-SigCnt.html#t:SIGCNT"},{"display_html":"<span class=\"keyword\">data</span> <a href=\"#t:SigcntPredicateFailure\">SigcntPredicateFailure</a><ul class=\"subs\"><li>= <a href=\"#v:TooManyIssuedBlocks\">TooManyIssuedBlocks</a> <a href=\"../byron-spec-ledger/Byron-Spec-Ledger-Core.html#t:VKeyGenesis\" title=\"Byron.Spec.Ledger.Core\">VKeyGenesis</a></li><li>| <a href=\"#v:NotADelegate\">NotADelegate</a></li></ul>","name":"SigcntPredicateFailure TooManyIssuedBlocks NotADelegate","module":"Byron.Spec.Chain.STS.Rule.SigCnt","link":"Byron-Spec-Chain-STS-Rule-SigCnt.html#t:SigcntPredicateFailure"},{"display_html":"<a href=\"#v:issuer\">issuer</a> ∷ <a href=\"../small-steps/Control-State-Transition-Extended.html#t:Environment\" title=\"Control.State.Transition.Extended\">Environment</a> <a href=\"Byron-Spec-Chain-STS-Rule-SigCnt.html#t:SIGCNT\" title=\"Byron.Spec.Chain.STS.Rule.SigCnt\">SIGCNT</a> → <a href=\"../small-steps/Control-State-Transition-Extended.html#t:State\" title=\"Control.State.Transition.Extended\">State</a> <a href=\"Byron-Spec-Chain-STS-Rule-SigCnt.html#t:SIGCNT\" title=\"Byron.Spec.Chain.STS.Rule.SigCnt\">SIGCNT</a> → <a href=\"../hedgehog/Hedgehog.html#t:Gen\" title=\"Hedgehog\">Gen</a> <a href=\"../byron-spec-ledger/Byron-Spec-Ledger-Core.html#t:VKey\" title=\"Byron.Spec.Ledger.Core\">VKey</a>","name":"issuer","module":"Byron.Spec.Chain.STS.Rule.SigCnt","link":"Byron-Spec-Chain-STS-Rule-SigCnt.html#v:issuer"},{"display_html":"<a href=\"#v:sigCntT\">sigCntT</a> ∷ <a href=\"../byron-spec-ledger/Byron-Spec-Ledger-Core.html#t:BlockCount\" title=\"Byron.Spec.Ledger.Core\">BlockCount</a> → <a href=\"../base/Data-Word.html#t:Word8\" title=\"Data.Word\">Word8</a> → <a href=\"../hedgehog/Hedgehog.html#t:Gen\" title=\"Hedgehog\">Gen</a> <a href=\"../base/Prelude.html#t:Double\" title=\"Prelude\">Double</a>","name":"sigCntT","module":"Byron.Spec.Chain.STS.Rule.SigCnt","link":"Byron-Spec-Chain-STS-Rule-SigCnt.html#v:sigCntT"},{"display_html":"<span class=\"keyword\">data</span> <a href=\"#t:PBFT\">PBFT</a>","name":"PBFT","module":"Byron.Spec.Chain.STS.Rule.Pbft","link":"Byron-Spec-Chain-STS-Rule-Pbft.html#t:PBFT"},{"display_html":"<span class=\"keyword\">data</span> <a href=\"#t:PbftPredicateFailure\">PbftPredicateFailure</a><ul class=\"subs\"><li>= <a href=\"#v:SlotNotAfterLastBlock\">SlotNotAfterLastBlock</a> <a href=\"../byron-spec-ledger/Byron-Spec-Ledger-Core.html#t:Slot\" title=\"Byron.Spec.Ledger.Core\">Slot</a> <a href=\"../byron-spec-ledger/Byron-Spec-Ledger-Core.html#t:Slot\" title=\"Byron.Spec.Ledger.Core\">Slot</a></li><li>| <a href=\"#v:SlotInTheFuture\">SlotInTheFuture</a> <a href=\"../byron-spec-ledger/Byron-Spec-Ledger-Core.html#t:Slot\" title=\"Byron.Spec.Ledger.Core\">Slot</a> <a href=\"../byron-spec-ledger/Byron-Spec-Ledger-Core.html#t:Slot\" title=\"Byron.Spec.Ledger.Core\">Slot</a></li><li>| <a href=\"#v:PrevHashNotMatching\">PrevHashNotMatching</a> <a href=\"../byron-spec-ledger/Byron-Spec-Ledger-Core.html#t:Hash\" title=\"Byron.Spec.Ledger.Core\">Hash</a> <a href=\"../byron-spec-ledger/Byron-Spec-Ledger-Core.html#t:Hash\" title=\"Byron.Spec.Ledger.Core\">Hash</a></li><li>| <a href=\"#v:InvalidHeaderSignature\">InvalidHeaderSignature</a> <a href=\"../byron-spec-ledger/Byron-Spec-Ledger-Core.html#t:VKey\" title=\"Byron.Spec.Ledger.Core\">VKey</a> (<a href=\"../byron-spec-ledger/Byron-Spec-Ledger-Core.html#t:Sig\" title=\"Byron.Spec.Ledger.Core\">Sig</a> <a href=\"../byron-spec-ledger/Byron-Spec-Ledger-Core.html#t:Hash\" title=\"Byron.Spec.Ledger.Core\">Hash</a>)</li><li>| <a href=\"#v:SigCountFailure\">SigCountFailure</a> (<a href=\"../byron-spec-ledger/Byron-Spec-Ledger-Update.html#t:PredicateFailure\" title=\"Byron.Spec.Ledger.Update\">PredicateFailure</a> <a href=\"Byron-Spec-Chain-STS-Rule-SigCnt.html#t:SIGCNT\" title=\"Byron.Spec.Chain.STS.Rule.SigCnt\">SIGCNT</a>)</li></ul>","name":"PbftPredicateFailure SigCountFailure InvalidHeaderSignature PrevHashNotMatching SlotInTheFuture SlotNotAfterLastBlock","module":"Byron.Spec.Chain.STS.Rule.Pbft","link":"Byron-Spec-Chain-STS-Rule-Pbft.html#t:PbftPredicateFailure"},{"display_html":"<span class=\"keyword\">data</span> <a href=\"#t:CHAIN\">CHAIN</a>","name":"CHAIN","module":"Byron.Spec.Chain.STS.Rule.Chain","link":"Byron-Spec-Chain-STS-Rule-Chain.html#t:CHAIN"},{"display_html":"<span class=\"keyword\">data</span> <a href=\"#t:ChainPredicateFailure\">ChainPredicateFailure</a><ul class=\"subs\"><li>= <a href=\"#v:EpochFailure\">EpochFailure</a> (<a href=\"../byron-spec-ledger/Byron-Spec-Ledger-Update.html#t:PredicateFailure\" title=\"Byron.Spec.Ledger.Update\">PredicateFailure</a> <a href=\"Byron-Spec-Chain-STS-Rule-Epoch.html#t:EPOCH\" title=\"Byron.Spec.Chain.STS.Rule.Epoch\">EPOCH</a>)</li><li>| <a href=\"#v:HeaderSizeTooBig\">HeaderSizeTooBig</a> <a href=\"Byron-Spec-Chain-STS-Block.html#t:BlockHeader\" title=\"Byron.Spec.Chain.STS.Block\">BlockHeader</a> <a href=\"../base/Numeric-Natural.html#t:Natural\" title=\"Numeric.Natural\">Natural</a> (<a href=\"../small-steps/Control-State-Transition-Extended.html#t:Threshold\" title=\"Control.State.Transition.Extended\">Threshold</a> <a href=\"../base/Numeric-Natural.html#t:Natural\" title=\"Numeric.Natural\">Natural</a>)</li><li>| <a href=\"#v:BBodyFailure\">BBodyFailure</a> (<a href=\"../byron-spec-ledger/Byron-Spec-Ledger-Update.html#t:PredicateFailure\" title=\"Byron.Spec.Ledger.Update\">PredicateFailure</a> <a href=\"Byron-Spec-Chain-STS-Rule-BBody.html#t:BBODY\" title=\"Byron.Spec.Chain.STS.Rule.BBody\">BBODY</a>)</li><li>| <a href=\"#v:PBFTFailure\">PBFTFailure</a> (<a href=\"../byron-spec-ledger/Byron-Spec-Ledger-Update.html#t:PredicateFailure\" title=\"Byron.Spec.Ledger.Update\">PredicateFailure</a> <a href=\"Byron-Spec-Chain-STS-Rule-Pbft.html#t:PBFT\" title=\"Byron.Spec.Chain.STS.Rule.Pbft\">PBFT</a>)</li><li>| <a href=\"#v:MaximumBlockSize\">MaximumBlockSize</a> <a href=\"../base/Numeric-Natural.html#t:Natural\" title=\"Numeric.Natural\">Natural</a> <a href=\"../base/Numeric-Natural.html#t:Natural\" title=\"Numeric.Natural\">Natural</a></li><li>| <a href=\"#v:LedgerDelegationFailure\">LedgerDelegationFailure</a> (<a href=\"../byron-spec-ledger/Byron-Spec-Ledger-Update.html#t:PredicateFailure\" title=\"Byron.Spec.Ledger.Update\">PredicateFailure</a> <a href=\"../byron-spec-ledger/Byron-Spec-Ledger-Delegation.html#t:DELEG\" title=\"Byron.Spec.Ledger.Delegation\">DELEG</a>)</li><li>| <a href=\"#v:LedgerUTxOFailure\">LedgerUTxOFailure</a> (<a href=\"../byron-spec-ledger/Byron-Spec-Ledger-Update.html#t:PredicateFailure\" title=\"Byron.Spec.Ledger.Update\">PredicateFailure</a> <a href=\"../byron-spec-ledger/Byron-Spec-Ledger-STS-UTXOWS.html#t:UTXOWS\" title=\"Byron.Spec.Ledger.STS.UTXOWS\">UTXOWS</a>)</li></ul>","name":"ChainPredicateFailure LedgerUTxOFailure LedgerDelegationFailure MaximumBlockSize PBFTFailure BBodyFailure HeaderSizeTooBig EpochFailure","module":"Byron.Spec.Chain.STS.Rule.Chain","link":"Byron-Spec-Chain-STS-Rule-Chain.html#t:ChainPredicateFailure"},{"display_html":"<a href=\"#v:isHeaderSizeTooBigFailure\">isHeaderSizeTooBigFailure</a> ∷ <a href=\"../byron-spec-ledger/Byron-Spec-Ledger-Update.html#t:PredicateFailure\" title=\"Byron.Spec.Ledger.Update\">PredicateFailure</a> <a href=\"Byron-Spec-Chain-STS-Rule-Chain.html#t:CHAIN\" title=\"Byron.Spec.Chain.STS.Rule.Chain\">CHAIN</a> → <a href=\"../base/Data-Bool.html#t:Bool\" title=\"Data.Bool\">Bool</a>","name":"isHeaderSizeTooBigFailure","module":"Byron.Spec.Chain.STS.Rule.Chain","link":"Byron-Spec-Chain-STS-Rule-Chain.html#v:isHeaderSizeTooBigFailure"},{"display_html":"<a href=\"#v:headerIsValid\">headerIsValid</a> ∷ <a href=\"../byron-spec-ledger/Byron-Spec-Ledger-Update.html#t:UPIState\" title=\"Byron.Spec.Ledger.Update\">UPIState</a> → <a href=\"Byron-Spec-Chain-STS-Block.html#t:BlockHeader\" title=\"Byron.Spec.Chain.STS.Block\">BlockHeader</a> → <a href=\"../small-steps/Control-State-Transition-Extended.html#t:Rule\" title=\"Control.State.Transition.Extended\">Rule</a> <a href=\"Byron-Spec-Chain-STS-Rule-Chain.html#t:CHAIN\" title=\"Byron.Spec.Chain.STS.Rule.Chain\">CHAIN</a> '<a href=\"../small-steps/Control-State-Transition-Extended.html#v:Transition\" title=\"Control.State.Transition.Extended\">Transition</a> ()","name":"headerIsValid","module":"Byron.Spec.Chain.STS.Rule.Chain","link":"Byron-Spec-Chain-STS-Rule-Chain.html#v:headerIsValid"},{"display_html":"<a href=\"#v:disL\">disL</a> ∷ <a href=\"../microlens/Lens-Micro-Type.html#t:Lens-39-\" title=\"Lens.Micro.Type\">Lens'</a> (<a href=\"../small-steps/Control-State-Transition-Extended.html#t:State\" title=\"Control.State.Transition.Extended\">State</a> <a href=\"Byron-Spec-Chain-STS-Rule-Chain.html#t:CHAIN\" title=\"Byron.Spec.Chain.STS.Rule.Chain\">CHAIN</a>) <a href=\"../byron-spec-ledger/Byron-Spec-Ledger-Delegation.html#t:DIState\" title=\"Byron.Spec.Ledger.Delegation\">DIState</a>","name":"disL","module":"Byron.Spec.Chain.STS.Rule.Chain","link":"Byron-Spec-Chain-STS-Rule-Chain.html#v:disL"},{"display_html":"<span class=\"keyword\">data</span> <a href=\"#t:ShouldGenDelegation\">ShouldGenDelegation</a><ul class=\"subs\"><li>= <a href=\"#v:GenDelegation\">GenDelegation</a></li><li>| <a href=\"#v:NoGenDelegation\">NoGenDelegation</a></li></ul>","name":"ShouldGenDelegation NoGenDelegation GenDelegation","module":"Byron.Spec.Chain.STS.Rule.Chain","link":"Byron-Spec-Chain-STS-Rule-Chain.html#t:ShouldGenDelegation"},{"display_html":"<span class=\"keyword\">data</span> <a href=\"#t:ShouldGenUTxO\">ShouldGenUTxO</a><ul class=\"subs\"><li>= <a href=\"#v:GenUTxO\">GenUTxO</a></li><li>| <a href=\"#v:NoGenUTxO\">NoGenUTxO</a></li></ul>","name":"ShouldGenUTxO NoGenUTxO GenUTxO","module":"Byron.Spec.Chain.STS.Rule.Chain","link":"Byron-Spec-Chain-STS-Rule-Chain.html#t:ShouldGenUTxO"},{"display_html":"<span class=\"keyword\">data</span> <a href=\"#t:ShouldGenUpdate\">ShouldGenUpdate</a><ul class=\"subs\"><li>= <a href=\"#v:GenUpdate\">GenUpdate</a></li><li>| <a href=\"#v:NoGenUpdate\">NoGenUpdate</a></li></ul>","name":"ShouldGenUpdate NoGenUpdate GenUpdate","module":"Byron.Spec.Chain.STS.Rule.Chain","link":"Byron-Spec-Chain-STS-Rule-Chain.html#t:ShouldGenUpdate"},{"display_html":"<a href=\"#v:sigGenChain\">sigGenChain</a> ∷ <a href=\"Byron-Spec-Chain-STS-Rule-Chain.html#t:ShouldGenDelegation\" title=\"Byron.Spec.Chain.STS.Rule.Chain\">ShouldGenDelegation</a> → <a href=\"Byron-Spec-Chain-STS-Rule-Chain.html#t:ShouldGenUTxO\" title=\"Byron.Spec.Chain.STS.Rule.Chain\">ShouldGenUTxO</a> → <a href=\"Byron-Spec-Chain-STS-Rule-Chain.html#t:ShouldGenUpdate\" title=\"Byron.Spec.Chain.STS.Rule.Chain\">ShouldGenUpdate</a> → <a href=\"../small-steps/Control-State-Transition-Extended.html#t:Environment\" title=\"Control.State.Transition.Extended\">Environment</a> <a href=\"Byron-Spec-Chain-STS-Rule-Chain.html#t:CHAIN\" title=\"Byron.Spec.Chain.STS.Rule.Chain\">CHAIN</a> → <a href=\"../small-steps/Control-State-Transition-Extended.html#t:State\" title=\"Control.State.Transition.Extended\">State</a> <a href=\"Byron-Spec-Chain-STS-Rule-Chain.html#t:CHAIN\" title=\"Byron.Spec.Chain.STS.Rule.Chain\">CHAIN</a> → <a href=\"../hedgehog/Hedgehog.html#t:Gen\" title=\"Hedgehog\">Gen</a> (<a href=\"../small-steps/Control-State-Transition-Extended.html#t:Signal\" title=\"Control.State.Transition.Extended\">Signal</a> <a href=\"Byron-Spec-Chain-STS-Rule-Chain.html#t:CHAIN\" title=\"Byron.Spec.Chain.STS.Rule.Chain\">CHAIN</a>)","name":"sigGenChain","module":"Byron.Spec.Chain.STS.Rule.Chain","link":"Byron-Spec-Chain-STS-Rule-Chain.html#v:sigGenChain"},{"display_html":"<a href=\"#v:coverInvalidBlockProofs\">coverInvalidBlockProofs</a> ∷ ∀ m a. (<a href=\"../hedgehog/Hedgehog.html#t:MonadTest\" title=\"Hedgehog\">MonadTest</a> m, <a href=\"../base/GHC-Stack.html#t:HasCallStack\" title=\"GHC.Stack\">HasCallStack</a>, <a href=\"../base/Data-Data.html#t:Data\" title=\"Data.Data\">Data</a> a) ⇒ <a href=\"../hedgehog/Hedgehog-Internal-Property.html#t:CoverPercentage\" title=\"Hedgehog.Internal.Property\">CoverPercentage</a> → a → m ()","name":"coverInvalidBlockProofs","module":"Byron.Spec.Chain.STS.Rule.Chain","link":"Byron-Spec-Chain-STS-Rule-Chain.html#v:coverInvalidBlockProofs"}]