Safe Haskell	None
Language	Haskell2010

Cardano.Protocol.TPraos.Rules.Overlay

Synopsis

data OVERLAY c
type family PredicateFailure a
data OverlayEnv = OverlayEnv UnitInterval PoolDistr GenDelegs Nonce
data OverlayPredicateFailure c
- = 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 ActiveSlotCoeff
- | NotActiveSlotOVERLAY SlotNo
- | WrongGenesisColdKeyOVERLAY (KeyHash 'BlockIssuer) (KeyHash 'GenesisDelegate)
- | WrongGenesisVRFKeyOVERLAY (KeyHash 'BlockIssuer) (VRFVerKeyHash 'GenDelegVRF) (VRFVerKeyHash 'BlockIssuerVRF)
- | UnknownGenesisKeyOVERLAY (KeyHash 'GenesisRole)
- | OcertFailure (PredicateFailure (OCERT c))
data OBftSlot
- = NonActiveSlot
- | ActiveSlot !(KeyHash 'GenesisRole)
classifyOverlaySlot ∷ SlotNo → Set (KeyHash 'GenesisRole) → UnitInterval → ActiveSlotCoeff → SlotNo → OBftSlot
lookupInOverlaySchedule ∷ SlotNo → Set (KeyHash 'GenesisRole) → UnitInterval → ActiveSlotCoeff → SlotNo → Maybe OBftSlot
overlaySlots ∷ SlotNo → UnitInterval → EpochSize → [SlotNo]

Documentation

data OVERLAY c Source #

Instances

Instances details

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

Instance details

Defined in Cardano.Protocol.TPraos.Rules.Overlay

Associated Types

type State (OVERLAY c)
Instance details Defined in Cardano.Protocol.TPraos.Rules.Overlay type State (OVERLAY c) = Map (KeyHash 'BlockIssuer) Word64
type Signal (OVERLAY c)
Instance details Defined in Cardano.Protocol.TPraos.Rules.Overlay type Signal (OVERLAY c) = BHeader c
type Environment (OVERLAY c)
Instance details Defined in Cardano.Protocol.TPraos.Rules.Overlay type Environment (OVERLAY c) = OverlayEnv
type BaseM (OVERLAY c)
Instance details Defined in Cardano.Protocol.TPraos.Rules.Overlay type BaseM (OVERLAY c) = ShelleyBase
type Event (OVERLAY c)
Instance details Defined in Cardano.Protocol.TPraos.Rules.Overlay type Event (OVERLAY c) = Void
type PredicateFailure (OVERLAY c)
Instance details Defined in Cardano.Protocol.TPraos.Rules.Overlay type PredicateFailure (OVERLAY c) = OverlayPredicateFailure c

Methods

initialRules ∷ [InitialRule (OVERLAY c)] Source #

transitionRules ∷ [TransitionRule (OVERLAY c)] Source #

assertions ∷ [Assertion (OVERLAY c)] Source #

renderAssertionViolation ∷ AssertionViolation (OVERLAY 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 #

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

Instance details

Defined in Cardano.Protocol.TPraos.Rules.Prtcl

Methods

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

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

type BaseM (OVERLAY c) Source #

Instance details

Defined in Cardano.Protocol.TPraos.Rules.Overlay

type BaseM (OVERLAY c) = ShelleyBase

type Environment (OVERLAY c) Source #

Instance details

Defined in Cardano.Protocol.TPraos.Rules.Overlay

type Environment (OVERLAY c) = OverlayEnv

type Event (OVERLAY c) Source #

Instance details

Defined in Cardano.Protocol.TPraos.Rules.Overlay

type Event (OVERLAY c) = Void

type PredicateFailure (OVERLAY c) Source #

Instance details

Defined in Cardano.Protocol.TPraos.Rules.Overlay

type PredicateFailure (OVERLAY c) = OverlayPredicateFailure c

type Signal (OVERLAY c) Source #

Instance details

Defined in Cardano.Protocol.TPraos.Rules.Overlay

type Signal (OVERLAY c) = BHeader c

type State (OVERLAY c) Source #

Instance details

Defined in Cardano.Protocol.TPraos.Rules.Overlay

type State (OVERLAY 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 (LEDGERS era)
Instance details Defined in Cardano.Ledger.Alonzo.Rules.Ledgers type PredicateFailure (LEDGERS era) = ShelleyLedgersPredFailure 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 (ENTITIES era)
Instance details Defined in Cardano.Ledger.Dijkstra.Rules.Entities type PredicateFailure (ENTITIES era) = EntitiesPredFailure 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 (SUBENTITIES era)
Instance details Defined in Cardano.Ledger.Dijkstra.Rules.SubEntities type PredicateFailure (SUBENTITIES era) = SubEntitiesPredFailure 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 OverlayEnv Source #

Constructors

OverlayEnv UnitInterval PoolDistr GenDelegs Nonce

Instances

Instances details

Generic OverlayEnv Source #

Instance details

Defined in Cardano.Protocol.TPraos.Rules.Overlay

Associated Types

type Rep OverlayEnv

Instance details

Defined in Cardano.Protocol.TPraos.Rules.Overlay

type Rep OverlayEnv = D1 ('MetaData "OverlayEnv" "Cardano.Protocol.TPraos.Rules.Overlay" "cardano-protocol-tpraos-1.6.0.0-inplace" 'False) (C1 ('MetaCons "OverlayEnv" 'PrefixI 'False) ((S1 ('MetaSel ('Nothing ∷ Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 UnitInterval) :*: S1 ('MetaSel ('Nothing ∷ Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 PoolDistr)) :*: (S1 ('MetaSel ('Nothing ∷ Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 GenDelegs) :*: S1 ('MetaSel ('Nothing ∷ Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Nonce))))

Methods

from ∷ OverlayEnv → Rep OverlayEnv x #

to ∷ Rep OverlayEnv x → OverlayEnv #

NoThunks OverlayEnv Source #

Instance details

Defined in Cardano.Protocol.TPraos.Rules.Overlay

Methods

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

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

showTypeOf ∷ Proxy OverlayEnv → String Source #

type Rep OverlayEnv Source #

Instance details

Defined in Cardano.Protocol.TPraos.Rules.Overlay

type Rep OverlayEnv = D1 ('MetaData "OverlayEnv" "Cardano.Protocol.TPraos.Rules.Overlay" "cardano-protocol-tpraos-1.6.0.0-inplace" 'False) (C1 ('MetaCons "OverlayEnv" 'PrefixI 'False) ((S1 ('MetaSel ('Nothing ∷ Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 UnitInterval) :*: S1 ('MetaSel ('Nothing ∷ Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 PoolDistr)) :*: (S1 ('MetaSel ('Nothing ∷ Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 GenDelegs) :*: S1 ('MetaSel ('Nothing ∷ Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Nonce))))

data OverlayPredicateFailure c Source #

Instances

Instances details

Generic (OverlayPredicateFailure c) Source #

Instance details

Defined in Cardano.Protocol.TPraos.Rules.Overlay

Associated Types

type Rep (OverlayPredicateFailure c)

Instance details

Defined in Cardano.Protocol.TPraos.Rules.Overlay

Methods

from ∷ OverlayPredicateFailure c → Rep (OverlayPredicateFailure c) x #

to ∷ Rep (OverlayPredicateFailure c) x → OverlayPredicateFailure c #

VRFAlgorithm (VRF c) ⇒ Show (OverlayPredicateFailure c) Source #

Instance details

Defined in Cardano.Protocol.TPraos.Rules.Overlay

Methods

showsPrec ∷ Int → OverlayPredicateFailure c → ShowS #

show ∷ OverlayPredicateFailure c → String #

showList ∷ [OverlayPredicateFailure c] → ShowS #

VRFAlgorithm (VRF c) ⇒ Eq (OverlayPredicateFailure c) Source #

Instance details

Defined in Cardano.Protocol.TPraos.Rules.Overlay

Methods

(==) ∷ OverlayPredicateFailure c → OverlayPredicateFailure c → Bool #

(/=) ∷ OverlayPredicateFailure c → OverlayPredicateFailure c → Bool #

VRFAlgorithm (VRF c) ⇒ NoThunks (OverlayPredicateFailure c) Source #

Instance details

Defined in Cardano.Protocol.TPraos.Rules.Overlay

Methods

noThunks ∷ Context → OverlayPredicateFailure c → IO (Maybe ThunkInfo) Source #

wNoThunks ∷ Context → OverlayPredicateFailure c → IO (Maybe ThunkInfo) Source #

showTypeOf ∷ Proxy (OverlayPredicateFailure c) → String Source #

type Rep (OverlayPredicateFailure c) Source #

Instance details

Defined in Cardano.Protocol.TPraos.Rules.Overlay

data OBftSlot Source #

Constructors

NonActiveSlot
ActiveSlot !(KeyHash 'GenesisRole)

Instances

Instances details

DecCBOR OBftSlot Source #

Instance details

Defined in Cardano.Protocol.TPraos.Rules.Overlay

Methods

decCBOR ∷ Decoder s OBftSlot Source #

dropCBOR ∷ Proxy OBftSlot → Decoder s () Source #

label ∷ Proxy OBftSlot → Text Source #

EncCBOR OBftSlot Source #

Instance details

Defined in Cardano.Protocol.TPraos.Rules.Overlay

Methods

encCBOR ∷ OBftSlot → Encoding Source #

NFData OBftSlot Source #

Instance details

Defined in Cardano.Protocol.TPraos.Rules.Overlay

Methods

rnf ∷ OBftSlot → () #

Generic OBftSlot Source #

Instance details

Defined in Cardano.Protocol.TPraos.Rules.Overlay

Associated Types

type Rep OBftSlot

Instance details

Defined in Cardano.Protocol.TPraos.Rules.Overlay

type Rep OBftSlot = D1 ('MetaData "OBftSlot" "Cardano.Protocol.TPraos.Rules.Overlay" "cardano-protocol-tpraos-1.6.0.0-inplace" 'False) (C1 ('MetaCons "NonActiveSlot" 'PrefixI 'False) (U1 ∷ Type → Type) :+: C1 ('MetaCons "ActiveSlot" 'PrefixI 'False) (S1 ('MetaSel ('Nothing ∷ Maybe Symbol) 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 (KeyHash 'GenesisRole))))

Methods

from ∷ OBftSlot → Rep OBftSlot x #

to ∷ Rep OBftSlot x → OBftSlot #

Show OBftSlot Source #

Instance details

Defined in Cardano.Protocol.TPraos.Rules.Overlay

Methods

showsPrec ∷ Int → OBftSlot → ShowS #

show ∷ OBftSlot → String #

showList ∷ [OBftSlot] → ShowS #

Eq OBftSlot Source #

Instance details

Defined in Cardano.Protocol.TPraos.Rules.Overlay

Methods

(==) ∷ OBftSlot → OBftSlot → Bool #

(/=) ∷ OBftSlot → OBftSlot → Bool #

Ord OBftSlot Source #

Instance details

Defined in Cardano.Protocol.TPraos.Rules.Overlay

Methods

compare ∷ OBftSlot → OBftSlot → Ordering #

(<) ∷ OBftSlot → OBftSlot → Bool #

(<=) ∷ OBftSlot → OBftSlot → Bool #

(>) ∷ OBftSlot → OBftSlot → Bool #

(>=) ∷ OBftSlot → OBftSlot → Bool #

max ∷ OBftSlot → OBftSlot → OBftSlot #

min ∷ OBftSlot → OBftSlot → OBftSlot #

NoThunks OBftSlot Source #

Instance details

Defined in Cardano.Protocol.TPraos.Rules.Overlay

Methods

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

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

showTypeOf ∷ Proxy OBftSlot → String Source #

type Rep OBftSlot Source #

Instance details

Defined in Cardano.Protocol.TPraos.Rules.Overlay

type Rep OBftSlot = D1 ('MetaData "OBftSlot" "Cardano.Protocol.TPraos.Rules.Overlay" "cardano-protocol-tpraos-1.6.0.0-inplace" 'False) (C1 ('MetaCons "NonActiveSlot" 'PrefixI 'False) (U1 ∷ Type → Type) :+: C1 ('MetaCons "ActiveSlot" 'PrefixI 'False) (S1 ('MetaSel ('Nothing ∷ Maybe Symbol) 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 (KeyHash 'GenesisRole))))

classifyOverlaySlot ∷ SlotNo → Set (KeyHash 'GenesisRole) → UnitInterval → ActiveSlotCoeff → SlotNo → OBftSlot Source #

lookupInOverlaySchedule ∷ SlotNo → Set (KeyHash 'GenesisRole) → UnitInterval → ActiveSlotCoeff → SlotNo → Maybe OBftSlot Source #

overlaySlots ∷ SlotNo → UnitInterval → EpochSize → [SlotNo] Source #

Return the list of overlaySlots for a given epoch. Note that this linear in the size of the epoch, and should probably only be used for testing. If something more performant is needed, we could probably use [start + floor(xd) | x <- [0 .. (spe -1)], floor(xd) < spe] but we would need to make sure that this is equivalent.

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 ActiveSlotCoeff
NotActiveSlotOVERLAY SlotNo
WrongGenesisColdKeyOVERLAY (KeyHash 'BlockIssuer) (KeyHash 'GenesisDelegate)
WrongGenesisVRFKeyOVERLAY (KeyHash 'BlockIssuer) (VRFVerKeyHash 'GenDelegVRF) (VRFVerKeyHash 'BlockIssuerVRF)
UnknownGenesisKeyOVERLAY (KeyHash 'GenesisRole)
OcertFailure (PredicateFailure (OCERT c))