Safe Haskell	None
Language	Haskell2010

Cardano.Protocol.TPraos.Rules.OCert

Synopsis

data OCERT c
type family PredicateFailure a
data OCertEnv = OCertEnv {
- ocertEnvStPools ∷ Set (KeyHash 'StakePool)
- ocertEnvGenDelegs ∷ Set (KeyHash 'GenesisDelegate)
}
data OcertPredicateFailure

Documentation

data OCERT c Source #

Instances

Instances details

(Crypto c, Signable (KES c) (BHBody c)) ⇒ STS (OCERT c) Source #

Instance details

Defined in Cardano.Protocol.TPraos.Rules.OCert

Associated Types

type State (OCERT c)
Instance details Defined in Cardano.Protocol.TPraos.Rules.OCert type State (OCERT c) = Map (KeyHash 'BlockIssuer) Word64
type Signal (OCERT c)
Instance details Defined in Cardano.Protocol.TPraos.Rules.OCert type Signal (OCERT c) = BHeader c
type Environment (OCERT c)
Instance details Defined in Cardano.Protocol.TPraos.Rules.OCert type Environment (OCERT c) = OCertEnv
type BaseM (OCERT c)
Instance details Defined in Cardano.Protocol.TPraos.Rules.OCert type BaseM (OCERT c) = ShelleyBase
type Event (OCERT c)
Instance details Defined in Cardano.Protocol.TPraos.Rules.OCert type Event (OCERT c) = Void
type PredicateFailure (OCERT c)
Instance details Defined in Cardano.Protocol.TPraos.Rules.OCert type PredicateFailure (OCERT c) = OcertPredicateFailure

Methods

initialRules ∷ [InitialRule (OCERT c)] Source #

transitionRules ∷ [TransitionRule (OCERT c)] Source #

assertions ∷ [Assertion (OCERT c)] Source #

renderAssertionViolation ∷ AssertionViolation (OCERT c) → String Source #

(Crypto c, Signable (KES c) (BHBody c), Signable (VRF c) Seed) ⇒ Embed (OCERT c) (OVERLAY c) Source #

Instance details

Defined in Cardano.Protocol.TPraos.Rules.Overlay

Methods

wrapFailed ∷ PredicateFailure (OCERT c) → PredicateFailure (OVERLAY c) Source #

wrapEvent ∷ Event (OCERT c) → Event (OVERLAY c) Source #

type BaseM (OCERT c) Source #

Instance details

Defined in Cardano.Protocol.TPraos.Rules.OCert

type BaseM (OCERT c) = ShelleyBase

type Environment (OCERT c) Source #

Instance details

Defined in Cardano.Protocol.TPraos.Rules.OCert

type Environment (OCERT c) = OCertEnv

type Event (OCERT c) Source #

Instance details

Defined in Cardano.Protocol.TPraos.Rules.OCert

type Event (OCERT c) = Void

type PredicateFailure (OCERT c) Source #

Instance details

Defined in Cardano.Protocol.TPraos.Rules.OCert

type PredicateFailure (OCERT c) = OcertPredicateFailure

type Signal (OCERT c) Source #

Instance details

Defined in Cardano.Protocol.TPraos.Rules.OCert

type Signal (OCERT c) = BHeader c

type State (OCERT c) Source #

Instance details

Defined in Cardano.Protocol.TPraos.Rules.OCert

type State (OCERT c) = Map (KeyHash 'BlockIssuer) Word64

type family PredicateFailure a Source #

Descriptive type for the possible failures which might cause a transition to fail.

As a convention, PredicateFailures which are "structural" (meaning that they are not "throwable" in practice, and are used to pass control from one transition rule to another) are prefixed with S_.

Structural PredicateFailures represent conditions between rules where the disjunction of all rules' preconditions is equal to True. That is, either one rule will throw a structural PredicateFailure and the other will succeed, or vice-versa.

Instances

Instances details

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

data OCertEnv Source #

Constructors

OCertEnv
Fields ocertEnvStPools ∷ Set (KeyHash 'StakePool) ocertEnvGenDelegs ∷ Set (KeyHash 'GenesisDelegate)

Instances

Instances details

Show OCertEnv Source #
Instance details Defined in Cardano.Protocol.TPraos.OCert Methods showsPrec ∷ Int → OCertEnv → ShowS # show ∷ OCertEnv → String # showList ∷ [OCertEnv] → ShowS #
Eq OCertEnv Source #
Instance details Defined in Cardano.Protocol.TPraos.OCert Methods (==) ∷ OCertEnv → OCertEnv → Bool # (/=) ∷ OCertEnv → OCertEnv → Bool #

data OcertPredicateFailure Source #

Instances

Instances details

Generic OcertPredicateFailure Source #

Instance details

Defined in Cardano.Protocol.TPraos.Rules.OCert

Associated Types

type Rep OcertPredicateFailure

Instance details

Defined in Cardano.Protocol.TPraos.Rules.OCert

Methods

from ∷ OcertPredicateFailure → Rep OcertPredicateFailure x #

to ∷ Rep OcertPredicateFailure x → OcertPredicateFailure #

Show OcertPredicateFailure Source #

Instance details

Defined in Cardano.Protocol.TPraos.Rules.OCert

Methods

showsPrec ∷ Int → OcertPredicateFailure → ShowS #

show ∷ OcertPredicateFailure → String #

showList ∷ [OcertPredicateFailure] → ShowS #

Eq OcertPredicateFailure Source #

Instance details

Defined in Cardano.Protocol.TPraos.Rules.OCert

Methods

(==) ∷ OcertPredicateFailure → OcertPredicateFailure → Bool #

(/=) ∷ OcertPredicateFailure → OcertPredicateFailure → Bool #

NoThunks OcertPredicateFailure Source #

Instance details

Defined in Cardano.Protocol.TPraos.Rules.OCert

Methods

noThunks ∷ Context → OcertPredicateFailure → IO (Maybe ThunkInfo) Source #

wNoThunks ∷ Context → OcertPredicateFailure → IO (Maybe ThunkInfo) Source #

showTypeOf ∷ Proxy OcertPredicateFailure → String Source #

type Rep OcertPredicateFailure Source #

Instance details

Defined in Cardano.Protocol.TPraos.Rules.OCert

KESBeforeStartOCERT KESPeriod KESPeriod
KESAfterEndOCERT KESPeriod KESPeriod Word64
CounterTooSmallOCERT Word64 Word64
InvalidSignatureOCERT Word64 KESPeriod
InvalidKesSignatureOCERT Word Word Word String
NoCounterForKeyHashOCERT (KeyHash 'BlockIssuer)