Modulecardano-protocol-tpraos-1.6.0.0

Cardano.Protocol.TPraos.Rules.Tickn

3 types

Packagecardano-protocol-tpraos-1.6.0.0
Exports4
LicenceApache-2.0

datadata TICKN

Instances7STS, BaseM, Environment, Event, PredicateFailure, Signal, …

STS TICKNDefined in cardano-protocol-tpraos-1.6.0.0 · Cardano.Protocol.TPraos.Rules.Tickn
type BaseM TICKN = ShelleyBaseDefined in cardano-protocol-tpraos-1.6.0.0 · Cardano.Protocol.TPraos.Rules.Tickn
type Environment TICKN = TicknEnvDefined in cardano-protocol-tpraos-1.6.0.0 · Cardano.Protocol.TPraos.Rules.Tickn
type Event TICKN = VoidDefined in cardano-protocol-tpraos-1.6.0.0 · Cardano.Protocol.TPraos.Rules.Tickn
type PredicateFailure TICKN = VoidDefined in cardano-protocol-tpraos-1.6.0.0 · Cardano.Protocol.TPraos.Rules.Tickn
type Signal TICKN = BoolDefined in cardano-protocol-tpraos-1.6.0.0 · Cardano.Protocol.TPraos.Rules.Tickn
type State TICKN = TicknStateDefined in cardano-protocol-tpraos-1.6.0.0 · Cardano.Protocol.TPraos.Rules.Tickn

datadata TicknEnv

Constructors

TicknEnv
- ticknEnvExtraEntropy :: Nonce
- ticknEnvCandidateNonce :: Nonce
- ticknEnvHashHeaderNonce :: Nonce

datadata TicknState

Constructors

TicknState
- ticknStateEpochNonce :: !Nonce
- ticknStatePrevHashNonce :: !Nonce

Instances8Eq, Show, Generic, NoThunks, ToCBOR, DecCBOR, …

