Modulecardano-protocol-tpraos-1.6.0.0
Cardano.Protocol.TPraos.Rules.OCert
- 3 types
- Packagecardano-protocol-tpraos-1.6.0.0
- Exports4
- LicenceApache-2.0
Instances8STS, Embed, BaseM, Environment, Event, PredicateFailure, …
(Crypto c, Signable (KES c) (BHBody c)) => STS (OCERT c)Defined in cardano-protocol-tpraos-1.6.0.0 · Cardano.Protocol.TPraos.Rules.OCert(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.Overlaytype BaseM (OCERT c) = ShelleyBaseDefined in cardano-protocol-tpraos-1.6.0.0 · Cardano.Protocol.TPraos.Rules.OCerttype Environment (OCERT c) = OCertEnvDefined in cardano-protocol-tpraos-1.6.0.0 · Cardano.Protocol.TPraos.Rules.OCerttype Event (OCERT c) = VoidDefined in cardano-protocol-tpraos-1.6.0.0 · Cardano.Protocol.TPraos.Rules.OCerttype PredicateFailure (OCERT c) = OcertPredicateFailureDefined in cardano-protocol-tpraos-1.6.0.0 · Cardano.Protocol.TPraos.Rules.OCerttype Signal (OCERT c) = BHeader cDefined in cardano-protocol-tpraos-1.6.0.0 · Cardano.Protocol.TPraos.Rules.OCerttype State (OCERT c) = Map (KeyHash BlockIssuer) Word64Defined in cardano-protocol-tpraos-1.6.0.0 · Cardano.Protocol.TPraos.Rules.OCert
Instances5Eq, Show, Generic, NoThunks, Rep
Eq OcertPredicateFailureDefined in cardano-protocol-tpraos-1.6.0.0 · Cardano.Protocol.TPraos.Rules.OCertShow OcertPredicateFailureDefined in cardano-protocol-tpraos-1.6.0.0 · Cardano.Protocol.TPraos.Rules.OCertGeneric OcertPredicateFailureDefined in cardano-protocol-tpraos-1.6.0.0 · Cardano.Protocol.TPraos.Rules.OCertNoThunks OcertPredicateFailureDefined in cardano-protocol-tpraos-1.6.0.0 · Cardano.Protocol.TPraos.Rules.OCerttype Rep OcertPredicateFailure = D1 ('MetaDataDefined in cardano-protocol-tpraos-1.6.0.0 · Cardano.Protocol.TPraos.Rules.OCert"OcertPredicateFailure"
"Cardano.Protocol.TPraos.Rules.OCert"
"cardano-protocol-tpraos-1.6.0.0-2s4nlofx1FCDfF2AvDG7gs"
'False) ((C1 ('MetaCons"KESBeforeStartOCERT"
'PrefixI 'False) (S1 ('MetaSel 'Nothing 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 KESPeriod) :*: S1 ('MetaSel 'Nothing 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 KESPeriod)) :+: (C1 ('MetaCons"KESAfterEndOCERT"
'PrefixI 'False) (S1 ('MetaSel 'Nothing 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 KESPeriod) :*: (S1 ('MetaSel 'Nothing 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 KESPeriod) :*: S1 ('MetaSel 'Nothing 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Word64))) :+: C1 ('MetaCons"CounterTooSmallOCERT"
'PrefixI 'False) (S1 ('MetaSel 'Nothing 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Word64) :*: S1 ('MetaSel 'Nothing 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Word64)))) :+: (C1 ('MetaCons"InvalidSignatureOCERT"
'PrefixI 'False) (S1 ('MetaSel 'Nothing 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Word64) :*: S1 ('MetaSel 'Nothing 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 KESPeriod)) :+: (C1 ('MetaCons"InvalidKesSignatureOCERT"
'PrefixI 'False) ((S1 ('MetaSel 'Nothing 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Word) :*: S1 ('MetaSel 'Nothing 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Word)) :*: (S1 ('MetaSel 'Nothing 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Word) :*: S1 ('MetaSel 'Nothing 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 String))) :+: C1 ('MetaCons"NoCounterForKeyHashOCERT"
'PrefixI 'False) (S1 ('MetaSel 'Nothing 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (KeyHash BlockIssuer))))))
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