Safe Haskell	Safe-Inferred
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 'Genesis)
- | OcertFailure (PredicateFailure (OCERT c))
data OBftSlot
- = NonActiveSlot
- | ActiveSlot !(KeyHash 'Genesis)
classifyOverlaySlot ∷ SlotNo → Set (KeyHash 'Genesis) → UnitInterval → ActiveSlotCoeff → SlotNo → OBftSlot
lookupInOverlaySchedule ∷ SlotNo → Set (KeyHash 'Genesis) → 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) Source # type Signal (OVERLAY c) Source # type Environment (OVERLAY c) Source # type BaseM (OVERLAY c) ∷ Type → Type Source # type Event (OVERLAY c) Source # type PredicateFailure (OVERLAY c) Source # 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 = TicknPredicateFailure
type PredicateFailure (AllegraUTXO era)
Instance details Defined in Cardano.Ledger.Allegra.Rules.Utxo type PredicateFailure (AllegraUTXO era) = AllegraUtxoPredFailure era
type PredicateFailure (AllegraUTXOW era)
Instance details Defined in Cardano.Ledger.Allegra.Rules.Utxow type PredicateFailure (AllegraUTXOW era) = ShelleyUtxowPredFailure era
type PredicateFailure (AlonzoBBODY era)
Instance details Defined in Cardano.Ledger.Alonzo.Rules.Bbody type PredicateFailure (AlonzoBBODY era) = AlonzoBbodyPredFailure era
type PredicateFailure (AlonzoLEDGER era)
Instance details Defined in Cardano.Ledger.Alonzo.Rules.Ledger type PredicateFailure (AlonzoLEDGER era) = ShelleyLedgerPredFailure era
type PredicateFailure (AlonzoUTXO era)
Instance details Defined in Cardano.Ledger.Alonzo.Rules.Utxo type PredicateFailure (AlonzoUTXO era) = AlonzoUtxoPredFailure era
type PredicateFailure (AlonzoUTXOS era)
Instance details Defined in Cardano.Ledger.Alonzo.Rules.Utxos type PredicateFailure (AlonzoUTXOS era) = AlonzoUtxosPredFailure era
type PredicateFailure (AlonzoUTXOW era)
Instance details Defined in Cardano.Ledger.Alonzo.Rules.Utxow type PredicateFailure (AlonzoUTXOW era) = AlonzoUtxowPredFailure era
type PredicateFailure (BabbageLEDGER era)
Instance details Defined in Cardano.Ledger.Babbage.Rules.Ledger type PredicateFailure (BabbageLEDGER era) = ShelleyLedgerPredFailure era
type PredicateFailure (BabbageUTXO era)
Instance details Defined in Cardano.Ledger.Babbage.Rules.Utxo type PredicateFailure (BabbageUTXO era) = BabbageUtxoPredFailure era
type PredicateFailure (BabbageUTXOS era)
Instance details Defined in Cardano.Ledger.Babbage.Rules.Utxos type PredicateFailure (BabbageUTXOS era) = AlonzoUtxosPredFailure era
type PredicateFailure (BabbageUTXOW era)
Instance details Defined in Cardano.Ledger.Babbage.Rules.Utxow type PredicateFailure (BabbageUTXOW era) = BabbageUtxowPredFailure era
type PredicateFailure (ConwayBBODY era)
Instance details Defined in Cardano.Ledger.Conway.Rules.Bbody type PredicateFailure (ConwayBBODY era) = ConwayBbodyPredFailure era
type PredicateFailure (ConwayCERT era)
Instance details Defined in Cardano.Ledger.Conway.Rules.Cert type PredicateFailure (ConwayCERT era) = ConwayCertPredFailure era
type PredicateFailure (ConwayCERTS era)
Instance details Defined in Cardano.Ledger.Conway.Rules.Certs type PredicateFailure (ConwayCERTS era) = ConwayCertsPredFailure era
type PredicateFailure (ConwayDELEG era)
Instance details Defined in Cardano.Ledger.Conway.Rules.Deleg type PredicateFailure (ConwayDELEG era) = ConwayDelegPredFailure era
type PredicateFailure (ConwayENACT era)
Instance details Defined in Cardano.Ledger.Conway.Rules.Enact type PredicateFailure (ConwayENACT era) = Void
type PredicateFailure (ConwayEPOCH era)
Instance details Defined in Cardano.Ledger.Conway.Rules.Epoch type PredicateFailure (ConwayEPOCH era) = Void
type PredicateFailure (ConwayGOV era)
Instance details Defined in Cardano.Ledger.Conway.Rules.Gov type PredicateFailure (ConwayGOV era) = ConwayGovPredFailure era
type PredicateFailure (ConwayGOVCERT era)
Instance details Defined in Cardano.Ledger.Conway.Rules.GovCert type PredicateFailure (ConwayGOVCERT era) = ConwayGovCertPredFailure era
type PredicateFailure (ConwayHARDFORK era)
Instance details Defined in Cardano.Ledger.Conway.Rules.HardFork type PredicateFailure (ConwayHARDFORK era) = Void
type PredicateFailure (ConwayLEDGER era)
Instance details Defined in Cardano.Ledger.Conway.Rules.Ledger type PredicateFailure (ConwayLEDGER era) = ConwayLedgerPredFailure era
type PredicateFailure (ConwayMEMPOOL era)
Instance details Defined in Cardano.Ledger.Conway.Rules.Mempool type PredicateFailure (ConwayMEMPOOL era) = ConwayMempoolPredFailure era
type PredicateFailure (ConwayNEWEPOCH era)
Instance details Defined in Cardano.Ledger.Conway.Rules.NewEpoch type PredicateFailure (ConwayNEWEPOCH era) = ConwayNewEpochPredFailure era
type PredicateFailure (ConwayRATIFY era)
Instance details Defined in Cardano.Ledger.Conway.Rules.Ratify type PredicateFailure (ConwayRATIFY era) = Void
type PredicateFailure (ConwayTICKF era)
Instance details Defined in Cardano.Ledger.Conway.Rules.Tickf type PredicateFailure (ConwayTICKF era) = ConwayTickfPredFailure era
type PredicateFailure (ConwayUTXO era)
Instance details Defined in Cardano.Ledger.Conway.Rules.Utxo type PredicateFailure (ConwayUTXO era) = ConwayUtxoPredFailure era
type PredicateFailure (ConwayUTXOS era)
Instance details Defined in Cardano.Ledger.Conway.Rules.Utxos type PredicateFailure (ConwayUTXOS era) = ConwayUtxosPredFailure era
type PredicateFailure (ConwayUTXOW era)
Instance details Defined in Cardano.Ledger.Conway.Rules.Utxow type PredicateFailure (ConwayUTXOW era) = ConwayUtxowPredFailure era
type PredicateFailure (ShelleyBBODY era)
Instance details Defined in Cardano.Ledger.Shelley.Rules.Bbody type PredicateFailure (ShelleyBBODY era) = ShelleyBbodyPredFailure era
type PredicateFailure (ShelleyDELEG era)
Instance details Defined in Cardano.Ledger.Shelley.Rules.Deleg type PredicateFailure (ShelleyDELEG era) = ShelleyDelegPredFailure era
type PredicateFailure (ShelleyDELEGS era)
Instance details Defined in Cardano.Ledger.Shelley.Rules.Delegs type PredicateFailure (ShelleyDELEGS era) = ShelleyDelegsPredFailure era
type PredicateFailure (ShelleyDELPL era)
Instance details Defined in Cardano.Ledger.Shelley.Rules.Delpl type PredicateFailure (ShelleyDELPL era) = ShelleyDelplPredFailure era
type PredicateFailure (ShelleyEPOCH era)
Instance details Defined in Cardano.Ledger.Shelley.Rules.Epoch type PredicateFailure (ShelleyEPOCH era) = ShelleyEpochPredFailure era
type PredicateFailure (ShelleyLEDGER era)
Instance details Defined in Cardano.Ledger.Shelley.Rules.Ledger type PredicateFailure (ShelleyLEDGER era) = ShelleyLedgerPredFailure era
type PredicateFailure (ShelleyLEDGERS era)
Instance details Defined in Cardano.Ledger.Shelley.Rules.Ledgers type PredicateFailure (ShelleyLEDGERS era) = ShelleyLedgersPredFailure era
type PredicateFailure (ShelleyMIR era)
Instance details Defined in Cardano.Ledger.Shelley.Rules.Mir type PredicateFailure (ShelleyMIR era) = ShelleyMirPredFailure era
type PredicateFailure (ShelleyNEWEPOCH era)
Instance details Defined in Cardano.Ledger.Shelley.Rules.NewEpoch type PredicateFailure (ShelleyNEWEPOCH era) = ShelleyNewEpochPredFailure era
type PredicateFailure (ShelleyNEWPP era)
Instance details Defined in Cardano.Ledger.Shelley.Rules.Newpp type PredicateFailure (ShelleyNEWPP era) = Void
type PredicateFailure (ShelleyPOOL era)
Instance details Defined in Cardano.Ledger.Shelley.Rules.Pool type PredicateFailure (ShelleyPOOL era) = ShelleyPoolPredFailure era
type PredicateFailure (ShelleyPOOLREAP era)
Instance details Defined in Cardano.Ledger.Shelley.Rules.PoolReap type PredicateFailure (ShelleyPOOLREAP era) = ShelleyPoolreapPredFailure era
type PredicateFailure (ShelleyPPUP era)
Instance details Defined in Cardano.Ledger.Shelley.Rules.Ppup type PredicateFailure (ShelleyPPUP era) = ShelleyPpupPredFailure era
type PredicateFailure (ShelleyRUPD era)
Instance details Defined in Cardano.Ledger.Shelley.Rules.Rupd type PredicateFailure (ShelleyRUPD era) = ShelleyRupdPredFailure era
type PredicateFailure (ShelleySNAP era)
Instance details Defined in Cardano.Ledger.Shelley.Rules.Snap type PredicateFailure (ShelleySNAP era) = ShelleySnapPredFailure era
type PredicateFailure (ShelleyTICK era)
Instance details Defined in Cardano.Ledger.Shelley.Rules.Tick type PredicateFailure (ShelleyTICK era) = ShelleyTickPredFailure era
type PredicateFailure (ShelleyTICKF era)
Instance details Defined in Cardano.Ledger.Shelley.Rules.Tick type PredicateFailure (ShelleyTICKF era) = ShelleyTickfPredFailure era
type PredicateFailure (ShelleyUPEC era)
Instance details Defined in Cardano.Ledger.Shelley.Rules.Upec type PredicateFailure (ShelleyUPEC era) = ShelleyUpecPredFailure era
type PredicateFailure (ShelleyUTXO era)
Instance details Defined in Cardano.Ledger.Shelley.Rules.Utxo type PredicateFailure (ShelleyUTXO era) = ShelleyUtxoPredFailure era
type PredicateFailure (ShelleyUTXOW era)
Instance details Defined in Cardano.Ledger.Shelley.Rules.Utxow type PredicateFailure (ShelleyUTXOW 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 ∷ Type → Type Source # Methods from ∷ OverlayEnv → Rep OverlayEnv x Source # to ∷ Rep OverlayEnv x → OverlayEnv Source #
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.4.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 #

Constructors

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 'Genesis)
OcertFailure (PredicateFailure (OCERT c))

Instances

Instances details

Generic (OverlayPredicateFailure c) Source #
Instance details Defined in Cardano.Protocol.TPraos.Rules.Overlay Associated Types type Rep (OverlayPredicateFailure c) ∷ Type → Type Source # Methods from ∷ OverlayPredicateFailure c → Rep (OverlayPredicateFailure c) x Source # to ∷ Rep (OverlayPredicateFailure c) x → OverlayPredicateFailure c Source #
VRFAlgorithm (VRF c) ⇒ Show (OverlayPredicateFailure c) Source #
Instance details Defined in Cardano.Protocol.TPraos.Rules.Overlay Methods showsPrec ∷ Int → OverlayPredicateFailure c → ShowS Source # show ∷ OverlayPredicateFailure c → String Source # showList ∷ [OverlayPredicateFailure c] → ShowS Source #
VRFAlgorithm (VRF c) ⇒ Eq (OverlayPredicateFailure c) Source #
Instance details Defined in Cardano.Protocol.TPraos.Rules.Overlay Methods (==) ∷ OverlayPredicateFailure c → OverlayPredicateFailure c → Bool Source # (/=) ∷ OverlayPredicateFailure c → OverlayPredicateFailure c → Bool Source #
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 type Rep (OverlayPredicateFailure c) = D1 ('MetaData "OverlayPredicateFailure" "Cardano.Protocol.TPraos.Rules.Overlay" "cardano-protocol-tpraos-1.4.0.0-inplace" 'False) (((C1 ('MetaCons "VRFKeyUnknown" 'PrefixI 'False) (S1 ('MetaSel ('Nothing ∷ Maybe Symbol) 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 (KeyHash 'StakePool))) :+: C1 ('MetaCons "VRFKeyWrongVRFKey" 'PrefixI 'False) (S1 ('MetaSel ('Nothing ∷ Maybe Symbol) 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 (KeyHash 'StakePool)) :: (S1 ('MetaSel ('Nothing ∷ Maybe Symbol) 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 (VRFVerKeyHash 'StakePoolVRF)) :: S1 ('MetaSel ('Nothing ∷ Maybe Symbol) 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 (VRFVerKeyHash 'BlockIssuerVRF))))) :+: (C1 ('MetaCons "VRFKeyBadNonce" 'PrefixI 'False) ((S1 ('MetaSel ('Nothing ∷ Maybe Symbol) 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 Nonce) :: S1 ('MetaSel ('Nothing ∷ Maybe Symbol) 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 SlotNo)) :: (S1 ('MetaSel ('Nothing ∷ Maybe Symbol) 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 Nonce) :: S1 ('MetaSel ('Nothing ∷ Maybe Symbol) 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 (CertifiedVRF (VRF c) Nonce)))) :+: (C1 ('MetaCons "VRFKeyBadLeaderValue" 'PrefixI 'False) ((S1 ('MetaSel ('Nothing ∷ Maybe Symbol) 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 Nonce) :: S1 ('MetaSel ('Nothing ∷ Maybe Symbol) 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 SlotNo)) :: (S1 ('MetaSel ('Nothing ∷ Maybe Symbol) 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 Nonce) :: S1 ('MetaSel ('Nothing ∷ Maybe Symbol) 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 (CertifiedVRF (VRF c) Nonce)))) :+: C1 ('MetaCons "VRFLeaderValueTooBig" 'PrefixI 'False) (S1 ('MetaSel ('Nothing ∷ Maybe Symbol) 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 (OutputVRF (VRF c))) :: (S1 ('MetaSel ('Nothing ∷ Maybe Symbol) 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 Rational) :: S1 ('MetaSel ('Nothing ∷ Maybe Symbol) 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 ActiveSlotCoeff)))))) :+: ((C1 ('MetaCons "NotActiveSlotOVERLAY" 'PrefixI 'False) (S1 ('MetaSel ('Nothing ∷ Maybe Symbol) 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 SlotNo)) :+: C1 ('MetaCons "WrongGenesisColdKeyOVERLAY" 'PrefixI 'False) (S1 ('MetaSel ('Nothing ∷ Maybe Symbol) 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 (KeyHash 'BlockIssuer)) :: S1 ('MetaSel ('Nothing ∷ Maybe Symbol) 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 (KeyHash 'GenesisDelegate)))) :+: (C1 ('MetaCons "WrongGenesisVRFKeyOVERLAY" 'PrefixI 'False) (S1 ('MetaSel ('Nothing ∷ Maybe Symbol) 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 (KeyHash 'BlockIssuer)) :: (S1 ('MetaSel ('Nothing ∷ Maybe Symbol) 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 (VRFVerKeyHash 'GenDelegVRF)) :*: S1 ('MetaSel ('Nothing ∷ Maybe Symbol) 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 (VRFVerKeyHash 'BlockIssuerVRF)))) :+: (C1 ('MetaCons "UnknownGenesisKeyOVERLAY" 'PrefixI 'False) (S1 ('MetaSel ('Nothing ∷ Maybe Symbol) 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 (KeyHash 'Genesis))) :+: C1 ('MetaCons "OcertFailure" 'PrefixI 'False) (S1 ('MetaSel ('Nothing ∷ Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (PredicateFailure (OCERT c))))))))

data OBftSlot Source #

Constructors

NonActiveSlot
ActiveSlot !(KeyHash 'Genesis)

Instances

Instances details

Generic OBftSlot Source #
Instance details Defined in Cardano.Protocol.TPraos.Rules.Overlay Associated Types type Rep OBftSlot ∷ Type → Type Source # Methods from ∷ OBftSlot → Rep OBftSlot x Source # to ∷ Rep OBftSlot x → OBftSlot Source #
Show OBftSlot Source #
Instance details Defined in Cardano.Protocol.TPraos.Rules.Overlay Methods showsPrec ∷ Int → OBftSlot → ShowS Source # show ∷ OBftSlot → String Source # showList ∷ [OBftSlot] → ShowS Source #
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 # encodedSizeExpr ∷ (∀ t. EncCBOR t ⇒ Proxy t → Size) → Proxy OBftSlot → Size Source # encodedListSizeExpr ∷ (∀ t. EncCBOR t ⇒ Proxy t → Size) → Proxy [OBftSlot] → Size Source #
NFData OBftSlot Source #
Instance details Defined in Cardano.Protocol.TPraos.Rules.Overlay Methods rnf ∷ OBftSlot → () Source #
Eq OBftSlot Source #
Instance details Defined in Cardano.Protocol.TPraos.Rules.Overlay Methods (==) ∷ OBftSlot → OBftSlot → Bool Source # (/=) ∷ OBftSlot → OBftSlot → Bool Source #
Ord OBftSlot Source #
Instance details Defined in Cardano.Protocol.TPraos.Rules.Overlay Methods compare ∷ OBftSlot → OBftSlot → Ordering Source # (<) ∷ OBftSlot → OBftSlot → Bool Source # (<=) ∷ OBftSlot → OBftSlot → Bool Source # (>) ∷ OBftSlot → OBftSlot → Bool Source # (>=) ∷ OBftSlot → OBftSlot → Bool Source # max ∷ OBftSlot → OBftSlot → OBftSlot Source # min ∷ OBftSlot → OBftSlot → OBftSlot Source #
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.4.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 'Genesis))))

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

lookupInOverlaySchedule ∷ SlotNo → Set (KeyHash 'Genesis) → 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.