-
Notifications
You must be signed in to change notification settings - Fork 155
/
Byron-Spec-Chain-STS-Rule-Pbft.html
1 lines (1 loc) · 45.1 KB
/
Byron-Spec-Chain-STS-Rule-Pbft.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.Pbft</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.Pbft.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.Pbft</p></div><div id="interface"><h1>Documentation</h1><div class="top"><p class="src"><span class="keyword">data</span> <a id="t:PBFT" class="def">PBFT</a> <a href="src/Byron.Spec.Chain.STS.Rule.Pbft.html#PBFT" class="link">Source</a> <a href="#t:PBFT" class="selflink">#</a></p><div class="subs instances"><h4 class="instances details-toggle-control details-toggle" data-details-id="i:PBFT">Instances</h4><details id="i:PBFT" 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:PBFT:Data:1"></span> <a href="../base/Data-Data.html#t:Data" title="Data.Data">Data</a> <a href="Byron-Spec-Chain-STS-Rule-Pbft.html#t:PBFT" title="Byron.Spec.Chain.STS.Rule.Pbft">PBFT</a></span> <a href="src/Byron.Spec.Chain.STS.Rule.Pbft.html#line-18" class="link">Source</a> <a href="#t:PBFT" class="selflink">#</a></td><td class="doc empty"> </td></tr><tr><td colspan="2"><details id="i:id:PBFT:Data:1"><summary class="hide-when-js-enabled">Instance details</summary><p>Defined in <a href="Byron-Spec-Chain-STS-Rule-Pbft.html">Byron.Spec.Chain.STS.Rule.Pbft</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-Pbft.html#t:PBFT" title="Byron.Spec.Chain.STS.Rule.Pbft">PBFT</a> → c <a href="Byron-Spec-Chain-STS-Rule-Pbft.html#t:PBFT" title="Byron.Spec.Chain.STS.Rule.Pbft">PBFT</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-Pbft.html#t:PBFT" title="Byron.Spec.Chain.STS.Rule.Pbft">PBFT</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-Pbft.html#t:PBFT" title="Byron.Spec.Chain.STS.Rule.Pbft">PBFT</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-Pbft.html#t:PBFT" title="Byron.Spec.Chain.STS.Rule.Pbft">PBFT</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-Pbft.html#t:PBFT" title="Byron.Spec.Chain.STS.Rule.Pbft">PBFT</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-Pbft.html#t:PBFT" title="Byron.Spec.Chain.STS.Rule.Pbft">PBFT</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-Pbft.html#t:PBFT" title="Byron.Spec.Chain.STS.Rule.Pbft">PBFT</a> → <a href="Byron-Spec-Chain-STS-Rule-Pbft.html#t:PBFT" title="Byron.Spec.Chain.STS.Rule.Pbft">PBFT</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-Pbft.html#t:PBFT" title="Byron.Spec.Chain.STS.Rule.Pbft">PBFT</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-Pbft.html#t:PBFT" title="Byron.Spec.Chain.STS.Rule.Pbft">PBFT</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-Pbft.html#t:PBFT" title="Byron.Spec.Chain.STS.Rule.Pbft">PBFT</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-Pbft.html#t:PBFT" title="Byron.Spec.Chain.STS.Rule.Pbft">PBFT</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-Pbft.html#t:PBFT" title="Byron.Spec.Chain.STS.Rule.Pbft">PBFT</a> → m <a href="Byron-Spec-Chain-STS-Rule-Pbft.html#t:PBFT" title="Byron.Spec.Chain.STS.Rule.Pbft">PBFT</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-Pbft.html#t:PBFT" title="Byron.Spec.Chain.STS.Rule.Pbft">PBFT</a> → m <a href="Byron-Spec-Chain-STS-Rule-Pbft.html#t:PBFT" title="Byron.Spec.Chain.STS.Rule.Pbft">PBFT</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-Pbft.html#t:PBFT" title="Byron.Spec.Chain.STS.Rule.Pbft">PBFT</a> → m <a href="Byron-Spec-Chain-STS-Rule-Pbft.html#t:PBFT" title="Byron.Spec.Chain.STS.Rule.Pbft">PBFT</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:PBFT: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-Pbft.html#t:PBFT" title="Byron.Spec.Chain.STS.Rule.Pbft">PBFT</a></span> <a href="src/Byron.Spec.Chain.STS.Rule.Pbft.html#line-28" class="link">Source</a> <a href="#t:PBFT" class="selflink">#</a></td><td class="doc empty"> </td></tr><tr><td colspan="2"><details id="i:id:PBFT:STS:2"><summary class="hide-when-js-enabled">Instance details</summary><p>Defined in <a href="Byron-Spec-Chain-STS-Rule-Pbft.html">Byron.Spec.Chain.STS.Rule.Pbft</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-Pbft.html#t:PBFT" title="Byron.Spec.Chain.STS.Rule.Pbft">PBFT</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-Pbft.html#t:PBFT" title="Byron.Spec.Chain.STS.Rule.Pbft">PBFT</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-Pbft.html#t:PBFT" title="Byron.Spec.Chain.STS.Rule.Pbft">PBFT</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-Pbft.html#t:PBFT" title="Byron.Spec.Chain.STS.Rule.Pbft">PBFT</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-Pbft.html#t:PBFT" title="Byron.Spec.Chain.STS.Rule.Pbft">PBFT</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-Pbft.html#t:PBFT" title="Byron.Spec.Chain.STS.Rule.Pbft">PBFT</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-Pbft.html#t:PBFT" title="Byron.Spec.Chain.STS.Rule.Pbft">PBFT</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-Pbft.html#t:PBFT" title="Byron.Spec.Chain.STS.Rule.Pbft">PBFT</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-Pbft.html#t:PBFT" title="Byron.Spec.Chain.STS.Rule.Pbft">PBFT</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-Pbft.html#t:PBFT" title="Byron.Spec.Chain.STS.Rule.Pbft">PBFT</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:PBFT: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-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:Embed" class="selflink">#</a></td><td class="doc empty"> </td></tr><tr><td colspan="2"><details id="i:id:PBFT: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-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:PBFT: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-SigCnt.html#t:SIGCNT" title="Byron.Spec.Chain.STS.Rule.SigCnt">SIGCNT</a> <a href="Byron-Spec-Chain-STS-Rule-Pbft.html#t:PBFT" title="Byron.Spec.Chain.STS.Rule.Pbft">PBFT</a></span> <a href="src/Byron.Spec.Chain.STS.Rule.Pbft.html#line-59" class="link">Source</a> <a href="#t:PBFT" class="selflink">#</a></td><td class="doc empty"> </td></tr><tr><td colspan="2"><details id="i:id:PBFT:Embed:4"><summary class="hide-when-js-enabled">Instance details</summary><p>Defined in <a href="Byron-Spec-Chain-STS-Rule-Pbft.html">Byron.Spec.Chain.STS.Rule.Pbft</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-SigCnt.html#t:SIGCNT" title="Byron.Spec.Chain.STS.Rule.SigCnt">SIGCNT</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="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-SigCnt.html#t:SIGCNT" title="Byron.Spec.Chain.STS.Rule.SigCnt">SIGCNT</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="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:PBFT:BaseM:5"></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-Pbft.html#t:PBFT" title="Byron.Spec.Chain.STS.Rule.Pbft">PBFT</a></span> <a href="src/Byron.Spec.Chain.STS.Rule.Pbft.html#line-28" class="link">Source</a> <a href="#t:PBFT" class="selflink">#</a></td><td class="doc empty"> </td></tr><tr><td colspan="2"><details id="i:id:PBFT:BaseM:5"><summary class="hide-when-js-enabled">Instance details</summary><p>Defined in <a href="Byron-Spec-Chain-STS-Rule-Pbft.html">Byron.Spec.Chain.STS.Rule.Pbft</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-Pbft.html#t:PBFT" title="Byron.Spec.Chain.STS.Rule.Pbft">PBFT</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:PBFT:Environment:6"></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-Pbft.html#t:PBFT" title="Byron.Spec.Chain.STS.Rule.Pbft">PBFT</a></span> <a href="src/Byron.Spec.Chain.STS.Rule.Pbft.html#line-30" class="link">Source</a> <a href="#t:PBFT" class="selflink">#</a></td><td class="doc empty"> </td></tr><tr><td colspan="2"><details id="i:id:PBFT:Environment:6"><summary class="hide-when-js-enabled">Instance details</summary><p>Defined in <a href="Byron-Spec-Chain-STS-Rule-Pbft.html">Byron.Spec.Chain.STS.Rule.Pbft</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-Pbft.html#t:PBFT" title="Byron.Spec.Chain.STS.Rule.Pbft">PBFT</a> = (<a href="../byron-spec-ledger/Byron-Spec-Ledger-Update.html#t:PParams" title="Byron.Spec.Ledger.Update">PParams</a>, <a href="../bimap/Data-Bimap.html#t:Bimap" title="Data.Bimap">Bimap</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:VKey" title="Byron.Spec.Ledger.Core">VKey</a>, <a href="../byron-spec-ledger/Byron-Spec-Ledger-Core.html#t:Slot" title="Byron.Spec.Ledger.Core">Slot</a>, <a href="../byron-spec-ledger/Byron-Spec-Ledger-Core.html#t:Slot" title="Byron.Spec.Ledger.Core">Slot</a>, <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:PBFT:Event:7"></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-Pbft.html#t:PBFT" title="Byron.Spec.Chain.STS.Rule.Pbft">PBFT</a></span> <a href="src/Byron.Spec.Chain.STS.Rule.Pbft.html#line-28" class="link">Source</a> <a href="#t:PBFT" class="selflink">#</a></td><td class="doc empty"> </td></tr><tr><td colspan="2"><details id="i:id:PBFT:Event:7"><summary class="hide-when-js-enabled">Instance details</summary><p>Defined in <a href="Byron-Spec-Chain-STS-Rule-Pbft.html">Byron.Spec.Chain.STS.Rule.Pbft</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-Pbft.html#t:PBFT" title="Byron.Spec.Chain.STS.Rule.Pbft">PBFT</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:PBFT:PredicateFailure:8"></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-Pbft.html#t:PBFT" title="Byron.Spec.Chain.STS.Rule.Pbft">PBFT</a></span> <a href="src/Byron.Spec.Chain.STS.Rule.Pbft.html#line-42" class="link">Source</a> <a href="#t:PBFT" class="selflink">#</a></td><td class="doc empty"> </td></tr><tr><td colspan="2"><details id="i:id:PBFT:PredicateFailure:8"><summary class="hide-when-js-enabled">Instance details</summary><p>Defined in <a href="Byron-Spec-Chain-STS-Rule-Pbft.html">Byron.Spec.Chain.STS.Rule.Pbft</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-Pbft.html#t:PBFT" title="Byron.Spec.Chain.STS.Rule.Pbft">PBFT</a> = <a href="Byron-Spec-Chain-STS-Rule-Pbft.html#t:PbftPredicateFailure" title="Byron.Spec.Chain.STS.Rule.Pbft">PbftPredicateFailure</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:PBFT:Signal:9"></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-Pbft.html#t:PBFT" title="Byron.Spec.Chain.STS.Rule.Pbft">PBFT</a></span> <a href="src/Byron.Spec.Chain.STS.Rule.Pbft.html#line-40" class="link">Source</a> <a href="#t:PBFT" class="selflink">#</a></td><td class="doc empty"> </td></tr><tr><td colspan="2"><details id="i:id:PBFT:Signal:9"><summary class="hide-when-js-enabled">Instance details</summary><p>Defined in <a href="Byron-Spec-Chain-STS-Rule-Pbft.html">Byron.Spec.Chain.STS.Rule.Pbft</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-Pbft.html#t:PBFT" title="Byron.Spec.Chain.STS.Rule.Pbft">PBFT</a> = <a href="Byron-Spec-Chain-STS-Block.html#t:BlockHeader" title="Byron.Spec.Chain.STS.Block">BlockHeader</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:PBFT:State:10"></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-Pbft.html#t:PBFT" title="Byron.Spec.Chain.STS.Rule.Pbft">PBFT</a></span> <a href="src/Byron.Spec.Chain.STS.Rule.Pbft.html#line-38" class="link">Source</a> <a href="#t:PBFT" class="selflink">#</a></td><td class="doc empty"> </td></tr><tr><td colspan="2"><details id="i:id:PBFT:State:10"><summary class="hide-when-js-enabled">Instance details</summary><p>Defined in <a href="Byron-Spec-Chain-STS-Rule-Pbft.html">Byron.Spec.Chain.STS.Rule.Pbft</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-Pbft.html#t:PBFT" title="Byron.Spec.Chain.STS.Rule.Pbft">PBFT</a> = (<a href="../byron-spec-ledger/Byron-Spec-Ledger-Core.html#t:Hash" title="Byron.Spec.Ledger.Core">Hash</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>)</div></details></td></tr></table></details></div></div><div class="top"><p class="src"><span class="keyword">data</span> <a id="t:PbftPredicateFailure" class="def">PbftPredicateFailure</a> <a href="src/Byron.Spec.Chain.STS.Rule.Pbft.html#PbftPredicateFailure" class="link">Source</a> <a href="#t:PbftPredicateFailure" class="selflink">#</a></p><div class="subs constructors"><p class="caption">Constructors</p><table><tr><td class="src"><a id="v:SlotNotAfterLastBlock" class="def">SlotNotAfterLastBlock</a> <a href="../byron-spec-ledger/Byron-Spec-Ledger-Core.html#t:Slot" title="Byron.Spec.Ledger.Core">Slot</a> <a href="../byron-spec-ledger/Byron-Spec-Ledger-Core.html#t:Slot" title="Byron.Spec.Ledger.Core">Slot</a></td><td class="doc empty"> </td></tr><tr><td class="src"><a id="v:SlotInTheFuture" class="def">SlotInTheFuture</a> <a href="../byron-spec-ledger/Byron-Spec-Ledger-Core.html#t:Slot" title="Byron.Spec.Ledger.Core">Slot</a> <a href="../byron-spec-ledger/Byron-Spec-Ledger-Core.html#t:Slot" title="Byron.Spec.Ledger.Core">Slot</a></td><td class="doc empty"> </td></tr><tr><td class="src"><a id="v:PrevHashNotMatching" class="def">PrevHashNotMatching</a> <a href="../byron-spec-ledger/Byron-Spec-Ledger-Core.html#t:Hash" title="Byron.Spec.Ledger.Core">Hash</a> <a href="../byron-spec-ledger/Byron-Spec-Ledger-Core.html#t:Hash" title="Byron.Spec.Ledger.Core">Hash</a></td><td class="doc empty"> </td></tr><tr><td class="src"><a id="v:InvalidHeaderSignature" class="def">InvalidHeaderSignature</a> <a href="../byron-spec-ledger/Byron-Spec-Ledger-Core.html#t:VKey" title="Byron.Spec.Ledger.Core">VKey</a> (<a href="../byron-spec-ledger/Byron-Spec-Ledger-Core.html#t:Sig" title="Byron.Spec.Ledger.Core">Sig</a> <a href="../byron-spec-ledger/Byron-Spec-Ledger-Core.html#t:Hash" title="Byron.Spec.Ledger.Core">Hash</a>)</td><td class="doc empty"> </td></tr><tr><td class="src"><a id="v:SigCountFailure" class="def">SigCountFailure</a> (<a href="../byron-spec-ledger/Byron-Spec-Ledger-Update.html#t:PredicateFailure" title="Byron.Spec.Ledger.Update">PredicateFailure</a> <a href="Byron-Spec-Chain-STS-Rule-SigCnt.html#t:SIGCNT" title="Byron.Spec.Chain.STS.Rule.SigCnt">SIGCNT</a>)</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:PbftPredicateFailure">Instances</h4><details id="i:PbftPredicateFailure" 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:PbftPredicateFailure:Data:1"></span> <a href="../base/Data-Data.html#t:Data" title="Data.Data">Data</a> <a href="Byron-Spec-Chain-STS-Rule-Pbft.html#t:PbftPredicateFailure" title="Byron.Spec.Chain.STS.Rule.Pbft">PbftPredicateFailure</a></span> <a href="src/Byron.Spec.Chain.STS.Rule.Pbft.html#line-26" class="link">Source</a> <a href="#t:PbftPredicateFailure" class="selflink">#</a></td><td class="doc empty"> </td></tr><tr><td colspan="2"><details id="i:id:PbftPredicateFailure:Data:1"><summary class="hide-when-js-enabled">Instance details</summary><p>Defined in <a href="Byron-Spec-Chain-STS-Rule-Pbft.html">Byron.Spec.Chain.STS.Rule.Pbft</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-Pbft.html#t:PbftPredicateFailure" title="Byron.Spec.Chain.STS.Rule.Pbft">PbftPredicateFailure</a> → c <a href="Byron-Spec-Chain-STS-Rule-Pbft.html#t:PbftPredicateFailure" title="Byron.Spec.Chain.STS.Rule.Pbft">PbftPredicateFailure</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-Pbft.html#t:PbftPredicateFailure" title="Byron.Spec.Chain.STS.Rule.Pbft">PbftPredicateFailure</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-Pbft.html#t:PbftPredicateFailure" title="Byron.Spec.Chain.STS.Rule.Pbft">PbftPredicateFailure</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-Pbft.html#t:PbftPredicateFailure" title="Byron.Spec.Chain.STS.Rule.Pbft">PbftPredicateFailure</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-Pbft.html#t:PbftPredicateFailure" title="Byron.Spec.Chain.STS.Rule.Pbft">PbftPredicateFailure</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-Pbft.html#t:PbftPredicateFailure" title="Byron.Spec.Chain.STS.Rule.Pbft">PbftPredicateFailure</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-Pbft.html#t:PbftPredicateFailure" title="Byron.Spec.Chain.STS.Rule.Pbft">PbftPredicateFailure</a> → <a href="Byron-Spec-Chain-STS-Rule-Pbft.html#t:PbftPredicateFailure" title="Byron.Spec.Chain.STS.Rule.Pbft">PbftPredicateFailure</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-Pbft.html#t:PbftPredicateFailure" title="Byron.Spec.Chain.STS.Rule.Pbft">PbftPredicateFailure</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-Pbft.html#t:PbftPredicateFailure" title="Byron.Spec.Chain.STS.Rule.Pbft">PbftPredicateFailure</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-Pbft.html#t:PbftPredicateFailure" title="Byron.Spec.Chain.STS.Rule.Pbft">PbftPredicateFailure</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-Pbft.html#t:PbftPredicateFailure" title="Byron.Spec.Chain.STS.Rule.Pbft">PbftPredicateFailure</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-Pbft.html#t:PbftPredicateFailure" title="Byron.Spec.Chain.STS.Rule.Pbft">PbftPredicateFailure</a> → m <a href="Byron-Spec-Chain-STS-Rule-Pbft.html#t:PbftPredicateFailure" title="Byron.Spec.Chain.STS.Rule.Pbft">PbftPredicateFailure</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-Pbft.html#t:PbftPredicateFailure" title="Byron.Spec.Chain.STS.Rule.Pbft">PbftPredicateFailure</a> → m <a href="Byron-Spec-Chain-STS-Rule-Pbft.html#t:PbftPredicateFailure" title="Byron.Spec.Chain.STS.Rule.Pbft">PbftPredicateFailure</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-Pbft.html#t:PbftPredicateFailure" title="Byron.Spec.Chain.STS.Rule.Pbft">PbftPredicateFailure</a> → m <a href="Byron-Spec-Chain-STS-Rule-Pbft.html#t:PbftPredicateFailure" title="Byron.Spec.Chain.STS.Rule.Pbft">PbftPredicateFailure</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:PbftPredicateFailure:Show:2"></span> <a href="../base/Text-Show.html#t:Show" title="Text.Show">Show</a> <a href="Byron-Spec-Chain-STS-Rule-Pbft.html#t:PbftPredicateFailure" title="Byron.Spec.Chain.STS.Rule.Pbft">PbftPredicateFailure</a></span> <a href="src/Byron.Spec.Chain.STS.Rule.Pbft.html#line-26" class="link">Source</a> <a href="#t:PbftPredicateFailure" class="selflink">#</a></td><td class="doc empty"> </td></tr><tr><td colspan="2"><details id="i:id:PbftPredicateFailure:Show:2"><summary class="hide-when-js-enabled">Instance details</summary><p>Defined in <a href="Byron-Spec-Chain-STS-Rule-Pbft.html">Byron.Spec.Chain.STS.Rule.Pbft</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-Pbft.html#t:PbftPredicateFailure" title="Byron.Spec.Chain.STS.Rule.Pbft">PbftPredicateFailure</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-Pbft.html#t:PbftPredicateFailure" title="Byron.Spec.Chain.STS.Rule.Pbft">PbftPredicateFailure</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-Pbft.html#t:PbftPredicateFailure" title="Byron.Spec.Chain.STS.Rule.Pbft">PbftPredicateFailure</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:PbftPredicateFailure:Eq:3"></span> <a href="../base/Data-Eq.html#t:Eq" title="Data.Eq">Eq</a> <a href="Byron-Spec-Chain-STS-Rule-Pbft.html#t:PbftPredicateFailure" title="Byron.Spec.Chain.STS.Rule.Pbft">PbftPredicateFailure</a></span> <a href="src/Byron.Spec.Chain.STS.Rule.Pbft.html#line-26" class="link">Source</a> <a href="#t:PbftPredicateFailure" class="selflink">#</a></td><td class="doc empty"> </td></tr><tr><td colspan="2"><details id="i:id:PbftPredicateFailure:Eq:3"><summary class="hide-when-js-enabled">Instance details</summary><p>Defined in <a href="Byron-Spec-Chain-STS-Rule-Pbft.html">Byron.Spec.Chain.STS.Rule.Pbft</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-Pbft.html#t:PbftPredicateFailure" title="Byron.Spec.Chain.STS.Rule.Pbft">PbftPredicateFailure</a> → <a href="Byron-Spec-Chain-STS-Rule-Pbft.html#t:PbftPredicateFailure" title="Byron.Spec.Chain.STS.Rule.Pbft">PbftPredicateFailure</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-Pbft.html#t:PbftPredicateFailure" title="Byron.Spec.Chain.STS.Rule.Pbft">PbftPredicateFailure</a> → <a href="Byron-Spec-Chain-STS-Rule-Pbft.html#t:PbftPredicateFailure" title="Byron.Spec.Chain.STS.Rule.Pbft">PbftPredicateFailure</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>