HORIZON HASKELLDocslts/ghc-9.14.xd82dee82026-10-12Search names, modules, packages, or :: a typeCtrl K

GHC 9.14.1 · lts/ghc-9.14.x · d82dee8 · 2026-10-12

Modulecardano-protocol-tpraos-1.6.0.0

Cardano.Protocol.TPraos.Rules.Prtcl

  • 5 types
  • 1 value
datadata PRTCL c
#
Instances9STS, Embed, BaseM, Environment, Event, PredicateFailure, …
datadata PrtclEnv
#

Constructors

Instances3Generic, NoThunks, Rep
datadata PrtclPredicateFailure c
#

Constructors

Instances5Eq, Show, Generic, NoThunks, Rep
datadata PrtclState
#

Constructors

Instances8Eq, Show, Generic, NoThunks, ToCBOR, DecCBOR, …
datadata PrtlSeqFailure
#

Constructors

Instances5Eq, Show, Generic, NoThunks, Rep
familytype family PredicateFailure a
#
Instances76PredicateFailure, …
familytype family State a
#
Instances76State, …
  • type State TICKN = TicknStateDefined in cardano-protocol-tpraos-1.6.0.0 · Cardano.Protocol.TPraos.Rules.Tickn
  • type State (UTXO era) = UTxOState eraDefined in cardano-ledger-allegra-1.10.1.0 · Cardano.Ledger.Allegra.Rules.Utxo · orphan
  • type State (UTXOW era) = UTxOState eraDefined in cardano-ledger-allegra-1.10.1.0 · Cardano.Ledger.Allegra.Rules.Utxow · orphan
  • type State (BBODY era) = ShelleyBbodyState eraDefined in cardano-ledger-alonzo-1.16.0.0 · Cardano.Ledger.Alonzo.Rules.Bbody · orphan
  • type State (LEDGER era) = LedgerState eraDefined in cardano-ledger-alonzo-1.16.0.0 · Cardano.Ledger.Alonzo.Rules.Ledger · orphan
  • type State (LEDGERS era) = LedgerState eraDefined in cardano-ledger-alonzo-1.16.0.0 · Cardano.Ledger.Alonzo.Rules.Ledgers · orphan
  • type State (UTXO era) = UTxOState eraDefined in cardano-ledger-alonzo-1.16.0.0 · Cardano.Ledger.Alonzo.Rules.Utxo · orphan
  • type State (UTXOS era) = ShelleyGovState eraDefined in cardano-ledger-alonzo-1.16.0.0 · Cardano.Ledger.Alonzo.Rules.Utxos · orphan
  • type State (UTXOW era) = UTxOState eraDefined in cardano-ledger-alonzo-1.16.0.0 · Cardano.Ledger.Alonzo.Rules.Utxow · orphan
  • type State (LEDGER era) = LedgerState eraDefined in cardano-ledger-babbage-1.14.0.0 · Cardano.Ledger.Babbage.Rules.Ledger · orphan
  • type State (LEDGERS era) = LedgerState eraDefined in cardano-ledger-babbage-1.14.0.0 · Cardano.Ledger.Babbage.Rules.Ledgers · orphan
  • type State (UTXO era) = UTxOState eraDefined in cardano-ledger-babbage-1.14.0.0 · Cardano.Ledger.Babbage.Rules.Utxo · orphan
  • type State (UTXOS era) = ShelleyGovState eraDefined in cardano-ledger-babbage-1.14.0.0 · Cardano.Ledger.Babbage.Rules.Utxos · orphan
  • type State (UTXOW era) = UTxOState eraDefined in cardano-ledger-babbage-1.14.0.0 · Cardano.Ledger.Babbage.Rules.Utxow · orphan
  • type State (BBODY era) = ShelleyBbodyState eraDefined in cardano-ledger-conway-1.23.0.0 · Cardano.Ledger.Conway.Rules.Bbody · orphan
  • type State (CERT era) = CertState eraDefined in cardano-ledger-conway-1.23.0.0 · Cardano.Ledger.Conway.Rules.Cert · orphan
  • type State (CERTS era) = CertState eraDefined in cardano-ledger-conway-1.23.0.0 · Cardano.Ledger.Conway.Rules.Certs · orphan
  • type State (DELEG era) = CertState eraDefined in cardano-ledger-conway-1.23.0.0 · Cardano.Ledger.Conway.Rules.Deleg · orphan
  • type State (ENACT era) = EnactState eraDefined in cardano-ledger-conway-1.23.0.0 · Cardano.Ledger.Conway.Rules.Enact · orphan
  • type State (EPOCH era) = EpochState eraDefined in cardano-ledger-conway-1.23.0.0 · Cardano.Ledger.Conway.Rules.Epoch · orphan
  • type State (GOV era) = Proposals eraDefined in cardano-ledger-conway-1.23.0.0 · Cardano.Ledger.Conway.Rules.Gov · orphan
  • type State (GOVCERT era) = CertState eraDefined in cardano-ledger-conway-1.23.0.0 · Cardano.Ledger.Conway.Rules.GovCert · orphan
  • type State (HARDFORK era) = EpochState eraDefined in cardano-ledger-conway-1.23.0.0 · Cardano.Ledger.Conway.Rules.HardFork · orphan
  • type State (LEDGER era) = LedgerState eraDefined in cardano-ledger-conway-1.23.0.0 · Cardano.Ledger.Conway.Rules.Ledger · orphan
  • type State (MEMPOOL era) = LedgerState eraDefined in cardano-ledger-conway-1.23.0.0 · Cardano.Ledger.Conway.Rules.Mempool · orphan
  • type State (NEWEPOCH era) = NewEpochState eraDefined in cardano-ledger-conway-1.23.0.0 · Cardano.Ledger.Conway.Rules.NewEpoch · orphan
  • type State (RATIFY era) = RatifyState eraDefined in cardano-ledger-conway-1.23.0.0 · Cardano.Ledger.Conway.Rules.Ratify · orphan
  • type State (TICKF era) = NewEpochState eraDefined in cardano-ledger-conway-1.23.0.0 · Cardano.Ledger.Conway.Rules.Tickf · orphan
  • type State (UTXO era) = UTxOState eraDefined in cardano-ledger-conway-1.23.0.0 · Cardano.Ledger.Conway.Rules.Utxo · orphan
  • type State (UTXOS era) = ()Defined in cardano-ledger-conway-1.23.0.0 · Cardano.Ledger.Conway.Rules.Utxos · orphan
  • type State (UTXOW era) = UTxOState eraDefined in cardano-ledger-conway-1.23.0.0 · Cardano.Ledger.Conway.Rules.Utxow · orphan
  • type State (BBODY era) = ShelleyBbodyState eraDefined in cardano-ledger-dijkstra-0.3.0.0 · Cardano.Ledger.Dijkstra.Rules.Bbody · orphan
  • type State (CERT era) = CertState eraDefined in cardano-ledger-dijkstra-0.3.0.0 · Cardano.Ledger.Dijkstra.Rules.Cert · orphan
  • type State (ENTITIES era) = CertState eraDefined in cardano-ledger-dijkstra-0.3.0.0 · Cardano.Ledger.Dijkstra.Rules.Entities · orphan
  • type State (GOV era) = Proposals eraDefined in cardano-ledger-dijkstra-0.3.0.0 · Cardano.Ledger.Dijkstra.Rules.Gov · orphan
  • type State (GOVCERT era) = CertState eraDefined in cardano-ledger-dijkstra-0.3.0.0 · Cardano.Ledger.Dijkstra.Rules.GovCert · orphan
  • type State (LEDGER era) = LedgerState eraDefined in cardano-ledger-dijkstra-0.3.0.0 · Cardano.Ledger.Dijkstra.Rules.Ledger · orphan
  • type State (MEMPOOL era) = LedgerState eraDefined in cardano-ledger-dijkstra-0.3.0.0 · Cardano.Ledger.Dijkstra.Rules.Mempool · orphan
  • type State (SUBCERT era) = CertState eraDefined in cardano-ledger-dijkstra-0.3.0.0 · Cardano.Ledger.Dijkstra.Rules.SubCert · orphan
  • type State (SUBCERTS era) = CertState eraDefined in cardano-ledger-dijkstra-0.3.0.0 · Cardano.Ledger.Dijkstra.Rules.SubCerts · orphan
  • type State (SUBDELEG era) = CertState eraDefined in cardano-ledger-dijkstra-0.3.0.0 · Cardano.Ledger.Dijkstra.Rules.SubDeleg · orphan
  • type State (SUBENTITIES era) = CertState eraDefined in cardano-ledger-dijkstra-0.3.0.0 · Cardano.Ledger.Dijkstra.Rules.SubEntities · orphan
  • type State (SUBGOV era) = Proposals eraDefined in cardano-ledger-dijkstra-0.3.0.0 · Cardano.Ledger.Dijkstra.Rules.SubGov · orphan
  • type State (SUBGOVCERT era) = CertState eraDefined in cardano-ledger-dijkstra-0.3.0.0 · Cardano.Ledger.Dijkstra.Rules.SubGovCert · orphan
  • type State (SUBLEDGER era) = LedgerState eraDefined in cardano-ledger-dijkstra-0.3.0.0 · Cardano.Ledger.Dijkstra.Rules.SubLedger · orphan
  • type State (SUBLEDGERS era) = LedgerState eraDefined in cardano-ledger-dijkstra-0.3.0.0 · Cardano.Ledger.Dijkstra.Rules.SubLedgers · orphan
  • type State (SUBPOOL era) = PState eraDefined in cardano-ledger-dijkstra-0.3.0.0 · Cardano.Ledger.Dijkstra.Rules.SubPool · orphan
  • type State (SUBUTXO era) = UTxOState eraDefined in cardano-ledger-dijkstra-0.3.0.0 · Cardano.Ledger.Dijkstra.Rules.SubUtxo · orphan
  • type State (SUBUTXOW era) = UTxOState eraDefined in cardano-ledger-dijkstra-0.3.0.0 · Cardano.Ledger.Dijkstra.Rules.SubUtxow · orphan
  • type State (UTXO era) = UTxOState eraDefined in cardano-ledger-dijkstra-0.3.0.0 · Cardano.Ledger.Dijkstra.Rules.Utxo · orphan
  • type State (UTXOW era) = UTxOState eraDefined in cardano-ledger-dijkstra-0.3.0.0 · Cardano.Ledger.Dijkstra.Rules.Utxow · orphan
  • type State (BBODY era) = ShelleyBbodyState eraDefined in cardano-ledger-shelley-1.19.0.1 · Cardano.Ledger.Shelley.Rules.Bbody · orphan
  • type State (DELEG era) = CertState eraDefined in cardano-ledger-shelley-1.19.0.1 · Cardano.Ledger.Shelley.Rules.Deleg · orphan
  • type State (DELEGS era) = CertState eraDefined in cardano-ledger-shelley-1.19.0.1 · Cardano.Ledger.Shelley.Rules.Delegs · orphan
  • type State (DELPL era) = CertState eraDefined in cardano-ledger-shelley-1.19.0.1 · Cardano.Ledger.Shelley.Rules.Delpl · orphan
  • type State (EPOCH era) = EpochState eraDefined in cardano-ledger-shelley-1.19.0.1 · Cardano.Ledger.Shelley.Rules.Epoch · orphan
  • type State (LEDGER era) = LedgerState eraDefined in cardano-ledger-shelley-1.19.0.1 · Cardano.Ledger.Shelley.Rules.Ledger · orphan
  • type State (LEDGERS era) = LedgerState eraDefined in cardano-ledger-shelley-1.19.0.1 · Cardano.Ledger.Shelley.Rules.Ledgers · orphan
  • type State (MIR era) = EpochState eraDefined in cardano-ledger-shelley-1.19.0.1 · Cardano.Ledger.Shelley.Rules.Mir · orphan
  • type State (NEWEPOCH era) = NewEpochState eraDefined in cardano-ledger-shelley-1.19.0.1 · Cardano.Ledger.Shelley.Rules.NewEpoch · orphan
  • type State (NEWPP era) = ShelleyNewppState eraDefined in cardano-ledger-shelley-1.19.0.1 · Cardano.Ledger.Shelley.Rules.Newpp · orphan
  • type State (POOL era) = PState eraDefined in cardano-ledger-shelley-1.19.0.1 · Cardano.Ledger.Shelley.Rules.Pool · orphan
  • type State (POOLREAP era) = ShelleyPoolreapState eraDefined in cardano-ledger-shelley-1.19.0.1 · Cardano.Ledger.Shelley.Rules.PoolReap · orphan
  • type State (PPUP era) = ShelleyGovState eraDefined in cardano-ledger-shelley-1.19.0.1 · Cardano.Ledger.Shelley.Rules.Ppup · orphan
  • type State (RUPD era) = StrictMaybe PulsingRewUpdateDefined in cardano-ledger-shelley-1.19.0.1 · Cardano.Ledger.Shelley.Rules.Rupd · orphan
  • type State (SNAP era) = SnapShots eraDefined in cardano-ledger-shelley-1.19.0.1 · Cardano.Ledger.Shelley.Rules.Snap · orphan
  • type State (TICK era) = NewEpochState eraDefined in cardano-ledger-shelley-1.19.0.1 · Cardano.Ledger.Shelley.Rules.Tick · orphan
  • type State (TICKF era) = NewEpochState eraDefined in cardano-ledger-shelley-1.19.0.1 · Cardano.Ledger.Shelley.Rules.Tick · orphan
  • type State (UPEC era) = UpecState eraDefined in cardano-ledger-shelley-1.19.0.1 · Cardano.Ledger.Shelley.Rules.Upec · orphan
  • type State (UTXO era) = UTxOState eraDefined in cardano-ledger-shelley-1.19.0.1 · Cardano.Ledger.Shelley.Rules.Utxo · orphan
  • type State (UTXOW era) = UTxOState eraDefined in cardano-ledger-shelley-1.19.0.1 · Cardano.Ledger.Shelley.Rules.Utxow · orphan
  • type State (OCERT c) = Map (KeyHash BlockIssuer) Word64Defined in cardano-protocol-tpraos-1.6.0.0 · Cardano.Protocol.TPraos.Rules.OCert
  • type State (OVERLAY c) = Map (KeyHash BlockIssuer) Word64Defined in cardano-protocol-tpraos-1.6.0.0 · Cardano.Protocol.TPraos.Rules.Overlay
  • type State (PRTCL c) = PrtclStateDefined in cardano-protocol-tpraos-1.6.0.0 · Cardano.Protocol.TPraos.Rules.Prtcl
  • type State (UPDN c) = UpdnStateDefined in cardano-protocol-tpraos-1.6.0.0 · Cardano.Protocol.TPraos.Rules.Updn
  • type State (STUB e st si f m) = stDefined in small-steps-1.1.4.0 · Control.State.Transition.Extended