Eq TicknStateDefined in cardano-protocol-tpraos-1.6.0.0 · Cardano.Protocol.TPraos.Rules.Tickn
Show TicknStateDefined in cardano-protocol-tpraos-1.6.0.0 · Cardano.Protocol.TPraos.Rules.Tickn
Generic TicknStateDefined in cardano-protocol-tpraos-1.6.0.0 · Cardano.Protocol.TPraos.Rules.Tickn
NoThunks TicknStateDefined in cardano-protocol-tpraos-1.6.0.0 · Cardano.Protocol.TPraos.Rules.Tickn
ToCBOR TicknStateDefined in cardano-protocol-tpraos-1.6.0.0 · Cardano.Protocol.TPraos.Rules.Tickn
DecCBOR TicknStateDefined in cardano-protocol-tpraos-1.6.0.0 · Cardano.Protocol.TPraos.Rules.Tickn
EncCBOR TicknStateDefined in cardano-protocol-tpraos-1.6.0.0 · Cardano.Protocol.TPraos.Rules.Tickn
type Rep TicknState = D1 ('MetaData "TicknState" "Cardano.Protocol.TPraos.Rules.Tickn" "cardano-protocol-tpraos-1.6.0.0-2s4nlofx1FCDfF2AvDG7gs" 'False) (C1 ('MetaCons "TicknState" 'PrefixI 'True) (S1 ('MetaSel ('Just "ticknStateEpochNonce") 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 Nonce) :*: S1 ('MetaSel ('Just "ticknStatePrevHashNonce") 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 Nonce)))Defined in cardano-protocol-tpraos-1.6.0.0 · Cardano.Protocol.TPraos.Rules.Tickn

familytype family PredicateFailure a

Instances76PredicateFailure, …

type PredicateFailure TICKN = VoidDefined in cardano-protocol-tpraos-1.6.0.0 · Cardano.Protocol.TPraos.Rules.Tickn
type PredicateFailure (UTXO era) = AllegraUtxoPredFailure eraDefined in cardano-ledger-allegra-1.10.1.0 · Cardano.Ledger.Allegra.Rules.Utxo · orphan
type PredicateFailure (UTXOW era) = ShelleyUtxowPredFailure eraDefined in cardano-ledger-allegra-1.10.1.0 · Cardano.Ledger.Allegra.Rules.Utxow · orphan
type PredicateFailure (BBODY era) = AlonzoBbodyPredFailure eraDefined in cardano-ledger-alonzo-1.16.0.0 · Cardano.Ledger.Alonzo.Rules.Bbody · orphan
type PredicateFailure (LEDGER era) = ShelleyLedgerPredFailure eraDefined in cardano-ledger-alonzo-1.16.0.0 · Cardano.Ledger.Alonzo.Rules.Ledger · orphan
type PredicateFailure (LEDGERS era) = ShelleyLedgersPredFailure eraDefined in cardano-ledger-alonzo-1.16.0.0 · Cardano.Ledger.Alonzo.Rules.Ledgers · orphan
type PredicateFailure (UTXO era) = AlonzoUtxoPredFailure eraDefined in cardano-ledger-alonzo-1.16.0.0 · Cardano.Ledger.Alonzo.Rules.Utxo · orphan
type PredicateFailure (UTXOS era) = AlonzoUtxosPredFailure eraDefined in cardano-ledger-alonzo-1.16.0.0 · Cardano.Ledger.Alonzo.Rules.Utxos · orphan
type PredicateFailure (UTXOW era) = AlonzoUtxowPredFailure eraDefined in cardano-ledger-alonzo-1.16.0.0 · Cardano.Ledger.Alonzo.Rules.Utxow · orphan
type PredicateFailure (LEDGER era) = ShelleyLedgerPredFailure eraDefined in cardano-ledger-babbage-1.14.0.0 · Cardano.Ledger.Babbage.Rules.Ledger · orphan
type PredicateFailure (LEDGERS era) = ShelleyLedgersPredFailure eraDefined in cardano-ledger-babbage-1.14.0.0 · Cardano.Ledger.Babbage.Rules.Ledgers · orphan
type PredicateFailure (UTXO era) = BabbageUtxoPredFailure eraDefined in cardano-ledger-babbage-1.14.0.0 · Cardano.Ledger.Babbage.Rules.Utxo · orphan
type PredicateFailure (UTXOS era) = AlonzoUtxosPredFailure eraDefined in cardano-ledger-babbage-1.14.0.0 · Cardano.Ledger.Babbage.Rules.Utxos · orphan
type PredicateFailure (UTXOW era) = BabbageUtxowPredFailure eraDefined in cardano-ledger-babbage-1.14.0.0 · Cardano.Ledger.Babbage.Rules.Utxow · orphan
type PredicateFailure (BBODY era) = ConwayBbodyPredFailure eraDefined in cardano-ledger-conway-1.23.0.0 · Cardano.Ledger.Conway.Rules.Bbody · orphan
type PredicateFailure (CERT era) = ConwayCertPredFailure eraDefined in cardano-ledger-conway-1.23.0.0 · Cardano.Ledger.Conway.Rules.Cert · orphan
type PredicateFailure (CERTS era) = ConwayCertsPredFailure eraDefined in cardano-ledger-conway-1.23.0.0 · Cardano.Ledger.Conway.Rules.Certs · orphan
type PredicateFailure (DELEG era) = ConwayDelegPredFailure eraDefined in cardano-ledger-conway-1.23.0.0 · Cardano.Ledger.Conway.Rules.Deleg · orphan
type PredicateFailure (ENACT era) = VoidDefined in cardano-ledger-conway-1.23.0.0 · Cardano.Ledger.Conway.Rules.Enact · orphan
type PredicateFailure (EPOCH era) = VoidDefined in cardano-ledger-conway-1.23.0.0 · Cardano.Ledger.Conway.Rules.Epoch · orphan
type PredicateFailure (GOV era) = ConwayGovPredFailure eraDefined in cardano-ledger-conway-1.23.0.0 · Cardano.Ledger.Conway.Rules.Gov · orphan
type PredicateFailure (GOVCERT era) = ConwayGovCertPredFailure eraDefined in cardano-ledger-conway-1.23.0.0 · Cardano.Ledger.Conway.Rules.GovCert · orphan
type PredicateFailure (HARDFORK era) = VoidDefined in cardano-ledger-conway-1.23.0.0 · Cardano.Ledger.Conway.Rules.HardFork · orphan
type PredicateFailure (LEDGER era) = ConwayLedgerPredFailure eraDefined in cardano-ledger-conway-1.23.0.0 · Cardano.Ledger.Conway.Rules.Ledger · orphan
type PredicateFailure (MEMPOOL era) = ConwayLedgerPredFailure eraDefined in cardano-ledger-conway-1.23.0.0 · Cardano.Ledger.Conway.Rules.Mempool · orphan
type PredicateFailure (NEWEPOCH era) = VoidDefined in cardano-ledger-conway-1.23.0.0 · Cardano.Ledger.Conway.Rules.NewEpoch · orphan
type PredicateFailure (RATIFY era) = VoidDefined in cardano-ledger-conway-1.23.0.0 · Cardano.Ledger.Conway.Rules.Ratify · orphan
type PredicateFailure (TICKF era) = VoidDefined in cardano-ledger-conway-1.23.0.0 · Cardano.Ledger.Conway.Rules.Tickf · orphan
type PredicateFailure (UTXO era) = ConwayUtxoPredFailure eraDefined in cardano-ledger-conway-1.23.0.0 · Cardano.Ledger.Conway.Rules.Utxo · orphan
type PredicateFailure (UTXOS era) = ConwayUtxosPredFailure eraDefined in cardano-ledger-conway-1.23.0.0 · Cardano.Ledger.Conway.Rules.Utxos · orphan
type PredicateFailure (UTXOW era) = ConwayUtxowPredFailure eraDefined in cardano-ledger-conway-1.23.0.0 · Cardano.Ledger.Conway.Rules.Utxow · orphan
type PredicateFailure (BBODY era) = DijkstraBbodyPredFailure eraDefined in cardano-ledger-dijkstra-0.3.0.0 · Cardano.Ledger.Dijkstra.Rules.Bbody · orphan
type PredicateFailure (CERT era) = ConwayCertPredFailure eraDefined in cardano-ledger-dijkstra-0.3.0.0 · Cardano.Ledger.Dijkstra.Rules.Cert · orphan
type PredicateFailure (ENTITIES era) = EntitiesPredFailure eraDefined in cardano-ledger-dijkstra-0.3.0.0 · Cardano.Ledger.Dijkstra.Rules.Entities · orphan
type PredicateFailure (GOV era) = DijkstraGovPredFailure eraDefined in cardano-ledger-dijkstra-0.3.0.0 · Cardano.Ledger.Dijkstra.Rules.Gov · orphan
type PredicateFailure (GOVCERT era) = DijkstraGovCertPredFailure eraDefined in cardano-ledger-dijkstra-0.3.0.0 · Cardano.Ledger.Dijkstra.Rules.GovCert · orphan
type PredicateFailure (LEDGER era) = DijkstraLedgerPredFailure eraDefined in cardano-ledger-dijkstra-0.3.0.0 · Cardano.Ledger.Dijkstra.Rules.Ledger · orphan
type PredicateFailure (MEMPOOL era) = DijkstraMempoolPredFailure eraDefined in cardano-ledger-dijkstra-0.3.0.0 · Cardano.Ledger.Dijkstra.Rules.Mempool · orphan
type PredicateFailure (SUBCERT era) = DijkstraSubCertPredFailure eraDefined in cardano-ledger-dijkstra-0.3.0.0 · Cardano.Ledger.Dijkstra.Rules.SubCert · orphan
type PredicateFailure (SUBCERTS era) = DijkstraSubCertsPredFailure eraDefined in cardano-ledger-dijkstra-0.3.0.0 · Cardano.Ledger.Dijkstra.Rules.SubCerts · orphan
type PredicateFailure (SUBDELEG era) = DijkstraSubDelegPredFailure eraDefined in cardano-ledger-dijkstra-0.3.0.0 · Cardano.Ledger.Dijkstra.Rules.SubDeleg · orphan
type PredicateFailure (SUBENTITIES era) = SubEntitiesPredFailure eraDefined in cardano-ledger-dijkstra-0.3.0.0 · Cardano.Ledger.Dijkstra.Rules.SubEntities · orphan
type PredicateFailure (SUBGOV era) = DijkstraSubGovPredFailure eraDefined in cardano-ledger-dijkstra-0.3.0.0 · Cardano.Ledger.Dijkstra.Rules.SubGov · orphan
type PredicateFailure (SUBGOVCERT era) = DijkstraSubGovCertPredFailure eraDefined in cardano-ledger-dijkstra-0.3.0.0 · Cardano.Ledger.Dijkstra.Rules.SubGovCert · orphan
type PredicateFailure (SUBLEDGER era) = DijkstraSubLedgerPredFailure eraDefined in cardano-ledger-dijkstra-0.3.0.0 · Cardano.Ledger.Dijkstra.Rules.SubLedger · orphan
type PredicateFailure (SUBLEDGERS era) = DijkstraSubLedgersPredFailure eraDefined in cardano-ledger-dijkstra-0.3.0.0 · Cardano.Ledger.Dijkstra.Rules.SubLedgers · orphan
type PredicateFailure (SUBPOOL era) = DijkstraSubPoolPredFailure eraDefined in cardano-ledger-dijkstra-0.3.0.0 · Cardano.Ledger.Dijkstra.Rules.SubPool · orphan
type PredicateFailure (SUBUTXO era) = DijkstraSubUtxoPredFailure eraDefined in cardano-ledger-dijkstra-0.3.0.0 · Cardano.Ledger.Dijkstra.Rules.SubUtxo · orphan
type PredicateFailure (SUBUTXOW era) = DijkstraSubUtxowPredFailure eraDefined in cardano-ledger-dijkstra-0.3.0.0 · Cardano.Ledger.Dijkstra.Rules.SubUtxow · orphan
type PredicateFailure (UTXO era) = DijkstraUtxoPredFailure eraDefined in cardano-ledger-dijkstra-0.3.0.0 · Cardano.Ledger.Dijkstra.Rules.Utxo · orphan
type PredicateFailure (UTXOW era) = DijkstraUtxowPredFailure eraDefined in cardano-ledger-dijkstra-0.3.0.0 · Cardano.Ledger.Dijkstra.Rules.Utxow · orphan
type PredicateFailure (BBODY era) = ShelleyBbodyPredFailure eraDefined in cardano-ledger-shelley-1.19.0.1 · Cardano.Ledger.Shelley.Rules.Bbody · orphan
type PredicateFailure (DELEG era) = ShelleyDelegPredFailure eraDefined in cardano-ledger-shelley-1.19.0.1 · Cardano.Ledger.Shelley.Rules.Deleg · orphan
type PredicateFailure (DELEGS era) = ShelleyDelegsPredFailure eraDefined in cardano-ledger-shelley-1.19.0.1 · Cardano.Ledger.Shelley.Rules.Delegs · orphan
type PredicateFailure (DELPL era) = ShelleyDelplPredFailure eraDefined in cardano-ledger-shelley-1.19.0.1 · Cardano.Ledger.Shelley.Rules.Delpl · orphan
type PredicateFailure (EPOCH era) = VoidDefined in cardano-ledger-shelley-1.19.0.1 · Cardano.Ledger.Shelley.Rules.Epoch · orphan
type PredicateFailure (LEDGER era) = ShelleyLedgerPredFailure eraDefined in cardano-ledger-shelley-1.19.0.1 · Cardano.Ledger.Shelley.Rules.Ledger · orphan
type PredicateFailure (LEDGERS era) = ShelleyLedgersPredFailure eraDefined in cardano-ledger-shelley-1.19.0.1 · Cardano.Ledger.Shelley.Rules.Ledgers · orphan
type PredicateFailure (MIR era) = VoidDefined in cardano-ledger-shelley-1.19.0.1 · Cardano.Ledger.Shelley.Rules.Mir · orphan
type PredicateFailure (NEWEPOCH era) = VoidDefined in cardano-ledger-shelley-1.19.0.1 · Cardano.Ledger.Shelley.Rules.NewEpoch · orphan
type PredicateFailure (NEWPP era) = VoidDefined in cardano-ledger-shelley-1.19.0.1 · Cardano.Ledger.Shelley.Rules.Newpp · orphan
type PredicateFailure (POOL era) = ShelleyPoolPredFailure eraDefined in cardano-ledger-shelley-1.19.0.1 · Cardano.Ledger.Shelley.Rules.Pool · orphan
type PredicateFailure (POOLREAP era) = VoidDefined in cardano-ledger-shelley-1.19.0.1 · Cardano.Ledger.Shelley.Rules.PoolReap · orphan
type PredicateFailure (PPUP era) = ShelleyPpupPredFailure eraDefined in cardano-ledger-shelley-1.19.0.1 · Cardano.Ledger.Shelley.Rules.Ppup · orphan
type PredicateFailure (RUPD era) = VoidDefined in cardano-ledger-shelley-1.19.0.1 · Cardano.Ledger.Shelley.Rules.Rupd · orphan
type PredicateFailure (SNAP era) = VoidDefined in cardano-ledger-shelley-1.19.0.1 · Cardano.Ledger.Shelley.Rules.Snap · orphan
type PredicateFailure (TICK era) = VoidDefined in cardano-ledger-shelley-1.19.0.1 · Cardano.Ledger.Shelley.Rules.Tick · orphan
type PredicateFailure (TICKF era) = VoidDefined in cardano-ledger-shelley-1.19.0.1 · Cardano.Ledger.Shelley.Rules.Tick · orphan
type PredicateFailure (UPEC era) = VoidDefined in cardano-ledger-shelley-1.19.0.1 · Cardano.Ledger.Shelley.Rules.Upec · orphan
type PredicateFailure (UTXO era) = ShelleyUtxoPredFailure eraDefined in cardano-ledger-shelley-1.19.0.1 · Cardano.Ledger.Shelley.Rules.Utxo · orphan
type PredicateFailure (UTXOW era) = ShelleyUtxowPredFailure eraDefined in cardano-ledger-shelley-1.19.0.1 · Cardano.Ledger.Shelley.Rules.Utxow · orphan
type PredicateFailure (OCERT c) = OcertPredicateFailureDefined in cardano-protocol-tpraos-1.6.0.0 · Cardano.Protocol.TPraos.Rules.OCert
type PredicateFailure (OVERLAY c) = OverlayPredicateFailure cDefined in cardano-protocol-tpraos-1.6.0.0 · Cardano.Protocol.TPraos.Rules.Overlay
type PredicateFailure (PRTCL c) = PrtclPredicateFailure cDefined in cardano-protocol-tpraos-1.6.0.0 · Cardano.Protocol.TPraos.Rules.Prtcl
type PredicateFailure (UPDN c) = UpdnPredicateFailure cDefined in cardano-protocol-tpraos-1.6.0.0 · Cardano.Protocol.TPraos.Rules.Updn
type PredicateFailure (STUB e st si f m) = fDefined in small-steps-1.1.4.0 · Control.State.Transition.Extended