-
Notifications
You must be signed in to change notification settings - Fork 155
/
Byron-Spec-Chain-STS-Rule-Chain.html
1 lines (1 loc) · 78.5 KB
/
Byron-Spec-Chain-STS-Rule-Chain.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 id="head" data-base-url=".."><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.STS.Rule.Chain</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="src/Byron.Spec.Chain.STS.Rule.Chain.html">Source</a></li><li><a href="index.html">Contents</a></li><li><a href="doc-index.html">Index</a></li></ul></div><div id="content"><div id="module-header"><table class="info"><tr><th>Safe Haskell</th><td>Safe-Inferred</td></tr><tr><th>Language</th><td>Haskell2010</td></tr></table><p class="caption">Byron.Spec.Chain.STS.Rule.Chain</p></div><div id="table-of-contents"><div id="contents-list"><p class="caption" onclick="window.scrollTo(0,0)">Contents</p><ul><li><a href="#section.orphans">Orphan instances</a></li></ul></div></div><div id="synopsis"><details id="syn"><summary>Synopsis</summary><ul class="details-toggle" data-details-id="syn"><li class="src short"><span class="keyword">data</span> <a href="#t:CHAIN">CHAIN</a></li><li class="src short"><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></li><li class="src short"><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></li><li class="src short"><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> ()</li><li class="src short"><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></li><li class="src short"><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></li><li class="src short"><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></li><li class="src short"><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></li><li class="src short"><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>)</li><li class="src short"><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 ()</li></ul></details></div><div id="interface"><h1>Documentation</h1><div class="top"><p class="src"><span class="keyword">data</span> <a id="t:CHAIN" class="def">CHAIN</a> <a href="src/Byron.Spec.Chain.STS.Rule.Chain.html#CHAIN" class="link">Source</a> <a href="#t:CHAIN" class="selflink">#</a></p><div class="subs instances"><h4 class="instances details-toggle-control details-toggle" data-details-id="i:CHAIN">Instances</h4><details id="i:CHAIN" open="open"><summary class="hide-when-js-enabled">Instances details</summary><table><tr><td class="src clearfix"><span class="inst-left"><span class="instance details-toggle-control details-toggle" data-details-id="i:id:CHAIN:Data:1"></span> <a href="../base/Data-Data.html#t:Data" title="Data.Data">Data</a> <a href="Byron-Spec-Chain-STS-Rule-Chain.html#t:CHAIN" title="Byron.Spec.Chain.STS.Rule.Chain">CHAIN</a></span> <a href="src/Byron.Spec.Chain.STS.Rule.Chain.html#line-49" class="link">Source</a> <a href="#t:CHAIN" class="selflink">#</a></td><td class="doc empty"> </td></tr><tr><td colspan="2"><details id="i:id:CHAIN:Data:1"><summary class="hide-when-js-enabled">Instance details</summary><p>Defined in <a href="Byron-Spec-Chain-STS-Rule-Chain.html">Byron.Spec.Chain.STS.Rule.Chain</a></p> <div class="subs methods"><p class="caption">Methods</p><p class="src"><a href="#v:gfoldl">gfoldl</a> ∷ (∀ d b. <a href="../base/Data-Data.html#t:Data" title="Data.Data">Data</a> d ⇒ c (d → b) → d → c b) → (∀ g. g → c g) → <a href="Byron-Spec-Chain-STS-Rule-Chain.html#t:CHAIN" title="Byron.Spec.Chain.STS.Rule.Chain">CHAIN</a> → c <a href="Byron-Spec-Chain-STS-Rule-Chain.html#t:CHAIN" title="Byron.Spec.Chain.STS.Rule.Chain">CHAIN</a> <a href="file:///usr/local/.ghcup/ghc/9.2.8/share/doc/ghc-9.2.8/html/libraries/base-4.16.4.0/src" class="link">Source</a> <a href="#v:gfoldl" class="selflink">#</a></p><p class="src"><a href="#v:gunfold">gunfold</a> ∷ (∀ b r. <a href="../base/Data-Data.html#t:Data" title="Data.Data">Data</a> b ⇒ c (b → r) → c r) → (∀ r. r → c r) → <a href="../base/Data-Data.html#t:Constr" title="Data.Data">Constr</a> → c <a href="Byron-Spec-Chain-STS-Rule-Chain.html#t:CHAIN" title="Byron.Spec.Chain.STS.Rule.Chain">CHAIN</a> <a href="file:///usr/local/.ghcup/ghc/9.2.8/share/doc/ghc-9.2.8/html/libraries/base-4.16.4.0/src" class="link">Source</a> <a href="#v:gunfold" class="selflink">#</a></p><p class="src"><a href="#v:toConstr">toConstr</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-Data.html#t:Constr" title="Data.Data">Constr</a> <a href="file:///usr/local/.ghcup/ghc/9.2.8/share/doc/ghc-9.2.8/html/libraries/base-4.16.4.0/src" class="link">Source</a> <a href="#v:toConstr" class="selflink">#</a></p><p class="src"><a href="#v:dataTypeOf">dataTypeOf</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-Data.html#t:DataType" title="Data.Data">DataType</a> <a href="file:///usr/local/.ghcup/ghc/9.2.8/share/doc/ghc-9.2.8/html/libraries/base-4.16.4.0/src" class="link">Source</a> <a href="#v:dataTypeOf" class="selflink">#</a></p><p class="src"><a href="#v:dataCast1">dataCast1</a> ∷ <a href="../base/Data-Typeable.html#t:Typeable" title="Data.Typeable">Typeable</a> t ⇒ (∀ d. <a href="../base/Data-Data.html#t:Data" title="Data.Data">Data</a> d ⇒ c (t d)) → <a href="../base/Data-Maybe.html#t:Maybe" title="Data.Maybe">Maybe</a> (c <a href="Byron-Spec-Chain-STS-Rule-Chain.html#t:CHAIN" title="Byron.Spec.Chain.STS.Rule.Chain">CHAIN</a>) <a href="file:///usr/local/.ghcup/ghc/9.2.8/share/doc/ghc-9.2.8/html/libraries/base-4.16.4.0/src" class="link">Source</a> <a href="#v:dataCast1" class="selflink">#</a></p><p class="src"><a href="#v:dataCast2">dataCast2</a> ∷ <a href="../base/Data-Typeable.html#t:Typeable" title="Data.Typeable">Typeable</a> t ⇒ (∀ d e. (<a href="../base/Data-Data.html#t:Data" title="Data.Data">Data</a> d, <a href="../base/Data-Data.html#t:Data" title="Data.Data">Data</a> e) ⇒ c (t d e)) → <a href="../base/Data-Maybe.html#t:Maybe" title="Data.Maybe">Maybe</a> (c <a href="Byron-Spec-Chain-STS-Rule-Chain.html#t:CHAIN" title="Byron.Spec.Chain.STS.Rule.Chain">CHAIN</a>) <a href="file:///usr/local/.ghcup/ghc/9.2.8/share/doc/ghc-9.2.8/html/libraries/base-4.16.4.0/src" class="link">Source</a> <a href="#v:dataCast2" class="selflink">#</a></p><p class="src"><a href="#v:gmapT">gmapT</a> ∷ (∀ b. <a href="../base/Data-Data.html#t:Data" title="Data.Data">Data</a> b ⇒ b → b) → <a href="Byron-Spec-Chain-STS-Rule-Chain.html#t:CHAIN" title="Byron.Spec.Chain.STS.Rule.Chain">CHAIN</a> → <a href="Byron-Spec-Chain-STS-Rule-Chain.html#t:CHAIN" title="Byron.Spec.Chain.STS.Rule.Chain">CHAIN</a> <a href="file:///usr/local/.ghcup/ghc/9.2.8/share/doc/ghc-9.2.8/html/libraries/base-4.16.4.0/src" class="link">Source</a> <a href="#v:gmapT" class="selflink">#</a></p><p class="src"><a href="#v:gmapQl">gmapQl</a> ∷ (r → r' → r) → r → (∀ d. <a href="../base/Data-Data.html#t:Data" title="Data.Data">Data</a> d ⇒ d → r') → <a href="Byron-Spec-Chain-STS-Rule-Chain.html#t:CHAIN" title="Byron.Spec.Chain.STS.Rule.Chain">CHAIN</a> → r <a href="file:///usr/local/.ghcup/ghc/9.2.8/share/doc/ghc-9.2.8/html/libraries/base-4.16.4.0/src" class="link">Source</a> <a href="#v:gmapQl" class="selflink">#</a></p><p class="src"><a href="#v:gmapQr">gmapQr</a> ∷ ∀ r r'. (r' → r → r) → r → (∀ d. <a href="../base/Data-Data.html#t:Data" title="Data.Data">Data</a> d ⇒ d → r') → <a href="Byron-Spec-Chain-STS-Rule-Chain.html#t:CHAIN" title="Byron.Spec.Chain.STS.Rule.Chain">CHAIN</a> → r <a href="file:///usr/local/.ghcup/ghc/9.2.8/share/doc/ghc-9.2.8/html/libraries/base-4.16.4.0/src" class="link">Source</a> <a href="#v:gmapQr" class="selflink">#</a></p><p class="src"><a href="#v:gmapQ">gmapQ</a> ∷ (∀ d. <a href="../base/Data-Data.html#t:Data" title="Data.Data">Data</a> d ⇒ d → u) → <a href="Byron-Spec-Chain-STS-Rule-Chain.html#t:CHAIN" title="Byron.Spec.Chain.STS.Rule.Chain">CHAIN</a> → [u] <a href="file:///usr/local/.ghcup/ghc/9.2.8/share/doc/ghc-9.2.8/html/libraries/base-4.16.4.0/src" class="link">Source</a> <a href="#v:gmapQ" class="selflink">#</a></p><p class="src"><a href="#v:gmapQi">gmapQi</a> ∷ <a href="../base/Data-Int.html#t:Int" title="Data.Int">Int</a> → (∀ d. <a href="../base/Data-Data.html#t:Data" title="Data.Data">Data</a> d ⇒ d → u) → <a href="Byron-Spec-Chain-STS-Rule-Chain.html#t:CHAIN" title="Byron.Spec.Chain.STS.Rule.Chain">CHAIN</a> → u <a href="file:///usr/local/.ghcup/ghc/9.2.8/share/doc/ghc-9.2.8/html/libraries/base-4.16.4.0/src" class="link">Source</a> <a href="#v:gmapQi" class="selflink">#</a></p><p class="src"><a href="#v:gmapM">gmapM</a> ∷ <a href="../base/Control-Monad.html#t:Monad" title="Control.Monad">Monad</a> m ⇒ (∀ d. <a href="../base/Data-Data.html#t:Data" title="Data.Data">Data</a> d ⇒ d → m d) → <a href="Byron-Spec-Chain-STS-Rule-Chain.html#t:CHAIN" title="Byron.Spec.Chain.STS.Rule.Chain">CHAIN</a> → m <a href="Byron-Spec-Chain-STS-Rule-Chain.html#t:CHAIN" title="Byron.Spec.Chain.STS.Rule.Chain">CHAIN</a> <a href="file:///usr/local/.ghcup/ghc/9.2.8/share/doc/ghc-9.2.8/html/libraries/base-4.16.4.0/src" class="link">Source</a> <a href="#v:gmapM" class="selflink">#</a></p><p class="src"><a href="#v:gmapMp">gmapMp</a> ∷ <a href="../base/Control-Monad.html#t:MonadPlus" title="Control.Monad">MonadPlus</a> m ⇒ (∀ d. <a href="../base/Data-Data.html#t:Data" title="Data.Data">Data</a> d ⇒ d → m d) → <a href="Byron-Spec-Chain-STS-Rule-Chain.html#t:CHAIN" title="Byron.Spec.Chain.STS.Rule.Chain">CHAIN</a> → m <a href="Byron-Spec-Chain-STS-Rule-Chain.html#t:CHAIN" title="Byron.Spec.Chain.STS.Rule.Chain">CHAIN</a> <a href="file:///usr/local/.ghcup/ghc/9.2.8/share/doc/ghc-9.2.8/html/libraries/base-4.16.4.0/src" class="link">Source</a> <a href="#v:gmapMp" class="selflink">#</a></p><p class="src"><a href="#v:gmapMo">gmapMo</a> ∷ <a href="../base/Control-Monad.html#t:MonadPlus" title="Control.Monad">MonadPlus</a> m ⇒ (∀ d. <a href="../base/Data-Data.html#t:Data" title="Data.Data">Data</a> d ⇒ d → m d) → <a href="Byron-Spec-Chain-STS-Rule-Chain.html#t:CHAIN" title="Byron.Spec.Chain.STS.Rule.Chain">CHAIN</a> → m <a href="Byron-Spec-Chain-STS-Rule-Chain.html#t:CHAIN" title="Byron.Spec.Chain.STS.Rule.Chain">CHAIN</a> <a href="file:///usr/local/.ghcup/ghc/9.2.8/share/doc/ghc-9.2.8/html/libraries/base-4.16.4.0/src" class="link">Source</a> <a href="#v:gmapMo" class="selflink">#</a></p></div></details></td></tr><tr><td class="src clearfix"><span class="inst-left"><span class="instance details-toggle-control details-toggle" data-details-id="i:id:CHAIN:STS:2"></span> <a href="../small-steps/Control-State-Transition-Extended.html#t:STS" title="Control.State.Transition.Extended">STS</a> <a href="Byron-Spec-Chain-STS-Rule-Chain.html#t:CHAIN" title="Byron.Spec.Chain.STS.Rule.Chain">CHAIN</a></span> <a href="src/Byron.Spec.Chain.STS.Rule.Chain.html#line-61" class="link">Source</a> <a href="#t:CHAIN" class="selflink">#</a></td><td class="doc empty"> </td></tr><tr><td colspan="2"><details id="i:id:CHAIN:STS:2"><summary class="hide-when-js-enabled">Instance details</summary><p>Defined in <a href="Byron-Spec-Chain-STS-Rule-Chain.html">Byron.Spec.Chain.STS.Rule.Chain</a></p> <div class="subs associated-types"><p class="caption">Associated Types</p><p class="src"><span class="keyword">type</span> <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="file:///home/runner/work/cardano-ledger/cardano-ledger/dist-newstyle/build/x86_64-linux/ghc-9.2.8/small-steps-1.1.0.0/doc/html/small-steps/src" class="link">Source</a> <a href="#t:State" class="selflink">#</a></p><p class="src"><span class="keyword">type</span> <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> <a href="file:///home/runner/work/cardano-ledger/cardano-ledger/dist-newstyle/build/x86_64-linux/ghc-9.2.8/small-steps-1.1.0.0/doc/html/small-steps/src" class="link">Source</a> <a href="#t:Signal" class="selflink">#</a></p><p class="src"><span class="keyword">type</span> <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="file:///home/runner/work/cardano-ledger/cardano-ledger/dist-newstyle/build/x86_64-linux/ghc-9.2.8/small-steps-1.1.0.0/doc/html/small-steps/src" class="link">Source</a> <a href="#t:Environment" class="selflink">#</a></p><p class="src"><span class="keyword">type</span> <a href="../small-steps/Control-State-Transition-Extended.html#t:BaseM" title="Control.State.Transition.Extended">BaseM</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-Kind.html#t:Type" title="Data.Kind">Type</a> → <a href="../base/Data-Kind.html#t:Type" title="Data.Kind">Type</a> <a href="file:///home/runner/work/cardano-ledger/cardano-ledger/dist-newstyle/build/x86_64-linux/ghc-9.2.8/small-steps-1.1.0.0/doc/html/small-steps/src" class="link">Source</a> <a href="#t:BaseM" class="selflink">#</a></p><p class="src"><span class="keyword">type</span> <a href="../small-steps/Control-State-Transition-Extended.html#t:Event" title="Control.State.Transition.Extended">Event</a> <a href="Byron-Spec-Chain-STS-Rule-Chain.html#t:CHAIN" title="Byron.Spec.Chain.STS.Rule.Chain">CHAIN</a> <a href="file:///home/runner/work/cardano-ledger/cardano-ledger/dist-newstyle/build/x86_64-linux/ghc-9.2.8/small-steps-1.1.0.0/doc/html/small-steps/src" class="link">Source</a> <a href="#t:Event" class="selflink">#</a></p><p class="src"><span class="keyword">type</span> <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="file:///home/runner/work/cardano-ledger/cardano-ledger/dist-newstyle/build/x86_64-linux/ghc-9.2.8/small-steps-1.1.0.0/doc/html/small-steps/src" class="link">Source</a> <a href="#t:PredicateFailure" class="selflink">#</a></p></div> <div class="subs methods"><p class="caption">Methods</p><p class="src"><a href="#v:initialRules">initialRules</a> ∷ [<a href="../small-steps/Control-State-Transition-Extended.html#t:InitialRule" title="Control.State.Transition.Extended">InitialRule</a> <a href="Byron-Spec-Chain-STS-Rule-Chain.html#t:CHAIN" title="Byron.Spec.Chain.STS.Rule.Chain">CHAIN</a>] <a href="file:///home/runner/work/cardano-ledger/cardano-ledger/dist-newstyle/build/x86_64-linux/ghc-9.2.8/small-steps-1.1.0.0/doc/html/small-steps/src" class="link">Source</a> <a href="#v:initialRules" class="selflink">#</a></p><p class="src"><a href="#v:transitionRules">transitionRules</a> ∷ [<a href="../small-steps/Control-State-Transition-Extended.html#t:TransitionRule" title="Control.State.Transition.Extended">TransitionRule</a> <a href="Byron-Spec-Chain-STS-Rule-Chain.html#t:CHAIN" title="Byron.Spec.Chain.STS.Rule.Chain">CHAIN</a>] <a href="file:///home/runner/work/cardano-ledger/cardano-ledger/dist-newstyle/build/x86_64-linux/ghc-9.2.8/small-steps-1.1.0.0/doc/html/small-steps/src" class="link">Source</a> <a href="#v:transitionRules" class="selflink">#</a></p><p class="src"><a href="#v:assertions">assertions</a> ∷ [<a href="../small-steps/Control-State-Transition-Extended.html#t:Assertion" title="Control.State.Transition.Extended">Assertion</a> <a href="Byron-Spec-Chain-STS-Rule-Chain.html#t:CHAIN" title="Byron.Spec.Chain.STS.Rule.Chain">CHAIN</a>] <a href="file:///home/runner/work/cardano-ledger/cardano-ledger/dist-newstyle/build/x86_64-linux/ghc-9.2.8/small-steps-1.1.0.0/doc/html/small-steps/src" class="link">Source</a> <a href="#v:assertions" class="selflink">#</a></p><p class="src"><a href="#v:renderAssertionViolation">renderAssertionViolation</a> ∷ <a href="../small-steps/Control-State-Transition-Extended.html#t:AssertionViolation" title="Control.State.Transition.Extended">AssertionViolation</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-String.html#t:String" title="Data.String">String</a> <a href="file:///home/runner/work/cardano-ledger/cardano-ledger/dist-newstyle/build/x86_64-linux/ghc-9.2.8/small-steps-1.1.0.0/doc/html/small-steps/src" class="link">Source</a> <a href="#v:renderAssertionViolation" class="selflink">#</a></p></div></details></td></tr><tr><td class="src clearfix"><span class="inst-left"><span class="instance details-toggle-control details-toggle" data-details-id="i:id:CHAIN:HasTrace:3"></span> <a href="../small-steps/Test-Control-State-Transition-Generator.html#t:HasTrace" title="Test.Control.State.Transition.Generator">HasTrace</a> <a href="Byron-Spec-Chain-STS-Rule-Chain.html#t:CHAIN" title="Byron.Spec.Chain.STS.Rule.Chain">CHAIN</a></span> <a href="src/Byron.Spec.Chain.STS.Rule.Chain.html#line-198" class="link">Source</a> <a href="#t:CHAIN" class="selflink">#</a></td><td class="doc empty"> </td></tr><tr><td colspan="2"><details id="i:id:CHAIN:HasTrace:3"><summary class="hide-when-js-enabled">Instance details</summary><p>Defined in <a href="Byron-Spec-Chain-STS-Rule-Chain.html">Byron.Spec.Chain.STS.Rule.Chain</a></p> <div class="subs associated-types"><p class="caption">Associated Types</p><p class="src"><span class="keyword">type</span> <a href="../small-steps/Test-Control-State-Transition-Generator.html#t:BaseEnv" title="Test.Control.State.Transition.Generator">BaseEnv</a> <a href="Byron-Spec-Chain-STS-Rule-Chain.html#t:CHAIN" title="Byron.Spec.Chain.STS.Rule.Chain">CHAIN</a> <a href="file:///home/runner/work/cardano-ledger/cardano-ledger/dist-newstyle/build/x86_64-linux/ghc-9.2.8/small-steps-1.1.0.0/l/testlib/doc/html/small-steps/src" class="link">Source</a> <a href="#t:BaseEnv" class="selflink">#</a></p></div> <div class="subs methods"><p class="caption">Methods</p><p class="src"><a href="#v:interpretSTS">interpretSTS</a> ∷ <a href="../small-steps/Test-Control-State-Transition-Generator.html#t:BaseEnv" title="Test.Control.State.Transition.Generator">BaseEnv</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:BaseM" title="Control.State.Transition.Extended">BaseM</a> <a href="Byron-Spec-Chain-STS-Rule-Chain.html#t:CHAIN" title="Byron.Spec.Chain.STS.Rule.Chain">CHAIN</a> a → a <a href="file:///home/runner/work/cardano-ledger/cardano-ledger/dist-newstyle/build/x86_64-linux/ghc-9.2.8/small-steps-1.1.0.0/l/testlib/doc/html/small-steps/src" class="link">Source</a> <a href="#v:interpretSTS" class="selflink">#</a></p><p class="src"><a href="#v:envGen">envGen</a> ∷ <a href="../base/Data-Word.html#t:Word64" title="Data.Word">Word64</a> → <a href="../hedgehog/Hedgehog.html#t:Gen" title="Hedgehog">Gen</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="file:///home/runner/work/cardano-ledger/cardano-ledger/dist-newstyle/build/x86_64-linux/ghc-9.2.8/small-steps-1.1.0.0/l/testlib/doc/html/small-steps/src" class="link">Source</a> <a href="#v:envGen" class="selflink">#</a></p><p class="src"><a href="#v:sigGen">sigGen</a> ∷ <a href="../small-steps/Test-Control-State-Transition-Generator.html#t:SignalGenerator" title="Test.Control.State.Transition.Generator">SignalGenerator</a> <a href="Byron-Spec-Chain-STS-Rule-Chain.html#t:CHAIN" title="Byron.Spec.Chain.STS.Rule.Chain">CHAIN</a> <a href="file:///home/runner/work/cardano-ledger/cardano-ledger/dist-newstyle/build/x86_64-linux/ghc-9.2.8/small-steps-1.1.0.0/l/testlib/doc/html/small-steps/src" class="link">Source</a> <a href="#v:sigGen" class="selflink">#</a></p><p class="src"><a href="#v:trace">trace</a> ∷ <a href="../small-steps/Test-Control-State-Transition-Generator.html#t:BaseEnv" title="Test.Control.State.Transition.Generator">BaseEnv</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-Word.html#t:Word64" title="Data.Word">Word64</a> → <a href="../hedgehog/Hedgehog.html#t:Gen" title="Hedgehog">Gen</a> (<a href="../small-steps/Test-Control-State-Transition-Trace.html#t:Trace" title="Test.Control.State.Transition.Trace">Trace</a> <a href="Byron-Spec-Chain-STS-Rule-Chain.html#t:CHAIN" title="Byron.Spec.Chain.STS.Rule.Chain">CHAIN</a>) <a href="file:///home/runner/work/cardano-ledger/cardano-ledger/dist-newstyle/build/x86_64-linux/ghc-9.2.8/small-steps-1.1.0.0/l/testlib/doc/html/small-steps/src" class="link">Source</a> <a href="#v:trace" class="selflink">#</a></p><p class="src"><a href="#v:traceWithProfile">traceWithProfile</a> ∷ <a href="../small-steps/Test-Control-State-Transition-Generator.html#t:BaseEnv" title="Test.Control.State.Transition.Generator">BaseEnv</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-Word.html#t:Word64" title="Data.Word">Word64</a> → <a href="../small-steps/Test-Control-State-Transition-Generator.html#t:TraceProfile" title="Test.Control.State.Transition.Generator">TraceProfile</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/Test-Control-State-Transition-Trace.html#t:Trace" title="Test.Control.State.Transition.Trace">Trace</a> <a href="Byron-Spec-Chain-STS-Rule-Chain.html#t:CHAIN" title="Byron.Spec.Chain.STS.Rule.Chain">CHAIN</a>) <a href="file:///home/runner/work/cardano-ledger/cardano-ledger/dist-newstyle/build/x86_64-linux/ghc-9.2.8/small-steps-1.1.0.0/l/testlib/doc/html/small-steps/src" class="link">Source</a> <a href="#v:traceWithProfile" class="selflink">#</a></p><p class="src"><a href="#v:traceOfLength">traceOfLength</a> ∷ <a href="../small-steps/Test-Control-State-Transition-Generator.html#t:BaseEnv" title="Test.Control.State.Transition.Generator">BaseEnv</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-Word.html#t:Word64" title="Data.Word">Word64</a> → <a href="../hedgehog/Hedgehog.html#t:Gen" title="Hedgehog">Gen</a> (<a href="../small-steps/Test-Control-State-Transition-Trace.html#t:Trace" title="Test.Control.State.Transition.Trace">Trace</a> <a href="Byron-Spec-Chain-STS-Rule-Chain.html#t:CHAIN" title="Byron.Spec.Chain.STS.Rule.Chain">CHAIN</a>) <a href="file:///home/runner/work/cardano-ledger/cardano-ledger/dist-newstyle/build/x86_64-linux/ghc-9.2.8/small-steps-1.1.0.0/l/testlib/doc/html/small-steps/src" class="link">Source</a> <a href="#v:traceOfLength" class="selflink">#</a></p><p class="src"><a href="#v:traceOfLengthWithInitState">traceOfLengthWithInitState</a> ∷ <a href="../small-steps/Test-Control-State-Transition-Generator.html#t:BaseEnv" title="Test.Control.State.Transition.Generator">BaseEnv</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-Word.html#t:Word64" title="Data.Word">Word64</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="../hedgehog/Hedgehog.html#t:Gen" title="Hedgehog">Gen</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/Test-Control-State-Transition-Trace.html#t:Trace" title="Test.Control.State.Transition.Trace">Trace</a> <a href="Byron-Spec-Chain-STS-Rule-Chain.html#t:CHAIN" title="Byron.Spec.Chain.STS.Rule.Chain">CHAIN</a>) <a href="file:///home/runner/work/cardano-ledger/cardano-ledger/dist-newstyle/build/x86_64-linux/ghc-9.2.8/small-steps-1.1.0.0/l/testlib/doc/html/small-steps/src" class="link">Source</a> <a href="#v:traceOfLengthWithInitState" class="selflink">#</a></p></div></details></td></tr><tr><td class="src clearfix"><span class="inst-left"><span class="instance details-toggle-control details-toggle" data-details-id="i:id:CHAIN:Embed:4"></span> <a href="../small-steps/Control-State-Transition-Extended.html#t:Embed" title="Control.State.Transition.Extended">Embed</a> <a href="Byron-Spec-Chain-STS-Rule-BBody.html#t:BBODY" title="Byron.Spec.Chain.STS.Rule.BBody">BBODY</a> <a href="Byron-Spec-Chain-STS-Rule-Chain.html#t:CHAIN" title="Byron.Spec.Chain.STS.Rule.Chain">CHAIN</a></span> <a href="src/Byron.Spec.Chain.STS.Rule.Chain.html#line-171" class="link">Source</a> <a href="#t:CHAIN" class="selflink">#</a></td><td class="doc empty"> </td></tr><tr><td colspan="2"><details id="i:id:CHAIN:Embed:4"><summary class="hide-when-js-enabled">Instance details</summary><p>Defined in <a href="Byron-Spec-Chain-STS-Rule-Chain.html">Byron.Spec.Chain.STS.Rule.Chain</a></p> <div class="subs methods"><p class="caption">Methods</p><p class="src"><a href="#v:wrapFailed">wrapFailed</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> → <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="file:///home/runner/work/cardano-ledger/cardano-ledger/dist-newstyle/build/x86_64-linux/ghc-9.2.8/small-steps-1.1.0.0/doc/html/small-steps/src" class="link">Source</a> <a href="#v:wrapFailed" class="selflink">#</a></p><p class="src"><a href="#v:wrapEvent">wrapEvent</a> ∷ <a href="../small-steps/Control-State-Transition-Extended.html#t:Event" title="Control.State.Transition.Extended">Event</a> <a href="Byron-Spec-Chain-STS-Rule-BBody.html#t:BBODY" title="Byron.Spec.Chain.STS.Rule.BBody">BBODY</a> → <a href="../small-steps/Control-State-Transition-Extended.html#t:Event" title="Control.State.Transition.Extended">Event</a> <a href="Byron-Spec-Chain-STS-Rule-Chain.html#t:CHAIN" title="Byron.Spec.Chain.STS.Rule.Chain">CHAIN</a> <a href="file:///home/runner/work/cardano-ledger/cardano-ledger/dist-newstyle/build/x86_64-linux/ghc-9.2.8/small-steps-1.1.0.0/doc/html/small-steps/src" class="link">Source</a> <a href="#v:wrapEvent" class="selflink">#</a></p></div></details></td></tr><tr><td class="src clearfix"><span class="inst-left"><span class="instance details-toggle-control details-toggle" data-details-id="i:id:CHAIN:Embed:5"></span> <a href="../small-steps/Control-State-Transition-Extended.html#t:Embed" title="Control.State.Transition.Extended">Embed</a> <a href="Byron-Spec-Chain-STS-Rule-Epoch.html#t:EPOCH" title="Byron.Spec.Chain.STS.Rule.Epoch">EPOCH</a> <a href="Byron-Spec-Chain-STS-Rule-Chain.html#t:CHAIN" title="Byron.Spec.Chain.STS.Rule.Chain">CHAIN</a></span> <a href="src/Byron.Spec.Chain.STS.Rule.Chain.html#line-168" class="link">Source</a> <a href="#t:CHAIN" class="selflink">#</a></td><td class="doc empty"> </td></tr><tr><td colspan="2"><details id="i:id:CHAIN:Embed:5"><summary class="hide-when-js-enabled">Instance details</summary><p>Defined in <a href="Byron-Spec-Chain-STS-Rule-Chain.html">Byron.Spec.Chain.STS.Rule.Chain</a></p> <div class="subs methods"><p class="caption">Methods</p><p class="src"><a href="#v:wrapFailed">wrapFailed</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> → <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="file:///home/runner/work/cardano-ledger/cardano-ledger/dist-newstyle/build/x86_64-linux/ghc-9.2.8/small-steps-1.1.0.0/doc/html/small-steps/src" class="link">Source</a> <a href="#v:wrapFailed" class="selflink">#</a></p><p class="src"><a href="#v:wrapEvent">wrapEvent</a> ∷ <a href="../small-steps/Control-State-Transition-Extended.html#t:Event" title="Control.State.Transition.Extended">Event</a> <a href="Byron-Spec-Chain-STS-Rule-Epoch.html#t:EPOCH" title="Byron.Spec.Chain.STS.Rule.Epoch">EPOCH</a> → <a href="../small-steps/Control-State-Transition-Extended.html#t:Event" title="Control.State.Transition.Extended">Event</a> <a href="Byron-Spec-Chain-STS-Rule-Chain.html#t:CHAIN" title="Byron.Spec.Chain.STS.Rule.Chain">CHAIN</a> <a href="file:///home/runner/work/cardano-ledger/cardano-ledger/dist-newstyle/build/x86_64-linux/ghc-9.2.8/small-steps-1.1.0.0/doc/html/small-steps/src" class="link">Source</a> <a href="#v:wrapEvent" class="selflink">#</a></p></div></details></td></tr><tr><td class="src clearfix"><span class="inst-left"><span class="instance details-toggle-control details-toggle" data-details-id="i:id:CHAIN:Embed:6"></span> <a href="../small-steps/Control-State-Transition-Extended.html#t:Embed" title="Control.State.Transition.Extended">Embed</a> <a href="Byron-Spec-Chain-STS-Rule-Pbft.html#t:PBFT" title="Byron.Spec.Chain.STS.Rule.Pbft">PBFT</a> <a href="Byron-Spec-Chain-STS-Rule-Chain.html#t:CHAIN" title="Byron.Spec.Chain.STS.Rule.Chain">CHAIN</a></span> <a href="src/Byron.Spec.Chain.STS.Rule.Chain.html#line-174" class="link">Source</a> <a href="#t:CHAIN" class="selflink">#</a></td><td class="doc empty"> </td></tr><tr><td colspan="2"><details id="i:id:CHAIN:Embed:6"><summary class="hide-when-js-enabled">Instance details</summary><p>Defined in <a href="Byron-Spec-Chain-STS-Rule-Chain.html">Byron.Spec.Chain.STS.Rule.Chain</a></p> <div class="subs methods"><p class="caption">Methods</p><p class="src"><a href="#v:wrapFailed">wrapFailed</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> → <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="file:///home/runner/work/cardano-ledger/cardano-ledger/dist-newstyle/build/x86_64-linux/ghc-9.2.8/small-steps-1.1.0.0/doc/html/small-steps/src" class="link">Source</a> <a href="#v:wrapFailed" class="selflink">#</a></p><p class="src"><a href="#v:wrapEvent">wrapEvent</a> ∷ <a href="../small-steps/Control-State-Transition-Extended.html#t:Event" title="Control.State.Transition.Extended">Event</a> <a href="Byron-Spec-Chain-STS-Rule-Pbft.html#t:PBFT" title="Byron.Spec.Chain.STS.Rule.Pbft">PBFT</a> → <a href="../small-steps/Control-State-Transition-Extended.html#t:Event" title="Control.State.Transition.Extended">Event</a> <a href="Byron-Spec-Chain-STS-Rule-Chain.html#t:CHAIN" title="Byron.Spec.Chain.STS.Rule.Chain">CHAIN</a> <a href="file:///home/runner/work/cardano-ledger/cardano-ledger/dist-newstyle/build/x86_64-linux/ghc-9.2.8/small-steps-1.1.0.0/doc/html/small-steps/src" class="link">Source</a> <a href="#v:wrapEvent" class="selflink">#</a></p></div></details></td></tr><tr><td class="src clearfix"><span class="inst-left"><span class="instance details-toggle-control details-toggle" data-details-id="i:id:CHAIN:Embed:7"></span> <a href="../small-steps/Control-State-Transition-Extended.html#t:Embed" title="Control.State.Transition.Extended">Embed</a> <a href="../byron-spec-ledger/Byron-Spec-Ledger-Delegation.html#t:DELEG" title="Byron.Spec.Ledger.Delegation">DELEG</a> <a href="Byron-Spec-Chain-STS-Rule-Chain.html#t:CHAIN" title="Byron.Spec.Chain.STS.Rule.Chain">CHAIN</a></span> <a href="src/Byron.Spec.Chain.STS.Rule.Chain.html#line-177" class="link">Source</a> <a href="#t:CHAIN" class="selflink">#</a></td><td class="doc empty"> </td></tr><tr><td colspan="2"><details id="i:id:CHAIN:Embed:7"><summary class="hide-when-js-enabled">Instance details</summary><p>Defined in <a href="Byron-Spec-Chain-STS-Rule-Chain.html">Byron.Spec.Chain.STS.Rule.Chain</a></p> <div class="subs methods"><p class="caption">Methods</p><p class="src"><a href="#v:wrapFailed">wrapFailed</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> → <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="file:///home/runner/work/cardano-ledger/cardano-ledger/dist-newstyle/build/x86_64-linux/ghc-9.2.8/small-steps-1.1.0.0/doc/html/small-steps/src" class="link">Source</a> <a href="#v:wrapFailed" class="selflink">#</a></p><p class="src"><a href="#v:wrapEvent">wrapEvent</a> ∷ <a href="../small-steps/Control-State-Transition-Extended.html#t:Event" title="Control.State.Transition.Extended">Event</a> <a href="../byron-spec-ledger/Byron-Spec-Ledger-Delegation.html#t:DELEG" title="Byron.Spec.Ledger.Delegation">DELEG</a> → <a href="../small-steps/Control-State-Transition-Extended.html#t:Event" title="Control.State.Transition.Extended">Event</a> <a href="Byron-Spec-Chain-STS-Rule-Chain.html#t:CHAIN" title="Byron.Spec.Chain.STS.Rule.Chain">CHAIN</a> <a href="file:///home/runner/work/cardano-ledger/cardano-ledger/dist-newstyle/build/x86_64-linux/ghc-9.2.8/small-steps-1.1.0.0/doc/html/small-steps/src" class="link">Source</a> <a href="#v:wrapEvent" class="selflink">#</a></p></div></details></td></tr><tr><td class="src clearfix"><span class="inst-left"><span class="instance details-toggle-control details-toggle" data-details-id="i:id:CHAIN:Embed:8"></span> <a href="../small-steps/Control-State-Transition-Extended.html#t:Embed" title="Control.State.Transition.Extended">Embed</a> <a href="../byron-spec-ledger/Byron-Spec-Ledger-STS-UTXOWS.html#t:UTXOWS" title="Byron.Spec.Ledger.STS.UTXOWS">UTXOWS</a> <a href="Byron-Spec-Chain-STS-Rule-Chain.html#t:CHAIN" title="Byron.Spec.Chain.STS.Rule.Chain">CHAIN</a></span> <a href="src/Byron.Spec.Chain.STS.Rule.Chain.html#line-180" class="link">Source</a> <a href="#t:CHAIN" class="selflink">#</a></td><td class="doc empty"> </td></tr><tr><td colspan="2"><details id="i:id:CHAIN:Embed:8"><summary class="hide-when-js-enabled">Instance details</summary><p>Defined in <a href="Byron-Spec-Chain-STS-Rule-Chain.html">Byron.Spec.Chain.STS.Rule.Chain</a></p> <div class="subs methods"><p class="caption">Methods</p><p class="src"><a href="#v:wrapFailed">wrapFailed</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> → <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="file:///home/runner/work/cardano-ledger/cardano-ledger/dist-newstyle/build/x86_64-linux/ghc-9.2.8/small-steps-1.1.0.0/doc/html/small-steps/src" class="link">Source</a> <a href="#v:wrapFailed" class="selflink">#</a></p><p class="src"><a href="#v:wrapEvent">wrapEvent</a> ∷ <a href="../small-steps/Control-State-Transition-Extended.html#t:Event" title="Control.State.Transition.Extended">Event</a> <a href="../byron-spec-ledger/Byron-Spec-Ledger-STS-UTXOWS.html#t:UTXOWS" title="Byron.Spec.Ledger.STS.UTXOWS">UTXOWS</a> → <a href="../small-steps/Control-State-Transition-Extended.html#t:Event" title="Control.State.Transition.Extended">Event</a> <a href="Byron-Spec-Chain-STS-Rule-Chain.html#t:CHAIN" title="Byron.Spec.Chain.STS.Rule.Chain">CHAIN</a> <a href="file:///home/runner/work/cardano-ledger/cardano-ledger/dist-newstyle/build/x86_64-linux/ghc-9.2.8/small-steps-1.1.0.0/doc/html/small-steps/src" class="link">Source</a> <a href="#v:wrapEvent" class="selflink">#</a></p></div></details></td></tr><tr><td class="src clearfix"><span class="inst-left"><span class="instance details-toggle-control details-toggle" data-details-id="i:id:CHAIN:BaseM:9"></span> <span class="keyword">type</span> <a href="../small-steps/Control-State-Transition-Extended.html#t:BaseM" title="Control.State.Transition.Extended">BaseM</a> <a href="Byron-Spec-Chain-STS-Rule-Chain.html#t:CHAIN" title="Byron.Spec.Chain.STS.Rule.Chain">CHAIN</a></span> <a href="src/Byron.Spec.Chain.STS.Rule.Chain.html#line-61" class="link">Source</a> <a href="#t:CHAIN" class="selflink">#</a></td><td class="doc empty"> </td></tr><tr><td colspan="2"><details id="i:id:CHAIN:BaseM:9"><summary class="hide-when-js-enabled">Instance details</summary><p>Defined in <a href="Byron-Spec-Chain-STS-Rule-Chain.html">Byron.Spec.Chain.STS.Rule.Chain</a></p> <div class="src"><span class="keyword">type</span> <a href="../small-steps/Control-State-Transition-Extended.html#t:BaseM" title="Control.State.Transition.Extended">BaseM</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-Functor-Identity.html#t:Identity" title="Data.Functor.Identity">Identity</a></div></details></td></tr><tr><td class="src clearfix"><span class="inst-left"><span class="instance details-toggle-control details-toggle" data-details-id="i:id:CHAIN:Environment:10"></span> <span class="keyword">type</span> <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></span> <a href="src/Byron.Spec.Chain.STS.Rule.Chain.html#line-63" class="link">Source</a> <a href="#t:CHAIN" class="selflink">#</a></td><td class="doc empty"> </td></tr><tr><td colspan="2"><details id="i:id:CHAIN:Environment:10"><summary class="hide-when-js-enabled">Instance details</summary><p>Defined in <a href="Byron-Spec-Chain-STS-Rule-Chain.html">Byron.Spec.Chain.STS.Rule.Chain</a></p> <div class="src"><span class="keyword">type</span> <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="../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-UTxO.html#t:UTxO" title="Byron.Spec.Ledger.UTxO">UTxO</a>, <a href="../cardano-prelude/Cardano-Prelude.html#t:Set" title="Cardano.Prelude">Set</a> <a href="../byron-spec-ledger/Byron-Spec-Ledger-Core.html#t:VKeyGenesis" title="Byron.Spec.Ledger.Core">VKeyGenesis</a>, <a href="../byron-spec-ledger/Byron-Spec-Ledger-Update.html#t:PParams" title="Byron.Spec.Ledger.Update">PParams</a>, <a href="../byron-spec-ledger/Byron-Spec-Ledger-Core.html#t:BlockCount" title="Byron.Spec.Ledger.Core">BlockCount</a>)</div></details></td></tr><tr><td class="src clearfix"><span class="inst-left"><span class="instance details-toggle-control details-toggle" data-details-id="i:id:CHAIN:Event:11"></span> <span class="keyword">type</span> <a href="../small-steps/Control-State-Transition-Extended.html#t:Event" title="Control.State.Transition.Extended">Event</a> <a href="Byron-Spec-Chain-STS-Rule-Chain.html#t:CHAIN" title="Byron.Spec.Chain.STS.Rule.Chain">CHAIN</a></span> <a href="src/Byron.Spec.Chain.STS.Rule.Chain.html#line-61" class="link">Source</a> <a href="#t:CHAIN" class="selflink">#</a></td><td class="doc empty"> </td></tr><tr><td colspan="2"><details id="i:id:CHAIN:Event:11"><summary class="hide-when-js-enabled">Instance details</summary><p>Defined in <a href="Byron-Spec-Chain-STS-Rule-Chain.html">Byron.Spec.Chain.STS.Rule.Chain</a></p> <div class="src"><span class="keyword">type</span> <a href="../small-steps/Control-State-Transition-Extended.html#t:Event" title="Control.State.Transition.Extended">Event</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-Void.html#t:Void" title="Data.Void">Void</a></div></details></td></tr><tr><td class="src clearfix"><span class="inst-left"><span class="instance details-toggle-control details-toggle" data-details-id="i:id:CHAIN:PredicateFailure:12"></span> <span class="keyword">type</span> <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></span> <a href="src/Byron.Spec.Chain.STS.Rule.Chain.html#line-88" class="link">Source</a> <a href="#t:CHAIN" class="selflink">#</a></td><td class="doc empty"> </td></tr><tr><td colspan="2"><details id="i:id:CHAIN:PredicateFailure:12"><summary class="hide-when-js-enabled">Instance details</summary><p>Defined in <a href="Byron-Spec-Chain-STS-Rule-Chain.html">Byron.Spec.Chain.STS.Rule.Chain</a></p> <div class="src"><span class="keyword">type</span> <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="Byron-Spec-Chain-STS-Rule-Chain.html#t:ChainPredicateFailure" title="Byron.Spec.Chain.STS.Rule.Chain">ChainPredicateFailure</a></div></details></td></tr><tr><td class="src clearfix"><span class="inst-left"><span class="instance details-toggle-control details-toggle" data-details-id="i:id:CHAIN:Signal:13"></span> <span class="keyword">type</span> <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></span> <a href="src/Byron.Spec.Chain.STS.Rule.Chain.html#line-86" class="link">Source</a> <a href="#t:CHAIN" class="selflink">#</a></td><td class="doc empty"> </td></tr><tr><td colspan="2"><details id="i:id:CHAIN:Signal:13"><summary class="hide-when-js-enabled">Instance details</summary><p>Defined in <a href="Byron-Spec-Chain-STS-Rule-Chain.html">Byron.Spec.Chain.STS.Rule.Chain</a></p> <div class="src"><span class="keyword">type</span> <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> = <a href="Byron-Spec-Chain-STS-Block.html#t:Block" title="Byron.Spec.Chain.STS.Block">Block</a></div></details></td></tr><tr><td class="src clearfix"><span class="inst-left"><span class="instance details-toggle-control details-toggle" data-details-id="i:id:CHAIN:State:14"></span> <span class="keyword">type</span> <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></span> <a href="src/Byron.Spec.Chain.STS.Rule.Chain.html#line-77" class="link">Source</a> <a href="#t:CHAIN" class="selflink">#</a></td><td class="doc empty"> </td></tr><tr><td colspan="2"><details id="i:id:CHAIN:State:14"><summary class="hide-when-js-enabled">Instance details</summary><p>Defined in <a href="Byron-Spec-Chain-STS-Rule-Chain.html">Byron.Spec.Chain.STS.Rule.Chain</a></p> <div class="src"><span class="keyword">type</span> <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-Core.html#t:Slot" title="Byron.Spec.Ledger.Core">Slot</a>, <a href="../cardano-prelude/Cardano-Prelude.html#t:Seq" title="Cardano.Prelude">Seq</a> <a href="../byron-spec-ledger/Byron-Spec-Ledger-Core.html#t:VKeyGenesis" title="Byron.Spec.Ledger.Core">VKeyGenesis</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-STS-UTXO.html#t:UTxOState" title="Byron.Spec.Ledger.STS.UTXO">UTxOState</a>, <a href="../byron-spec-ledger/Byron-Spec-Ledger-Delegation.html#t:DIState" title="Byron.Spec.Ledger.Delegation">DIState</a>, <a href="../byron-spec-ledger/Byron-Spec-Ledger-Update.html#t:UPIState" title="Byron.Spec.Ledger.Update">UPIState</a>)</div></details></td></tr><tr><td class="src clearfix"><span class="inst-left"><span class="instance details-toggle-control details-toggle" data-details-id="i:id:CHAIN:BaseEnv:15"></span> <span class="keyword">type</span> <a href="../small-steps/Test-Control-State-Transition-Generator.html#t:BaseEnv" title="Test.Control.State.Transition.Generator">BaseEnv</a> <a href="Byron-Spec-Chain-STS-Rule-Chain.html#t:CHAIN" title="Byron.Spec.Chain.STS.Rule.Chain">CHAIN</a></span> <a href="src/Byron.Spec.Chain.STS.Rule.Chain.html#line-198" class="link">Source</a> <a href="#t:CHAIN" class="selflink">#</a></td><td class="doc empty"> </td></tr><tr><td colspan="2"><details id="i:id:CHAIN:BaseEnv:15"><summary class="hide-when-js-enabled">Instance details</summary><p>Defined in <a href="Byron-Spec-Chain-STS-Rule-Chain.html">Byron.Spec.Chain.STS.Rule.Chain</a></p> <div class="src"><span class="keyword">type</span> <a href="../small-steps/Test-Control-State-Transition-Generator.html#t:BaseEnv" title="Test.Control.State.Transition.Generator">BaseEnv</a> <a href="Byron-Spec-Chain-STS-Rule-Chain.html#t:CHAIN" title="Byron.Spec.Chain.STS.Rule.Chain">CHAIN</a> = ()</div></details></td></tr></table></details></div></div><div class="top"><p class="src"><span class="keyword">data</span> <a id="t:ChainPredicateFailure" class="def">ChainPredicateFailure</a> <a href="src/Byron.Spec.Chain.STS.Rule.Chain.html#ChainPredicateFailure" class="link">Source</a> <a href="#t:ChainPredicateFailure" class="selflink">#</a></p><div class="subs constructors"><p class="caption">Constructors</p><table><tr><td class="src"><a id="v:EpochFailure" class="def">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>)</td><td class="doc empty"> </td></tr><tr><td class="src"><a id="v:HeaderSizeTooBig" class="def">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>)</td><td class="doc empty"> </td></tr><tr><td class="src"><a id="v:BBodyFailure" class="def">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>)</td><td class="doc empty"> </td></tr><tr><td class="src"><a id="v:PBFTFailure" class="def">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>)</td><td class="doc empty"> </td></tr><tr><td class="src"><a id="v:MaximumBlockSize" class="def">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></td><td class="doc empty"> </td></tr><tr><td class="src"><a id="v:LedgerDelegationFailure" class="def">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>)</td><td class="doc empty"> </td></tr><tr><td class="src"><a id="v:LedgerUTxOFailure" class="def">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>)</td><td class="doc empty"> </td></tr></table></div><div class="subs instances"><h4 class="instances details-toggle-control details-toggle" data-details-id="i:ChainPredicateFailure">Instances</h4><details id="i:ChainPredicateFailure" open="open"><summary class="hide-when-js-enabled">Instances details</summary><table><tr><td class="src clearfix"><span class="inst-left"><span class="instance details-toggle-control details-toggle" data-details-id="i:id:ChainPredicateFailure:Data:1"></span> <a href="../base/Data-Data.html#t:Data" title="Data.Data">Data</a> <a href="Byron-Spec-Chain-STS-Rule-Chain.html#t:ChainPredicateFailure" title="Byron.Spec.Chain.STS.Rule.Chain">ChainPredicateFailure</a></span> <a href="src/Byron.Spec.Chain.STS.Rule.Chain.html#line-59" class="link">Source</a> <a href="#t:ChainPredicateFailure" class="selflink">#</a></td><td class="doc empty"> </td></tr><tr><td colspan="2"><details id="i:id:ChainPredicateFailure:Data:1"><summary class="hide-when-js-enabled">Instance details</summary><p>Defined in <a href="Byron-Spec-Chain-STS-Rule-Chain.html">Byron.Spec.Chain.STS.Rule.Chain</a></p> <div class="subs methods"><p class="caption">Methods</p><p class="src"><a href="#v:gfoldl">gfoldl</a> ∷ (∀ d b. <a href="../base/Data-Data.html#t:Data" title="Data.Data">Data</a> d ⇒ c (d → b) → d → c b) → (∀ g. g → c g) → <a href="Byron-Spec-Chain-STS-Rule-Chain.html#t:ChainPredicateFailure" title="Byron.Spec.Chain.STS.Rule.Chain">ChainPredicateFailure</a> → c <a href="Byron-Spec-Chain-STS-Rule-Chain.html#t:ChainPredicateFailure" title="Byron.Spec.Chain.STS.Rule.Chain">ChainPredicateFailure</a> <a href="file:///usr/local/.ghcup/ghc/9.2.8/share/doc/ghc-9.2.8/html/libraries/base-4.16.4.0/src" class="link">Source</a> <a href="#v:gfoldl" class="selflink">#</a></p><p class="src"><a href="#v:gunfold">gunfold</a> ∷ (∀ b r. <a href="../base/Data-Data.html#t:Data" title="Data.Data">Data</a> b ⇒ c (b → r) → c r) → (∀ r. r → c r) → <a href="../base/Data-Data.html#t:Constr" title="Data.Data">Constr</a> → c <a href="Byron-Spec-Chain-STS-Rule-Chain.html#t:ChainPredicateFailure" title="Byron.Spec.Chain.STS.Rule.Chain">ChainPredicateFailure</a> <a href="file:///usr/local/.ghcup/ghc/9.2.8/share/doc/ghc-9.2.8/html/libraries/base-4.16.4.0/src" class="link">Source</a> <a href="#v:gunfold" class="selflink">#</a></p><p class="src"><a href="#v:toConstr">toConstr</a> ∷ <a href="Byron-Spec-Chain-STS-Rule-Chain.html#t:ChainPredicateFailure" title="Byron.Spec.Chain.STS.Rule.Chain">ChainPredicateFailure</a> → <a href="../base/Data-Data.html#t:Constr" title="Data.Data">Constr</a> <a href="file:///usr/local/.ghcup/ghc/9.2.8/share/doc/ghc-9.2.8/html/libraries/base-4.16.4.0/src" class="link">Source</a> <a href="#v:toConstr" class="selflink">#</a></p><p class="src"><a href="#v:dataTypeOf">dataTypeOf</a> ∷ <a href="Byron-Spec-Chain-STS-Rule-Chain.html#t:ChainPredicateFailure" title="Byron.Spec.Chain.STS.Rule.Chain">ChainPredicateFailure</a> → <a href="../base/Data-Data.html#t:DataType" title="Data.Data">DataType</a> <a href="file:///usr/local/.ghcup/ghc/9.2.8/share/doc/ghc-9.2.8/html/libraries/base-4.16.4.0/src" class="link">Source</a> <a href="#v:dataTypeOf" class="selflink">#</a></p><p class="src"><a href="#v:dataCast1">dataCast1</a> ∷ <a href="../base/Data-Typeable.html#t:Typeable" title="Data.Typeable">Typeable</a> t ⇒ (∀ d. <a href="../base/Data-Data.html#t:Data" title="Data.Data">Data</a> d ⇒ c (t d)) → <a href="../base/Data-Maybe.html#t:Maybe" title="Data.Maybe">Maybe</a> (c <a href="Byron-Spec-Chain-STS-Rule-Chain.html#t:ChainPredicateFailure" title="Byron.Spec.Chain.STS.Rule.Chain">ChainPredicateFailure</a>) <a href="file:///usr/local/.ghcup/ghc/9.2.8/share/doc/ghc-9.2.8/html/libraries/base-4.16.4.0/src" class="link">Source</a> <a href="#v:dataCast1" class="selflink">#</a></p><p class="src"><a href="#v:dataCast2">dataCast2</a> ∷ <a href="../base/Data-Typeable.html#t:Typeable" title="Data.Typeable">Typeable</a> t ⇒ (∀ d e. (<a href="../base/Data-Data.html#t:Data" title="Data.Data">Data</a> d, <a href="../base/Data-Data.html#t:Data" title="Data.Data">Data</a> e) ⇒ c (t d e)) → <a href="../base/Data-Maybe.html#t:Maybe" title="Data.Maybe">Maybe</a> (c <a href="Byron-Spec-Chain-STS-Rule-Chain.html#t:ChainPredicateFailure" title="Byron.Spec.Chain.STS.Rule.Chain">ChainPredicateFailure</a>) <a href="file:///usr/local/.ghcup/ghc/9.2.8/share/doc/ghc-9.2.8/html/libraries/base-4.16.4.0/src" class="link">Source</a> <a href="#v:dataCast2" class="selflink">#</a></p><p class="src"><a href="#v:gmapT">gmapT</a> ∷ (∀ b. <a href="../base/Data-Data.html#t:Data" title="Data.Data">Data</a> b ⇒ b → b) → <a href="Byron-Spec-Chain-STS-Rule-Chain.html#t:ChainPredicateFailure" title="Byron.Spec.Chain.STS.Rule.Chain">ChainPredicateFailure</a> → <a href="Byron-Spec-Chain-STS-Rule-Chain.html#t:ChainPredicateFailure" title="Byron.Spec.Chain.STS.Rule.Chain">ChainPredicateFailure</a> <a href="file:///usr/local/.ghcup/ghc/9.2.8/share/doc/ghc-9.2.8/html/libraries/base-4.16.4.0/src" class="link">Source</a> <a href="#v:gmapT" class="selflink">#</a></p><p class="src"><a href="#v:gmapQl">gmapQl</a> ∷ (r → r' → r) → r → (∀ d. <a href="../base/Data-Data.html#t:Data" title="Data.Data">Data</a> d ⇒ d → r') → <a href="Byron-Spec-Chain-STS-Rule-Chain.html#t:ChainPredicateFailure" title="Byron.Spec.Chain.STS.Rule.Chain">ChainPredicateFailure</a> → r <a href="file:///usr/local/.ghcup/ghc/9.2.8/share/doc/ghc-9.2.8/html/libraries/base-4.16.4.0/src" class="link">Source</a> <a href="#v:gmapQl" class="selflink">#</a></p><p class="src"><a href="#v:gmapQr">gmapQr</a> ∷ ∀ r r'. (r' → r → r) → r → (∀ d. <a href="../base/Data-Data.html#t:Data" title="Data.Data">Data</a> d ⇒ d → r') → <a href="Byron-Spec-Chain-STS-Rule-Chain.html#t:ChainPredicateFailure" title="Byron.Spec.Chain.STS.Rule.Chain">ChainPredicateFailure</a> → r <a href="file:///usr/local/.ghcup/ghc/9.2.8/share/doc/ghc-9.2.8/html/libraries/base-4.16.4.0/src" class="link">Source</a> <a href="#v:gmapQr" class="selflink">#</a></p><p class="src"><a href="#v:gmapQ">gmapQ</a> ∷ (∀ d. <a href="../base/Data-Data.html#t:Data" title="Data.Data">Data</a> d ⇒ d → u) → <a href="Byron-Spec-Chain-STS-Rule-Chain.html#t:ChainPredicateFailure" title="Byron.Spec.Chain.STS.Rule.Chain">ChainPredicateFailure</a> → [u] <a href="file:///usr/local/.ghcup/ghc/9.2.8/share/doc/ghc-9.2.8/html/libraries/base-4.16.4.0/src" class="link">Source</a> <a href="#v:gmapQ" class="selflink">#</a></p><p class="src"><a href="#v:gmapQi">gmapQi</a> ∷ <a href="../base/Data-Int.html#t:Int" title="Data.Int">Int</a> → (∀ d. <a href="../base/Data-Data.html#t:Data" title="Data.Data">Data</a> d ⇒ d → u) → <a href="Byron-Spec-Chain-STS-Rule-Chain.html#t:ChainPredicateFailure" title="Byron.Spec.Chain.STS.Rule.Chain">ChainPredicateFailure</a> → u <a href="file:///usr/local/.ghcup/ghc/9.2.8/share/doc/ghc-9.2.8/html/libraries/base-4.16.4.0/src" class="link">Source</a> <a href="#v:gmapQi" class="selflink">#</a></p><p class="src"><a href="#v:gmapM">gmapM</a> ∷ <a href="../base/Control-Monad.html#t:Monad" title="Control.Monad">Monad</a> m ⇒ (∀ d. <a href="../base/Data-Data.html#t:Data" title="Data.Data">Data</a> d ⇒ d → m d) → <a href="Byron-Spec-Chain-STS-Rule-Chain.html#t:ChainPredicateFailure" title="Byron.Spec.Chain.STS.Rule.Chain">ChainPredicateFailure</a> → m <a href="Byron-Spec-Chain-STS-Rule-Chain.html#t:ChainPredicateFailure" title="Byron.Spec.Chain.STS.Rule.Chain">ChainPredicateFailure</a> <a href="file:///usr/local/.ghcup/ghc/9.2.8/share/doc/ghc-9.2.8/html/libraries/base-4.16.4.0/src" class="link">Source</a> <a href="#v:gmapM" class="selflink">#</a></p><p class="src"><a href="#v:gmapMp">gmapMp</a> ∷ <a href="../base/Control-Monad.html#t:MonadPlus" title="Control.Monad">MonadPlus</a> m ⇒ (∀ d. <a href="../base/Data-Data.html#t:Data" title="Data.Data">Data</a> d ⇒ d → m d) → <a href="Byron-Spec-Chain-STS-Rule-Chain.html#t:ChainPredicateFailure" title="Byron.Spec.Chain.STS.Rule.Chain">ChainPredicateFailure</a> → m <a href="Byron-Spec-Chain-STS-Rule-Chain.html#t:ChainPredicateFailure" title="Byron.Spec.Chain.STS.Rule.Chain">ChainPredicateFailure</a> <a href="file:///usr/local/.ghcup/ghc/9.2.8/share/doc/ghc-9.2.8/html/libraries/base-4.16.4.0/src" class="link">Source</a> <a href="#v:gmapMp" class="selflink">#</a></p><p class="src"><a href="#v:gmapMo">gmapMo</a> ∷ <a href="../base/Control-Monad.html#t:MonadPlus" title="Control.Monad">MonadPlus</a> m ⇒ (∀ d. <a href="../base/Data-Data.html#t:Data" title="Data.Data">Data</a> d ⇒ d → m d) → <a href="Byron-Spec-Chain-STS-Rule-Chain.html#t:ChainPredicateFailure" title="Byron.Spec.Chain.STS.Rule.Chain">ChainPredicateFailure</a> → m <a href="Byron-Spec-Chain-STS-Rule-Chain.html#t:ChainPredicateFailure" title="Byron.Spec.Chain.STS.Rule.Chain">ChainPredicateFailure</a> <a href="file:///usr/local/.ghcup/ghc/9.2.8/share/doc/ghc-9.2.8/html/libraries/base-4.16.4.0/src" class="link">Source</a> <a href="#v:gmapMo" class="selflink">#</a></p></div></details></td></tr><tr><td class="src clearfix"><span class="inst-left"><span class="instance details-toggle-control details-toggle" data-details-id="i:id:ChainPredicateFailure:Show:2"></span> <a href="../base/Text-Show.html#t:Show" title="Text.Show">Show</a> <a href="Byron-Spec-Chain-STS-Rule-Chain.html#t:ChainPredicateFailure" title="Byron.Spec.Chain.STS.Rule.Chain">ChainPredicateFailure</a></span> <a href="src/Byron.Spec.Chain.STS.Rule.Chain.html#line-59" class="link">Source</a> <a href="#t:ChainPredicateFailure" class="selflink">#</a></td><td class="doc empty"> </td></tr><tr><td colspan="2"><details id="i:id:ChainPredicateFailure:Show:2"><summary class="hide-when-js-enabled">Instance details</summary><p>Defined in <a href="Byron-Spec-Chain-STS-Rule-Chain.html">Byron.Spec.Chain.STS.Rule.Chain</a></p> <div class="subs methods"><p class="caption">Methods</p><p class="src"><a href="#v:showsPrec">showsPrec</a> ∷ <a href="../base/Data-Int.html#t:Int" title="Data.Int">Int</a> → <a href="Byron-Spec-Chain-STS-Rule-Chain.html#t:ChainPredicateFailure" title="Byron.Spec.Chain.STS.Rule.Chain">ChainPredicateFailure</a> → <a href="../base/Text-Show.html#t:ShowS" title="Text.Show">ShowS</a> <a href="file:///usr/local/.ghcup/ghc/9.2.8/share/doc/ghc-9.2.8/html/libraries/base-4.16.4.0/src" class="link">Source</a> <a href="#v:showsPrec" class="selflink">#</a></p><p class="src"><a href="#v:show">show</a> ∷ <a href="Byron-Spec-Chain-STS-Rule-Chain.html#t:ChainPredicateFailure" title="Byron.Spec.Chain.STS.Rule.Chain">ChainPredicateFailure</a> → <a href="../base/Data-String.html#t:String" title="Data.String">String</a> <a href="file:///usr/local/.ghcup/ghc/9.2.8/share/doc/ghc-9.2.8/html/libraries/base-4.16.4.0/src" class="link">Source</a> <a href="#v:show" class="selflink">#</a></p><p class="src"><a href="#v:showList">showList</a> ∷ [<a href="Byron-Spec-Chain-STS-Rule-Chain.html#t:ChainPredicateFailure" title="Byron.Spec.Chain.STS.Rule.Chain">ChainPredicateFailure</a>] → <a href="../base/Text-Show.html#t:ShowS" title="Text.Show">ShowS</a> <a href="file:///usr/local/.ghcup/ghc/9.2.8/share/doc/ghc-9.2.8/html/libraries/base-4.16.4.0/src" class="link">Source</a> <a href="#v:showList" class="selflink">#</a></p></div></details></td></tr><tr><td class="src clearfix"><span class="inst-left"><span class="instance details-toggle-control details-toggle" data-details-id="i:id:ChainPredicateFailure:Eq:3"></span> <a href="../base/Data-Eq.html#t:Eq" title="Data.Eq">Eq</a> <a href="Byron-Spec-Chain-STS-Rule-Chain.html#t:ChainPredicateFailure" title="Byron.Spec.Chain.STS.Rule.Chain">ChainPredicateFailure</a></span> <a href="src/Byron.Spec.Chain.STS.Rule.Chain.html#line-59" class="link">Source</a> <a href="#t:ChainPredicateFailure" class="selflink">#</a></td><td class="doc empty"> </td></tr><tr><td colspan="2"><details id="i:id:ChainPredicateFailure:Eq:3"><summary class="hide-when-js-enabled">Instance details</summary><p>Defined in <a href="Byron-Spec-Chain-STS-Rule-Chain.html">Byron.Spec.Chain.STS.Rule.Chain</a></p> <div class="subs methods"><p class="caption">Methods</p><p class="src"><a href="#v:-61--61-">(==)</a> ∷ <a href="Byron-Spec-Chain-STS-Rule-Chain.html#t:ChainPredicateFailure" title="Byron.Spec.Chain.STS.Rule.Chain">ChainPredicateFailure</a> → <a href="Byron-Spec-Chain-STS-Rule-Chain.html#t:ChainPredicateFailure" title="Byron.Spec.Chain.STS.Rule.Chain">ChainPredicateFailure</a> → <a href="../base/Data-Bool.html#t:Bool" title="Data.Bool">Bool</a> <a href="file:///usr/local/.ghcup/ghc/9.2.8/share/doc/ghc-9.2.8/html/libraries/ghc-prim-0.8.0/src" class="link">Source</a> <a href="#v:-61--61-" class="selflink">#</a></p><p class="src"><a href="#v:-47--61-">(/=)</a> ∷ <a href="Byron-Spec-Chain-STS-Rule-Chain.html#t:ChainPredicateFailure" title="Byron.Spec.Chain.STS.Rule.Chain">ChainPredicateFailure</a> → <a href="Byron-Spec-Chain-STS-Rule-Chain.html#t:ChainPredicateFailure" title="Byron.Spec.Chain.STS.Rule.Chain">ChainPredicateFailure</a> → <a href="../base/Data-Bool.html#t:Bool" title="Data.Bool">Bool</a> <a href="file:///usr/local/.ghcup/ghc/9.2.8/share/doc/ghc-9.2.8/html/libraries/ghc-prim-0.8.0/src" class="link">Source</a> <a href="#v:-47--61-" class="selflink">#</a></p></div></details></td></tr></table></details></div></div><div class="top"><p class="src"><a id="v:isHeaderSizeTooBigFailure" class="def">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> <a href="src/Byron.Spec.Chain.STS.Rule.Chain.html#isHeaderSizeTooBigFailure" class="link">Source</a> <a href="#v:isHeaderSizeTooBigFailure" class="selflink">#</a></p></div><div class="top"><p class="src"><a id="v:headerIsValid" class="def">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> () <a href="src/Byron.Spec.Chain.STS.Rule.Chain.html#headerIsValid" class="link">Source</a> <a href="#v:headerIsValid" class="selflink">#</a></p></div><div class="top"><p class="src"><a id="v:disL" class="def">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> <a href="src/Byron.Spec.Chain.STS.Rule.Chain.html#disL" class="link">Source</a> <a href="#v:disL" class="selflink">#</a></p><div class="doc"><p>Lens for the delegation interface state contained in the chain state.</p></div></div><div class="top"><p class="src"><span class="keyword">data</span> <a id="t:ShouldGenDelegation" class="def">ShouldGenDelegation</a> <a href="src/Byron.Spec.Chain.STS.Rule.Chain.html#ShouldGenDelegation" class="link">Source</a> <a href="#t:ShouldGenDelegation" class="selflink">#</a></p><div class="subs constructors"><p class="caption">Constructors</p><table><tr><td class="src"><a id="v:GenDelegation" class="def">GenDelegation</a></td><td class="doc empty"> </td></tr><tr><td class="src"><a id="v:NoGenDelegation" class="def">NoGenDelegation</a></td><td class="doc empty"> </td></tr></table></div></div><div class="top"><p class="src"><span class="keyword">data</span> <a id="t:ShouldGenUTxO" class="def">ShouldGenUTxO</a> <a href="src/Byron.Spec.Chain.STS.Rule.Chain.html#ShouldGenUTxO" class="link">Source</a> <a href="#t:ShouldGenUTxO" class="selflink">#</a></p><div class="subs constructors"><p class="caption">Constructors</p><table><tr><td class="src"><a id="v:GenUTxO" class="def">GenUTxO</a></td><td class="doc empty"> </td></tr><tr><td class="src"><a id="v:NoGenUTxO" class="def">NoGenUTxO</a></td><td class="doc empty"> </td></tr></table></div></div><div class="top"><p class="src"><span class="keyword">data</span> <a id="t:ShouldGenUpdate" class="def">ShouldGenUpdate</a> <a href="src/Byron.Spec.Chain.STS.Rule.Chain.html#ShouldGenUpdate" class="link">Source</a> <a href="#t:ShouldGenUpdate" class="selflink">#</a></p><div class="subs constructors"><p class="caption">Constructors</p><table><tr><td class="src"><a id="v:GenUpdate" class="def">GenUpdate</a></td><td class="doc empty"> </td></tr><tr><td class="src"><a id="v:NoGenUpdate" class="def">NoGenUpdate</a></td><td class="doc empty"> </td></tr></table></div></div><div class="top"><p class="src"><a id="v:sigGenChain" class="def">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>) <a href="src/Byron.Spec.Chain.STS.Rule.Chain.html#sigGenChain" class="link">Source</a> <a href="#v:sigGenChain" class="selflink">#</a></p></div><div class="top"><p class="src"><a id="v:coverInvalidBlockProofs" class="def">coverInvalidBlockProofs</a> <a href="src/Byron.Spec.Chain.STS.Rule.Chain.html#coverInvalidBlockProofs" class="link">Source</a> <a href="#v:coverInvalidBlockProofs" class="selflink">#</a></p><div class="subs arguments"><p class="caption">Arguments</p><table><tr><td class="src">∷ ∀ 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)</td><td class="doc empty"> </td></tr><tr><td class="src">⇒ <a href="../hedgehog/Hedgehog-Internal-Property.html#t:CoverPercentage" title="Hedgehog.Internal.Property">CoverPercentage</a></td><td class="doc"><p>Minimum percentage that each failure must occur.</p></td></tr><tr><td class="src">→ a</td><td class="doc"><p>Structure containing the failures</p></td></tr><tr><td class="src">→ m ()</td><td class="doc empty"> </td></tr></table></div></div><h1>Orphan instances</h1><div id="section.orphans"><table><tr><td class="src clearfix"><span class="inst-left"><span class="instance details-toggle-control details-toggle" data-details-id="i:o:ic:Field1:Field1:1"></span> <a href="../microlens/Lens-Micro-Internal.html#t:Field1" title="Lens.Micro.Internal">Field1</a> (a, b, c, d, e, f) (a', b, c, d, e, f) a a'</span> <a href="src/Byron.Spec.Chain.STS.Rule.Chain.html#line-367" class="link">Source</a> <a href="#v:-36-fField1-40--44--44--44--44--44--41--40--44--44--44--44--44--41-aa-39-" class="selflink">#</a></td><td class="doc empty"> </td></tr><tr><td colspan="2"><details id="i:o:ic:Field1:Field1:1"><summary class="hide-when-js-enabled">Instance details</summary><p></p> <div class="subs methods"><p class="caption">Methods</p><p class="src"><a href="#v:_1">_1</a> ∷ <a href="../microlens/Lens-Micro-Type.html#t:Lens" title="Lens.Micro.Type">Lens</a> (a, b, c, d, e, f) (a', b, c, d, e, f) a a' <a href="file:///home/runner/.local/state/cabal/store/ghc-9.2.8/microlens-0.4.13.1-86a948442166b93b22a1942afc7ebe3fbc67c8100229774646126f3d3348ce87/share/doc/html/src" class="link">Source</a> <a href="#v:_1" class="selflink">#</a></p></div></details></td></tr><tr><td class="src clearfix"><span class="inst-left"><span class="instance details-toggle-control details-toggle" data-details-id="i:o:ic:Field5:Field5:2"></span> <a href="../microlens/Lens-Micro-Internal.html#t:Field5" title="Lens.Micro.Internal">Field5</a> (a, b, c, d, e, f) (a, b, c, d, e', f) e e'</span> <a href="src/Byron.Spec.Chain.STS.Rule.Chain.html#line-371" class="link">Source</a> <a href="#v:-36-fField5-40--44--44--44--44--44--41--40--44--44--44--44--44--41-ee-39-" class="selflink">#</a></td><td class="doc empty"> </td></tr><tr><td colspan="2"><details id="i:o:ic:Field5:Field5:2"><summary class="hide-when-js-enabled">Instance details</summary><p></p> <div class="subs methods"><p class="caption">Methods</p><p class="src"><a href="#v:_5">_5</a> ∷ <a href="../microlens/Lens-Micro-Type.html#t:Lens" title="Lens.Micro.Type">Lens</a> (a, b, c, d, e, f) (a, b, c, d, e', f) e e' <a href="file:///home/runner/.local/state/cabal/store/ghc-9.2.8/microlens-0.4.13.1-86a948442166b93b22a1942afc7ebe3fbc67c8100229774646126f3d3348ce87/share/doc/html/src" class="link">Source</a> <a href="#v:_5" class="selflink">#</a></p></div></details></td></tr></table></div></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>