-
Notifications
You must be signed in to change notification settings - Fork 155
/
Byron-Spec-Chain-STS-Rule-BBody.html
1 lines (1 loc) · 51.8 KB
/
Byron-Spec-Chain-STS-Rule-BBody.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.BBody</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.BBody.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.BBody</p></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:BBODY">BBODY</a></li><li class="src short"><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></li></ul></details></div><div id="interface"><h1>Documentation</h1><div class="top"><p class="src"><span class="keyword">data</span> <a id="t:BBODY" class="def">BBODY</a> <a href="src/Byron.Spec.Chain.STS.Rule.BBody.html#BBODY" class="link">Source</a> <a href="#t:BBODY" class="selflink">#</a></p><div class="subs instances"><h4 class="instances details-toggle-control details-toggle" data-details-id="i:BBODY">Instances</h4><details id="i:BBODY" 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:BBODY:Data:1"></span> <a href="../base/Data-Data.html#t:Data" title="Data.Data">Data</a> <a href="Byron-Spec-Chain-STS-Rule-BBody.html#t:BBODY" title="Byron.Spec.Chain.STS.Rule.BBody">BBODY</a></span> <a href="src/Byron.Spec.Chain.STS.Rule.BBody.html#line-46" class="link">Source</a> <a href="#t:BBODY" class="selflink">#</a></td><td class="doc empty"> </td></tr><tr><td colspan="2"><details id="i:id:BBODY:Data:1"><summary class="hide-when-js-enabled">Instance details</summary><p>Defined in <a href="Byron-Spec-Chain-STS-Rule-BBody.html">Byron.Spec.Chain.STS.Rule.BBody</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-BBody.html#t:BBODY" title="Byron.Spec.Chain.STS.Rule.BBody">BBODY</a> → c <a href="Byron-Spec-Chain-STS-Rule-BBody.html#t:BBODY" title="Byron.Spec.Chain.STS.Rule.BBody">BBODY</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-BBody.html#t:BBODY" title="Byron.Spec.Chain.STS.Rule.BBody">BBODY</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-BBody.html#t:BBODY" title="Byron.Spec.Chain.STS.Rule.BBody">BBODY</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-BBody.html#t:BBODY" title="Byron.Spec.Chain.STS.Rule.BBody">BBODY</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-BBody.html#t:BBODY" title="Byron.Spec.Chain.STS.Rule.BBody">BBODY</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-BBody.html#t:BBODY" title="Byron.Spec.Chain.STS.Rule.BBody">BBODY</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-BBody.html#t:BBODY" title="Byron.Spec.Chain.STS.Rule.BBody">BBODY</a> → <a href="Byron-Spec-Chain-STS-Rule-BBody.html#t:BBODY" title="Byron.Spec.Chain.STS.Rule.BBody">BBODY</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-BBody.html#t:BBODY" title="Byron.Spec.Chain.STS.Rule.BBody">BBODY</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-BBody.html#t:BBODY" title="Byron.Spec.Chain.STS.Rule.BBody">BBODY</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-BBody.html#t:BBODY" title="Byron.Spec.Chain.STS.Rule.BBody">BBODY</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-BBody.html#t:BBODY" title="Byron.Spec.Chain.STS.Rule.BBody">BBODY</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-BBody.html#t:BBODY" title="Byron.Spec.Chain.STS.Rule.BBody">BBODY</a> → m <a href="Byron-Spec-Chain-STS-Rule-BBody.html#t:BBODY" title="Byron.Spec.Chain.STS.Rule.BBody">BBODY</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-BBody.html#t:BBODY" title="Byron.Spec.Chain.STS.Rule.BBody">BBODY</a> → m <a href="Byron-Spec-Chain-STS-Rule-BBody.html#t:BBODY" title="Byron.Spec.Chain.STS.Rule.BBody">BBODY</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-BBody.html#t:BBODY" title="Byron.Spec.Chain.STS.Rule.BBody">BBODY</a> → m <a href="Byron-Spec-Chain-STS-Rule-BBody.html#t:BBODY" title="Byron.Spec.Chain.STS.Rule.BBody">BBODY</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:BBODY: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-BBody.html#t:BBODY" title="Byron.Spec.Chain.STS.Rule.BBody">BBODY</a></span> <a href="src/Byron.Spec.Chain.STS.Rule.BBody.html#line-59" class="link">Source</a> <a href="#t:BBODY" class="selflink">#</a></td><td class="doc empty"> </td></tr><tr><td colspan="2"><details id="i:id:BBODY:STS:2"><summary class="hide-when-js-enabled">Instance details</summary><p>Defined in <a href="Byron-Spec-Chain-STS-Rule-BBody.html">Byron.Spec.Chain.STS.Rule.BBody</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-BBody.html#t:BBODY" title="Byron.Spec.Chain.STS.Rule.BBody">BBODY</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-BBody.html#t:BBODY" title="Byron.Spec.Chain.STS.Rule.BBody">BBODY</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-BBody.html#t:BBODY" title="Byron.Spec.Chain.STS.Rule.BBody">BBODY</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-BBody.html#t:BBODY" title="Byron.Spec.Chain.STS.Rule.BBody">BBODY</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-BBody.html#t:BBODY" title="Byron.Spec.Chain.STS.Rule.BBody">BBODY</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-BBody.html#t:BBODY" title="Byron.Spec.Chain.STS.Rule.BBody">BBODY</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-BBody.html#t:BBODY" title="Byron.Spec.Chain.STS.Rule.BBody">BBODY</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-BBody.html#t:BBODY" title="Byron.Spec.Chain.STS.Rule.BBody">BBODY</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-BBody.html#t:BBODY" title="Byron.Spec.Chain.STS.Rule.BBody">BBODY</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-BBody.html#t:BBODY" title="Byron.Spec.Chain.STS.Rule.BBody">BBODY</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:BBODY:Embed:3"></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:Embed" class="selflink">#</a></td><td class="doc empty"> </td></tr><tr><td colspan="2"><details id="i:id:BBODY:Embed: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: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:BBODY: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-Bupi.html#t:BUPI" title="Byron.Spec.Chain.STS.Rule.Bupi">BUPI</a> <a href="Byron-Spec-Chain-STS-Rule-BBody.html#t:BBODY" title="Byron.Spec.Chain.STS.Rule.BBody">BBODY</a></span> <a href="src/Byron.Spec.Chain.STS.Rule.BBody.html#line-121" class="link">Source</a> <a href="#t:BBODY" class="selflink">#</a></td><td class="doc empty"> </td></tr><tr><td colspan="2"><details id="i:id:BBODY:Embed:4"><summary class="hide-when-js-enabled">Instance details</summary><p>Defined in <a href="Byron-Spec-Chain-STS-Rule-BBody.html">Byron.Spec.Chain.STS.Rule.BBody</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-Bupi.html#t:BUPI" title="Byron.Spec.Chain.STS.Rule.Bupi">BUPI</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="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-Bupi.html#t:BUPI" title="Byron.Spec.Chain.STS.Rule.Bupi">BUPI</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="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:BBODY: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-ledger/Byron-Spec-Ledger-Delegation.html#t:DELEG" title="Byron.Spec.Ledger.Delegation">DELEG</a> <a href="Byron-Spec-Chain-STS-Rule-BBody.html#t:BBODY" title="Byron.Spec.Chain.STS.Rule.BBody">BBODY</a></span> <a href="src/Byron.Spec.Chain.STS.Rule.BBody.html#line-124" class="link">Source</a> <a href="#t:BBODY" class="selflink">#</a></td><td class="doc empty"> </td></tr><tr><td colspan="2"><details id="i:id:BBODY:Embed:5"><summary class="hide-when-js-enabled">Instance details</summary><p>Defined in <a href="Byron-Spec-Chain-STS-Rule-BBody.html">Byron.Spec.Chain.STS.Rule.BBody</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-BBody.html#t:BBODY" title="Byron.Spec.Chain.STS.Rule.BBody">BBODY</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-BBody.html#t:BBODY" title="Byron.Spec.Chain.STS.Rule.BBody">BBODY</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:BBODY: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-ledger/Byron-Spec-Ledger-STS-UTXOWS.html#t:UTXOWS" title="Byron.Spec.Ledger.STS.UTXOWS">UTXOWS</a> <a href="Byron-Spec-Chain-STS-Rule-BBody.html#t:BBODY" title="Byron.Spec.Chain.STS.Rule.BBody">BBODY</a></span> <a href="src/Byron.Spec.Chain.STS.Rule.BBody.html#line-127" class="link">Source</a> <a href="#t:BBODY" class="selflink">#</a></td><td class="doc empty"> </td></tr><tr><td colspan="2"><details id="i:id:BBODY:Embed:6"><summary class="hide-when-js-enabled">Instance details</summary><p>Defined in <a href="Byron-Spec-Chain-STS-Rule-BBody.html">Byron.Spec.Chain.STS.Rule.BBody</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-BBody.html#t:BBODY" title="Byron.Spec.Chain.STS.Rule.BBody">BBODY</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-BBody.html#t:BBODY" title="Byron.Spec.Chain.STS.Rule.BBody">BBODY</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:BBODY:BaseM:7"></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-BBody.html#t:BBODY" title="Byron.Spec.Chain.STS.Rule.BBody">BBODY</a></span> <a href="src/Byron.Spec.Chain.STS.Rule.BBody.html#line-59" class="link">Source</a> <a href="#t:BBODY" class="selflink">#</a></td><td class="doc empty"> </td></tr><tr><td colspan="2"><details id="i:id:BBODY:BaseM:7"><summary class="hide-when-js-enabled">Instance details</summary><p>Defined in <a href="Byron-Spec-Chain-STS-Rule-BBody.html">Byron.Spec.Chain.STS.Rule.BBody</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-BBody.html#t:BBODY" title="Byron.Spec.Chain.STS.Rule.BBody">BBODY</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:BBODY:Environment:8"></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-BBody.html#t:BBODY" title="Byron.Spec.Chain.STS.Rule.BBody">BBODY</a></span> <a href="src/Byron.Spec.Chain.STS.Rule.BBody.html#line-61" class="link">Source</a> <a href="#t:BBODY" class="selflink">#</a></td><td class="doc empty"> </td></tr><tr><td colspan="2"><details id="i:id:BBODY:Environment:8"><summary class="hide-when-js-enabled">Instance details</summary><p>Defined in <a href="Byron-Spec-Chain-STS-Rule-BBody.html">Byron.Spec.Chain.STS.Rule.BBody</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-BBody.html#t:BBODY" title="Byron.Spec.Chain.STS.Rule.BBody">BBODY</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:Epoch" title="Byron.Spec.Ledger.Core">Epoch</a>, <a href="../byron-spec-ledger/Byron-Spec-Ledger-UTxO.html#t:UTxO" title="Byron.Spec.Ledger.UTxO">UTxO</a>, <a href="../base/Data-Word.html#t:Word8" title="Data.Word">Word8</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:BBODY:Event:9"></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-BBody.html#t:BBODY" title="Byron.Spec.Chain.STS.Rule.BBody">BBODY</a></span> <a href="src/Byron.Spec.Chain.STS.Rule.BBody.html#line-59" class="link">Source</a> <a href="#t:BBODY" class="selflink">#</a></td><td class="doc empty"> </td></tr><tr><td colspan="2"><details id="i:id:BBODY:Event:9"><summary class="hide-when-js-enabled">Instance details</summary><p>Defined in <a href="Byron-Spec-Chain-STS-Rule-BBody.html">Byron.Spec.Chain.STS.Rule.BBody</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-BBody.html#t:BBODY" title="Byron.Spec.Chain.STS.Rule.BBody">BBODY</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:BBODY:PredicateFailure:10"></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-BBody.html#t:BBODY" title="Byron.Spec.Chain.STS.Rule.BBody">BBODY</a></span> <a href="src/Byron.Spec.Chain.STS.Rule.BBody.html#line-78" class="link">Source</a> <a href="#t:BBODY" class="selflink">#</a></td><td class="doc empty"> </td></tr><tr><td colspan="2"><details id="i:id:BBODY:PredicateFailure:10"><summary class="hide-when-js-enabled">Instance details</summary><p>Defined in <a href="Byron-Spec-Chain-STS-Rule-BBody.html">Byron.Spec.Chain.STS.Rule.BBody</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-BBody.html#t:BBODY" title="Byron.Spec.Chain.STS.Rule.BBody">BBODY</a> = <a href="Byron-Spec-Chain-STS-Rule-BBody.html#t:BbodyPredicateFailure" title="Byron.Spec.Chain.STS.Rule.BBody">BbodyPredicateFailure</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:BBODY:Signal:11"></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-BBody.html#t:BBODY" title="Byron.Spec.Chain.STS.Rule.BBody">BBODY</a></span> <a href="src/Byron.Spec.Chain.STS.Rule.BBody.html#line-76" class="link">Source</a> <a href="#t:BBODY" class="selflink">#</a></td><td class="doc empty"> </td></tr><tr><td colspan="2"><details id="i:id:BBODY:Signal:11"><summary class="hide-when-js-enabled">Instance details</summary><p>Defined in <a href="Byron-Spec-Chain-STS-Rule-BBody.html">Byron.Spec.Chain.STS.Rule.BBody</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-BBody.html#t:BBODY" title="Byron.Spec.Chain.STS.Rule.BBody">BBODY</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:BBODY:State:12"></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-BBody.html#t:BBODY" title="Byron.Spec.Chain.STS.Rule.BBody">BBODY</a></span> <a href="src/Byron.Spec.Chain.STS.Rule.BBody.html#line-70" class="link">Source</a> <a href="#t:BBODY" class="selflink">#</a></td><td class="doc empty"> </td></tr><tr><td colspan="2"><details id="i:id:BBODY:State:12"><summary class="hide-when-js-enabled">Instance details</summary><p>Defined in <a href="Byron-Spec-Chain-STS-Rule-BBody.html">Byron.Spec.Chain.STS.Rule.BBody</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-BBody.html#t:BBODY" title="Byron.Spec.Chain.STS.Rule.BBody">BBODY</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></table></details></div></div><div class="top"><p class="src"><span class="keyword">data</span> <a id="t:BbodyPredicateFailure" class="def">BbodyPredicateFailure</a> <a href="src/Byron.Spec.Chain.STS.Rule.BBody.html#BbodyPredicateFailure" class="link">Source</a> <a href="#t:BbodyPredicateFailure" class="selflink">#</a></p><div class="doc"><p>These <code><a href="../byron-spec-ledger/Byron-Spec-Ledger-Update.html#t:PredicateFailure" title="Byron.Spec.Ledger.Update">PredicateFailure</a></code>s are all throwable.</p></div><div class="subs constructors"><p class="caption">Constructors</p><table><tr><td class="src"><a id="v:InvalidBlockSize" class="def">InvalidBlockSize</a></td><td class="doc empty"> </td></tr><tr><td class="src"><a id="v:InvalidUtxoHash" class="def">InvalidUtxoHash</a></td><td class="doc empty"> </td></tr><tr><td class="src"><a id="v:InvalidDelegationHash" class="def">InvalidDelegationHash</a></td><td class="doc empty"> </td></tr><tr><td class="src"><a id="v:InvalidUpdateProposalHash" class="def">InvalidUpdateProposalHash</a></td><td class="doc empty"> </td></tr><tr><td class="src"><a id="v:BUPIFailure" class="def">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>)</td><td class="doc empty"> </td></tr><tr><td class="src"><a id="v:DelegationFailure" class="def">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>)</td><td class="doc empty"> </td></tr><tr><td class="src"><a id="v:UTXOWSFailure" class="def">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>)</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:BbodyPredicateFailure">Instances</h4><details id="i:BbodyPredicateFailure" 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:BbodyPredicateFailure:Data:1"></span> <a href="../base/Data-Data.html#t:Data" title="Data.Data">Data</a> <a href="Byron-Spec-Chain-STS-Rule-BBody.html#t:BbodyPredicateFailure" title="Byron.Spec.Chain.STS.Rule.BBody">BbodyPredicateFailure</a></span> <a href="src/Byron.Spec.Chain.STS.Rule.BBody.html#line-57" class="link">Source</a> <a href="#t:BbodyPredicateFailure" class="selflink">#</a></td><td class="doc empty"> </td></tr><tr><td colspan="2"><details id="i:id:BbodyPredicateFailure:Data:1"><summary class="hide-when-js-enabled">Instance details</summary><p>Defined in <a href="Byron-Spec-Chain-STS-Rule-BBody.html">Byron.Spec.Chain.STS.Rule.BBody</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-BBody.html#t:BbodyPredicateFailure" title="Byron.Spec.Chain.STS.Rule.BBody">BbodyPredicateFailure</a> → c <a href="Byron-Spec-Chain-STS-Rule-BBody.html#t:BbodyPredicateFailure" title="Byron.Spec.Chain.STS.Rule.BBody">BbodyPredicateFailure</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-BBody.html#t:BbodyPredicateFailure" title="Byron.Spec.Chain.STS.Rule.BBody">BbodyPredicateFailure</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-BBody.html#t:BbodyPredicateFailure" title="Byron.Spec.Chain.STS.Rule.BBody">BbodyPredicateFailure</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-BBody.html#t:BbodyPredicateFailure" title="Byron.Spec.Chain.STS.Rule.BBody">BbodyPredicateFailure</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-BBody.html#t:BbodyPredicateFailure" title="Byron.Spec.Chain.STS.Rule.BBody">BbodyPredicateFailure</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-BBody.html#t:BbodyPredicateFailure" title="Byron.Spec.Chain.STS.Rule.BBody">BbodyPredicateFailure</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-BBody.html#t:BbodyPredicateFailure" title="Byron.Spec.Chain.STS.Rule.BBody">BbodyPredicateFailure</a> → <a href="Byron-Spec-Chain-STS-Rule-BBody.html#t:BbodyPredicateFailure" title="Byron.Spec.Chain.STS.Rule.BBody">BbodyPredicateFailure</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-BBody.html#t:BbodyPredicateFailure" title="Byron.Spec.Chain.STS.Rule.BBody">BbodyPredicateFailure</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-BBody.html#t:BbodyPredicateFailure" title="Byron.Spec.Chain.STS.Rule.BBody">BbodyPredicateFailure</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-BBody.html#t:BbodyPredicateFailure" title="Byron.Spec.Chain.STS.Rule.BBody">BbodyPredicateFailure</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-BBody.html#t:BbodyPredicateFailure" title="Byron.Spec.Chain.STS.Rule.BBody">BbodyPredicateFailure</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-BBody.html#t:BbodyPredicateFailure" title="Byron.Spec.Chain.STS.Rule.BBody">BbodyPredicateFailure</a> → m <a href="Byron-Spec-Chain-STS-Rule-BBody.html#t:BbodyPredicateFailure" title="Byron.Spec.Chain.STS.Rule.BBody">BbodyPredicateFailure</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-BBody.html#t:BbodyPredicateFailure" title="Byron.Spec.Chain.STS.Rule.BBody">BbodyPredicateFailure</a> → m <a href="Byron-Spec-Chain-STS-Rule-BBody.html#t:BbodyPredicateFailure" title="Byron.Spec.Chain.STS.Rule.BBody">BbodyPredicateFailure</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-BBody.html#t:BbodyPredicateFailure" title="Byron.Spec.Chain.STS.Rule.BBody">BbodyPredicateFailure</a> → m <a href="Byron-Spec-Chain-STS-Rule-BBody.html#t:BbodyPredicateFailure" title="Byron.Spec.Chain.STS.Rule.BBody">BbodyPredicateFailure</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:BbodyPredicateFailure:Show:2"></span> <a href="../base/Text-Show.html#t:Show" title="Text.Show">Show</a> <a href="Byron-Spec-Chain-STS-Rule-BBody.html#t:BbodyPredicateFailure" title="Byron.Spec.Chain.STS.Rule.BBody">BbodyPredicateFailure</a></span> <a href="src/Byron.Spec.Chain.STS.Rule.BBody.html#line-57" class="link">Source</a> <a href="#t:BbodyPredicateFailure" class="selflink">#</a></td><td class="doc empty"> </td></tr><tr><td colspan="2"><details id="i:id:BbodyPredicateFailure:Show:2"><summary class="hide-when-js-enabled">Instance details</summary><p>Defined in <a href="Byron-Spec-Chain-STS-Rule-BBody.html">Byron.Spec.Chain.STS.Rule.BBody</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-BBody.html#t:BbodyPredicateFailure" title="Byron.Spec.Chain.STS.Rule.BBody">BbodyPredicateFailure</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-BBody.html#t:BbodyPredicateFailure" title="Byron.Spec.Chain.STS.Rule.BBody">BbodyPredicateFailure</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-BBody.html#t:BbodyPredicateFailure" title="Byron.Spec.Chain.STS.Rule.BBody">BbodyPredicateFailure</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:BbodyPredicateFailure:Eq:3"></span> <a href="../base/Data-Eq.html#t:Eq" title="Data.Eq">Eq</a> <a href="Byron-Spec-Chain-STS-Rule-BBody.html#t:BbodyPredicateFailure" title="Byron.Spec.Chain.STS.Rule.BBody">BbodyPredicateFailure</a></span> <a href="src/Byron.Spec.Chain.STS.Rule.BBody.html#line-57" class="link">Source</a> <a href="#t:BbodyPredicateFailure" class="selflink">#</a></td><td class="doc empty"> </td></tr><tr><td colspan="2"><details id="i:id:BbodyPredicateFailure:Eq:3"><summary class="hide-when-js-enabled">Instance details</summary><p>Defined in <a href="Byron-Spec-Chain-STS-Rule-BBody.html">Byron.Spec.Chain.STS.Rule.BBody</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-BBody.html#t:BbodyPredicateFailure" title="Byron.Spec.Chain.STS.Rule.BBody">BbodyPredicateFailure</a> → <a href="Byron-Spec-Chain-STS-Rule-BBody.html#t:BbodyPredicateFailure" title="Byron.Spec.Chain.STS.Rule.BBody">BbodyPredicateFailure</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-BBody.html#t:BbodyPredicateFailure" title="Byron.Spec.Chain.STS.Rule.BBody">BbodyPredicateFailure</a> → <a href="Byron-Spec-Chain-STS-Rule-BBody.html#t:BbodyPredicateFailure" title="Byron.Spec.Chain.STS.Rule.BBody">BbodyPredicateFailure</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></div><div id="footer"><p>Produced by <a href="http://www.haskell.org/haddock/">Haddock</a> version 2.26.0</p></div></body></html>