Modulecardano-protocol-tpraos-1.6.0.0
Cardano.Protocol.TPraos.Rules.Overlay
- 4 types
- 3 values
- Packagecardano-protocol-tpraos-1.6.0.0
- Exports8
- LicenceApache-2.0
Constructors
Instances9Eq, Ord, Show, Generic, NFData, NoThunks, …
Eq OBftSlotDefined in cardano-protocol-tpraos-1.6.0.0 · Cardano.Protocol.TPraos.Rules.OverlayOrd OBftSlotDefined in cardano-protocol-tpraos-1.6.0.0 · Cardano.Protocol.TPraos.Rules.OverlayShow OBftSlotDefined in cardano-protocol-tpraos-1.6.0.0 · Cardano.Protocol.TPraos.Rules.OverlayGeneric OBftSlotDefined in cardano-protocol-tpraos-1.6.0.0 · Cardano.Protocol.TPraos.Rules.OverlayNFData OBftSlotDefined in cardano-protocol-tpraos-1.6.0.0 · Cardano.Protocol.TPraos.Rules.OverlayNoThunks OBftSlotDefined in cardano-protocol-tpraos-1.6.0.0 · Cardano.Protocol.TPraos.Rules.OverlayDecCBOR OBftSlotDefined in cardano-protocol-tpraos-1.6.0.0 · Cardano.Protocol.TPraos.Rules.OverlayEncCBOR OBftSlotDefined in cardano-protocol-tpraos-1.6.0.0 · Cardano.Protocol.TPraos.Rules.Overlaytype Rep OBftSlot = D1 ('MetaDataDefined in cardano-protocol-tpraos-1.6.0.0 · Cardano.Protocol.TPraos.Rules.Overlay"OBftSlot"
"Cardano.Protocol.TPraos.Rules.Overlay"
"cardano-protocol-tpraos-1.6.0.0-2s4nlofx1FCDfF2AvDG7gs"
'False) (C1 ('MetaCons"NonActiveSlot"
'PrefixI 'False) U1 :+: C1 ('MetaCons"ActiveSlot"
'PrefixI 'False) (S1 ('MetaSel 'Nothing 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 (KeyHash GenesisRole))))
Instances9STS, Embed, BaseM, Environment, Event, PredicateFailure, …
(Crypto c, Signable (KES c) (BHBody c), Signable (VRF c) Seed) => STS (OVERLAY c)Defined in cardano-protocol-tpraos-1.6.0.0 · Cardano.Protocol.TPraos.Rules.Overlay(Crypto c, Signable (KES c) (BHBody c), Signable (VRF c) Seed) => Embed (OCERT c) (OVERLAY c)Defined in cardano-protocol-tpraos-1.6.0.0 · Cardano.Protocol.TPraos.Rules.Overlay(Crypto c, Signable (KES c) (BHBody c), Signable (VRF c) Seed) => Embed (OVERLAY c) (PRTCL c)Defined in cardano-protocol-tpraos-1.6.0.0 · Cardano.Protocol.TPraos.Rules.Prtcltype BaseM (OVERLAY c) = ShelleyBaseDefined in cardano-protocol-tpraos-1.6.0.0 · Cardano.Protocol.TPraos.Rules.Overlaytype Environment (OVERLAY c) = OverlayEnvDefined in cardano-protocol-tpraos-1.6.0.0 · Cardano.Protocol.TPraos.Rules.Overlaytype Event (OVERLAY c) = VoidDefined in cardano-protocol-tpraos-1.6.0.0 · Cardano.Protocol.TPraos.Rules.Overlaytype PredicateFailure (OVERLAY c) = OverlayPredicateFailure cDefined in cardano-protocol-tpraos-1.6.0.0 · Cardano.Protocol.TPraos.Rules.Overlaytype Signal (OVERLAY c) = BHeader cDefined in cardano-protocol-tpraos-1.6.0.0 · Cardano.Protocol.TPraos.Rules.Overlaytype State (OVERLAY c) = Map (KeyHash BlockIssuer) Word64Defined in cardano-protocol-tpraos-1.6.0.0 · Cardano.Protocol.TPraos.Rules.Overlay
Constructors
Instances3Generic, NoThunks, Rep
Generic OverlayEnvDefined in cardano-protocol-tpraos-1.6.0.0 · Cardano.Protocol.TPraos.Rules.OverlayNoThunks OverlayEnvDefined in cardano-protocol-tpraos-1.6.0.0 · Cardano.Protocol.TPraos.Rules.Overlaytype Rep OverlayEnv = D1 ('MetaDataDefined in cardano-protocol-tpraos-1.6.0.0 · Cardano.Protocol.TPraos.Rules.Overlay"OverlayEnv"
"Cardano.Protocol.TPraos.Rules.Overlay"
"cardano-protocol-tpraos-1.6.0.0-2s4nlofx1FCDfF2AvDG7gs"
'False) (C1 ('MetaCons"OverlayEnv"
'PrefixI 'False) ((S1 ('MetaSel 'Nothing 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 UnitInterval) :*: S1 ('MetaSel 'Nothing 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 PoolDistr)) :*: (S1 ('MetaSel 'Nothing 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 GenDelegs) :*: S1 ('MetaSel 'Nothing 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Nonce))))
Constructors
VRFKeyUnknown (KeyHash StakePool)VRFKeyWrongVRFKey (KeyHash StakePool) (VRFVerKeyHash StakePoolVRF) (VRFVerKeyHash BlockIssuerVRF)VRFKeyBadNonce Nonce SlotNo Nonce (CertifiedVRF (VRF c) Nonce)VRFKeyBadLeaderValue Nonce SlotNo Nonce (CertifiedVRF (VRF c) Nonce)VRFLeaderValueTooBig (OutputVRF (VRF c)) Rational ActiveSlotCoeffNotActiveSlotOVERLAY SlotNoWrongGenesisColdKeyOVERLAY (KeyHash BlockIssuer) (KeyHash GenesisDelegate)WrongGenesisVRFKeyOVERLAY (KeyHash BlockIssuer) (VRFVerKeyHash GenDelegVRF) (VRFVerKeyHash BlockIssuerVRF)UnknownGenesisKeyOVERLAY (KeyHash GenesisRole)OcertFailure (PredicateFailure (OCERT c))
Instances5Eq, Show, Generic, NoThunks, Rep
VRFAlgorithm (VRF c) => Eq (OverlayPredicateFailure c)Defined in cardano-protocol-tpraos-1.6.0.0 · Cardano.Protocol.TPraos.Rules.OverlayVRFAlgorithm (VRF c) => Show (OverlayPredicateFailure c)Defined in cardano-protocol-tpraos-1.6.0.0 · Cardano.Protocol.TPraos.Rules.OverlayGeneric (OverlayPredicateFailure c)Defined in cardano-protocol-tpraos-1.6.0.0 · Cardano.Protocol.TPraos.Rules.OverlayVRFAlgorithm (VRF c) => NoThunks (OverlayPredicateFailure c)Defined in cardano-protocol-tpraos-1.6.0.0 · Cardano.Protocol.TPraos.Rules.Overlaytype Rep (OverlayPredicateFailure c) = D1 ('MetaDataDefined in cardano-protocol-tpraos-1.6.0.0 · Cardano.Protocol.TPraos.Rules.Overlay"OverlayPredicateFailure"
"Cardano.Protocol.TPraos.Rules.Overlay"
"cardano-protocol-tpraos-1.6.0.0-2s4nlofx1FCDfF2AvDG7gs"
'False) (((C1 ('MetaCons"VRFKeyUnknown"
'PrefixI 'False) (S1 ('MetaSel 'Nothing 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (KeyHash StakePool))) :+: C1 ('MetaCons"VRFKeyWrongVRFKey"
'PrefixI 'False) (S1 ('MetaSel 'Nothing 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (KeyHash StakePool)) :*: (S1 ('MetaSel 'Nothing 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (VRFVerKeyHash StakePoolVRF)) :*: S1 ('MetaSel 'Nothing 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (VRFVerKeyHash BlockIssuerVRF))))) :+: (C1 ('MetaCons"VRFKeyBadNonce"
'PrefixI 'False) ((S1 ('MetaSel 'Nothing 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Nonce) :*: S1 ('MetaSel 'Nothing 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 SlotNo)) :*: (S1 ('MetaSel 'Nothing 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Nonce) :*: S1 ('MetaSel 'Nothing 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (CertifiedVRF (VRF c) Nonce)))) :+: (C1 ('MetaCons"VRFKeyBadLeaderValue"
'PrefixI 'False) ((S1 ('MetaSel 'Nothing 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Nonce) :*: S1 ('MetaSel 'Nothing 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 SlotNo)) :*: (S1 ('MetaSel 'Nothing 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Nonce) :*: S1 ('MetaSel 'Nothing 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (CertifiedVRF (VRF c) Nonce)))) :+: C1 ('MetaCons"VRFLeaderValueTooBig"
'PrefixI 'False) (S1 ('MetaSel 'Nothing 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (OutputVRF (VRF c))) :*: (S1 ('MetaSel 'Nothing 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Rational) :*: S1 ('MetaSel 'Nothing 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 ActiveSlotCoeff)))))) :+: ((C1 ('MetaCons"NotActiveSlotOVERLAY"
'PrefixI 'False) (S1 ('MetaSel 'Nothing 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 SlotNo)) :+: C1 ('MetaCons"WrongGenesisColdKeyOVERLAY"
'PrefixI 'False) (S1 ('MetaSel 'Nothing 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (KeyHash BlockIssuer)) :*: S1 ('MetaSel 'Nothing 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (KeyHash GenesisDelegate)))) :+: (C1 ('MetaCons"WrongGenesisVRFKeyOVERLAY"
'PrefixI 'False) (S1 ('MetaSel 'Nothing 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (KeyHash BlockIssuer)) :*: (S1 ('MetaSel 'Nothing 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (VRFVerKeyHash GenDelegVRF)) :*: S1 ('MetaSel 'Nothing 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (VRFVerKeyHash BlockIssuerVRF)))) :+: (C1 ('MetaCons"UnknownGenesisKeyOVERLAY"
'PrefixI 'False) (S1 ('MetaSel 'Nothing 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (KeyHash GenesisRole))) :+: C1 ('MetaCons"OcertFailure"
'PrefixI 'False) (S1 ('MetaSel 'Nothing 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (PredicateFailure (OCERT c))))))))
Instances76PredicateFailure, …
type PredicateFailure TICKN = VoidDefined in cardano-protocol-tpraos-1.6.0.0 · Cardano.Protocol.TPraos.Rules.Tickntype PredicateFailure (UTXO era) = AllegraUtxoPredFailure eraDefined in cardano-ledger-allegra-1.10.1.0 · Cardano.Ledger.Allegra.Rules.Utxo · orphantype PredicateFailure (UTXOW era) = ShelleyUtxowPredFailure eraDefined in cardano-ledger-allegra-1.10.1.0 · Cardano.Ledger.Allegra.Rules.Utxow · orphantype PredicateFailure (BBODY era) = AlonzoBbodyPredFailure eraDefined in cardano-ledger-alonzo-1.16.0.0 · Cardano.Ledger.Alonzo.Rules.Bbody · orphantype PredicateFailure (LEDGER era) = ShelleyLedgerPredFailure eraDefined in cardano-ledger-alonzo-1.16.0.0 · Cardano.Ledger.Alonzo.Rules.Ledger · orphantype PredicateFailure (LEDGERS era) = ShelleyLedgersPredFailure eraDefined in cardano-ledger-alonzo-1.16.0.0 · Cardano.Ledger.Alonzo.Rules.Ledgers · orphantype PredicateFailure (UTXO era) = AlonzoUtxoPredFailure eraDefined in cardano-ledger-alonzo-1.16.0.0 · Cardano.Ledger.Alonzo.Rules.Utxo · orphantype PredicateFailure (UTXOS era) = AlonzoUtxosPredFailure eraDefined in cardano-ledger-alonzo-1.16.0.0 · Cardano.Ledger.Alonzo.Rules.Utxos · orphantype PredicateFailure (UTXOW era) = AlonzoUtxowPredFailure eraDefined in cardano-ledger-alonzo-1.16.0.0 · Cardano.Ledger.Alonzo.Rules.Utxow · orphantype PredicateFailure (LEDGER era) = ShelleyLedgerPredFailure eraDefined in cardano-ledger-babbage-1.14.0.0 · Cardano.Ledger.Babbage.Rules.Ledger · orphantype PredicateFailure (LEDGERS era) = ShelleyLedgersPredFailure eraDefined in cardano-ledger-babbage-1.14.0.0 · Cardano.Ledger.Babbage.Rules.Ledgers · orphantype PredicateFailure (UTXO era) = BabbageUtxoPredFailure eraDefined in cardano-ledger-babbage-1.14.0.0 · Cardano.Ledger.Babbage.Rules.Utxo · orphantype PredicateFailure (UTXOS era) = AlonzoUtxosPredFailure eraDefined in cardano-ledger-babbage-1.14.0.0 · Cardano.Ledger.Babbage.Rules.Utxos · orphantype PredicateFailure (UTXOW era) = BabbageUtxowPredFailure eraDefined in cardano-ledger-babbage-1.14.0.0 · Cardano.Ledger.Babbage.Rules.Utxow · orphantype PredicateFailure (BBODY era) = ConwayBbodyPredFailure eraDefined in cardano-ledger-conway-1.23.0.0 · Cardano.Ledger.Conway.Rules.Bbody · orphantype PredicateFailure (CERT era) = ConwayCertPredFailure eraDefined in cardano-ledger-conway-1.23.0.0 · Cardano.Ledger.Conway.Rules.Cert · orphantype PredicateFailure (CERTS era) = ConwayCertsPredFailure eraDefined in cardano-ledger-conway-1.23.0.0 · Cardano.Ledger.Conway.Rules.Certs · orphantype PredicateFailure (DELEG era) = ConwayDelegPredFailure eraDefined in cardano-ledger-conway-1.23.0.0 · Cardano.Ledger.Conway.Rules.Deleg · orphantype PredicateFailure (ENACT era) = VoidDefined in cardano-ledger-conway-1.23.0.0 · Cardano.Ledger.Conway.Rules.Enact · orphantype PredicateFailure (EPOCH era) = VoidDefined in cardano-ledger-conway-1.23.0.0 · Cardano.Ledger.Conway.Rules.Epoch · orphantype PredicateFailure (GOV era) = ConwayGovPredFailure eraDefined in cardano-ledger-conway-1.23.0.0 · Cardano.Ledger.Conway.Rules.Gov · orphantype PredicateFailure (GOVCERT era) = ConwayGovCertPredFailure eraDefined in cardano-ledger-conway-1.23.0.0 · Cardano.Ledger.Conway.Rules.GovCert · orphantype PredicateFailure (HARDFORK era) = VoidDefined in cardano-ledger-conway-1.23.0.0 · Cardano.Ledger.Conway.Rules.HardFork · orphantype PredicateFailure (LEDGER era) = ConwayLedgerPredFailure eraDefined in cardano-ledger-conway-1.23.0.0 · Cardano.Ledger.Conway.Rules.Ledger · orphantype PredicateFailure (MEMPOOL era) = ConwayLedgerPredFailure eraDefined in cardano-ledger-conway-1.23.0.0 · Cardano.Ledger.Conway.Rules.Mempool · orphantype PredicateFailure (NEWEPOCH era) = VoidDefined in cardano-ledger-conway-1.23.0.0 · Cardano.Ledger.Conway.Rules.NewEpoch · orphantype PredicateFailure (RATIFY era) = VoidDefined in cardano-ledger-conway-1.23.0.0 · Cardano.Ledger.Conway.Rules.Ratify · orphantype PredicateFailure (TICKF era) = VoidDefined in cardano-ledger-conway-1.23.0.0 · Cardano.Ledger.Conway.Rules.Tickf · orphantype PredicateFailure (UTXO era) = ConwayUtxoPredFailure eraDefined in cardano-ledger-conway-1.23.0.0 · Cardano.Ledger.Conway.Rules.Utxo · orphantype PredicateFailure (UTXOS era) = ConwayUtxosPredFailure eraDefined in cardano-ledger-conway-1.23.0.0 · Cardano.Ledger.Conway.Rules.Utxos · orphantype PredicateFailure (UTXOW era) = ConwayUtxowPredFailure eraDefined in cardano-ledger-conway-1.23.0.0 · Cardano.Ledger.Conway.Rules.Utxow · orphantype PredicateFailure (BBODY era) = DijkstraBbodyPredFailure eraDefined in cardano-ledger-dijkstra-0.3.0.0 · Cardano.Ledger.Dijkstra.Rules.Bbody · orphantype PredicateFailure (CERT era) = ConwayCertPredFailure eraDefined in cardano-ledger-dijkstra-0.3.0.0 · Cardano.Ledger.Dijkstra.Rules.Cert · orphantype PredicateFailure (ENTITIES era) = EntitiesPredFailure eraDefined in cardano-ledger-dijkstra-0.3.0.0 · Cardano.Ledger.Dijkstra.Rules.Entities · orphantype PredicateFailure (GOV era) = DijkstraGovPredFailure eraDefined in cardano-ledger-dijkstra-0.3.0.0 · Cardano.Ledger.Dijkstra.Rules.Gov · orphantype PredicateFailure (GOVCERT era) = DijkstraGovCertPredFailure eraDefined in cardano-ledger-dijkstra-0.3.0.0 · Cardano.Ledger.Dijkstra.Rules.GovCert · orphantype PredicateFailure (LEDGER era) = DijkstraLedgerPredFailure eraDefined in cardano-ledger-dijkstra-0.3.0.0 · Cardano.Ledger.Dijkstra.Rules.Ledger · orphantype PredicateFailure (MEMPOOL era) = DijkstraMempoolPredFailure eraDefined in cardano-ledger-dijkstra-0.3.0.0 · Cardano.Ledger.Dijkstra.Rules.Mempool · orphantype PredicateFailure (SUBCERT era) = DijkstraSubCertPredFailure eraDefined in cardano-ledger-dijkstra-0.3.0.0 · Cardano.Ledger.Dijkstra.Rules.SubCert · orphantype PredicateFailure (SUBCERTS era) = DijkstraSubCertsPredFailure eraDefined in cardano-ledger-dijkstra-0.3.0.0 · Cardano.Ledger.Dijkstra.Rules.SubCerts · orphantype PredicateFailure (SUBDELEG era) = DijkstraSubDelegPredFailure eraDefined in cardano-ledger-dijkstra-0.3.0.0 · Cardano.Ledger.Dijkstra.Rules.SubDeleg · orphantype PredicateFailure (SUBENTITIES era) = SubEntitiesPredFailure eraDefined in cardano-ledger-dijkstra-0.3.0.0 · Cardano.Ledger.Dijkstra.Rules.SubEntities · orphantype PredicateFailure (SUBGOV era) = DijkstraSubGovPredFailure eraDefined in cardano-ledger-dijkstra-0.3.0.0 · Cardano.Ledger.Dijkstra.Rules.SubGov · orphantype PredicateFailure (SUBGOVCERT era) = DijkstraSubGovCertPredFailure eraDefined in cardano-ledger-dijkstra-0.3.0.0 · Cardano.Ledger.Dijkstra.Rules.SubGovCert · orphantype PredicateFailure (SUBLEDGER era) = DijkstraSubLedgerPredFailure eraDefined in cardano-ledger-dijkstra-0.3.0.0 · Cardano.Ledger.Dijkstra.Rules.SubLedger · orphantype PredicateFailure (SUBLEDGERS era) = DijkstraSubLedgersPredFailure eraDefined in cardano-ledger-dijkstra-0.3.0.0 · Cardano.Ledger.Dijkstra.Rules.SubLedgers · orphantype PredicateFailure (SUBPOOL era) = DijkstraSubPoolPredFailure eraDefined in cardano-ledger-dijkstra-0.3.0.0 · Cardano.Ledger.Dijkstra.Rules.SubPool · orphantype PredicateFailure (SUBUTXO era) = DijkstraSubUtxoPredFailure eraDefined in cardano-ledger-dijkstra-0.3.0.0 · Cardano.Ledger.Dijkstra.Rules.SubUtxo · orphantype PredicateFailure (SUBUTXOW era) = DijkstraSubUtxowPredFailure eraDefined in cardano-ledger-dijkstra-0.3.0.0 · Cardano.Ledger.Dijkstra.Rules.SubUtxow · orphantype PredicateFailure (UTXO era) = DijkstraUtxoPredFailure eraDefined in cardano-ledger-dijkstra-0.3.0.0 · Cardano.Ledger.Dijkstra.Rules.Utxo · orphantype PredicateFailure (UTXOW era) = DijkstraUtxowPredFailure eraDefined in cardano-ledger-dijkstra-0.3.0.0 · Cardano.Ledger.Dijkstra.Rules.Utxow · orphantype PredicateFailure (BBODY era) = ShelleyBbodyPredFailure eraDefined in cardano-ledger-shelley-1.19.0.1 · Cardano.Ledger.Shelley.Rules.Bbody · orphantype PredicateFailure (DELEG era) = ShelleyDelegPredFailure eraDefined in cardano-ledger-shelley-1.19.0.1 · Cardano.Ledger.Shelley.Rules.Deleg · orphantype PredicateFailure (DELEGS era) = ShelleyDelegsPredFailure eraDefined in cardano-ledger-shelley-1.19.0.1 · Cardano.Ledger.Shelley.Rules.Delegs · orphantype PredicateFailure (DELPL era) = ShelleyDelplPredFailure eraDefined in cardano-ledger-shelley-1.19.0.1 · Cardano.Ledger.Shelley.Rules.Delpl · orphantype PredicateFailure (EPOCH era) = VoidDefined in cardano-ledger-shelley-1.19.0.1 · Cardano.Ledger.Shelley.Rules.Epoch · orphantype PredicateFailure (LEDGER era) = ShelleyLedgerPredFailure eraDefined in cardano-ledger-shelley-1.19.0.1 · Cardano.Ledger.Shelley.Rules.Ledger · orphantype PredicateFailure (LEDGERS era) = ShelleyLedgersPredFailure eraDefined in cardano-ledger-shelley-1.19.0.1 · Cardano.Ledger.Shelley.Rules.Ledgers · orphantype PredicateFailure (MIR era) = VoidDefined in cardano-ledger-shelley-1.19.0.1 · Cardano.Ledger.Shelley.Rules.Mir · orphantype PredicateFailure (NEWEPOCH era) = VoidDefined in cardano-ledger-shelley-1.19.0.1 · Cardano.Ledger.Shelley.Rules.NewEpoch · orphantype PredicateFailure (NEWPP era) = VoidDefined in cardano-ledger-shelley-1.19.0.1 · Cardano.Ledger.Shelley.Rules.Newpp · orphantype PredicateFailure (POOL era) = ShelleyPoolPredFailure eraDefined in cardano-ledger-shelley-1.19.0.1 · Cardano.Ledger.Shelley.Rules.Pool · orphantype PredicateFailure (POOLREAP era) = VoidDefined in cardano-ledger-shelley-1.19.0.1 · Cardano.Ledger.Shelley.Rules.PoolReap · orphantype PredicateFailure (PPUP era) = ShelleyPpupPredFailure eraDefined in cardano-ledger-shelley-1.19.0.1 · Cardano.Ledger.Shelley.Rules.Ppup · orphantype PredicateFailure (RUPD era) = VoidDefined in cardano-ledger-shelley-1.19.0.1 · Cardano.Ledger.Shelley.Rules.Rupd · orphantype PredicateFailure (SNAP era) = VoidDefined in cardano-ledger-shelley-1.19.0.1 · Cardano.Ledger.Shelley.Rules.Snap · orphantype PredicateFailure (TICK era) = VoidDefined in cardano-ledger-shelley-1.19.0.1 · Cardano.Ledger.Shelley.Rules.Tick · orphantype PredicateFailure (TICKF era) = VoidDefined in cardano-ledger-shelley-1.19.0.1 · Cardano.Ledger.Shelley.Rules.Tick · orphantype PredicateFailure (UPEC era) = VoidDefined in cardano-ledger-shelley-1.19.0.1 · Cardano.Ledger.Shelley.Rules.Upec · orphantype PredicateFailure (UTXO era) = ShelleyUtxoPredFailure eraDefined in cardano-ledger-shelley-1.19.0.1 · Cardano.Ledger.Shelley.Rules.Utxo · orphantype PredicateFailure (UTXOW era) = ShelleyUtxowPredFailure eraDefined in cardano-ledger-shelley-1.19.0.1 · Cardano.Ledger.Shelley.Rules.Utxow · orphantype PredicateFailure (OCERT c) = OcertPredicateFailureDefined in cardano-protocol-tpraos-1.6.0.0 · Cardano.Protocol.TPraos.Rules.OCerttype PredicateFailure (OVERLAY c) = OverlayPredicateFailure cDefined in cardano-protocol-tpraos-1.6.0.0 · Cardano.Protocol.TPraos.Rules.Overlaytype PredicateFailure (PRTCL c) = PrtclPredicateFailure cDefined in cardano-protocol-tpraos-1.6.0.0 · Cardano.Protocol.TPraos.Rules.Prtcltype PredicateFailure (UPDN c) = UpdnPredicateFailure cDefined in cardano-protocol-tpraos-1.6.0.0 · Cardano.Protocol.TPraos.Rules.Updntype PredicateFailure (STUB e st si f m) = fDefined in small-steps-1.1.4.0 · Control.State.Transition.Extended