cardano-protocol-tpraos-1.5.0.0: Cardano Protocol: Transitional Praos
Safe HaskellNone
LanguageHaskell2010

Cardano.Protocol.TPraos.Rules.Overlay

Synopsis

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 = 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) = ConwayLedgerPredFailure era
type PredicateFailure (ConwayNEWEPOCH era) 
Instance details

Defined in Cardano.Ledger.Conway.Rules.NewEpoch

type PredicateFailure (ConwayNEWEPOCH era) = Void
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 (DijkstraCERT era) 
Instance details

Defined in Cardano.Ledger.Dijkstra.Rules.Cert

type PredicateFailure (DijkstraCERT era) = ConwayCertPredFailure 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) = Void
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) = Void
type PredicateFailure (ShelleyNEWEPOCH era) 
Instance details

Defined in Cardano.Ledger.Shelley.Rules.NewEpoch

type PredicateFailure (ShelleyNEWEPOCH era) = Void
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) = Void
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) = Void
type PredicateFailure (ShelleySNAP era) 
Instance details

Defined in Cardano.Ledger.Shelley.Rules.Snap

type PredicateFailure (ShelleySNAP era) = Void
type PredicateFailure (ShelleyTICK era) 
Instance details

Defined in Cardano.Ledger.Shelley.Rules.Tick

type PredicateFailure (ShelleyTICK era) = Void
type PredicateFailure (ShelleyTICKF era) 
Instance details

Defined in Cardano.Ledger.Shelley.Rules.Tick

type PredicateFailure (ShelleyTICKF era) = Void
type PredicateFailure (ShelleyUPEC era) 
Instance details

Defined in Cardano.Ledger.Shelley.Rules.Upec

type PredicateFailure (ShelleyUPEC era) = Void
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 
Instance details

Defined in Cardano.Protocol.TPraos.Rules.Overlay

type Rep OverlayEnv = D1 ('MetaData "OverlayEnv" "Cardano.Protocol.TPraos.Rules.Overlay" "cardano-protocol-tpraos-1.5.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.5.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 'GenesisRole) 
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) 
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.5.0.0-inplace" 'False) (((C1 ('MetaCons "VRFKeyUnknown" 'PrefixI 'False) (S1 ('MetaSel ('Nothing ∷ Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (KeyHash 'StakePool))) :+: C1 ('MetaCons "VRFKeyWrongVRFKey" 'PrefixI 'False) (S1 ('MetaSel ('Nothing ∷ Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (KeyHash 'StakePool)) :*: (S1 ('MetaSel ('Nothing ∷ Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (VRFVerKeyHash 'StakePoolVRF)) :*: S1 ('MetaSel ('Nothing ∷ Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (VRFVerKeyHash 'BlockIssuerVRF))))) :+: (C1 ('MetaCons "VRFKeyBadNonce" 'PrefixI 'False) ((S1 ('MetaSel ('Nothing ∷ Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Nonce) :*: S1 ('MetaSel ('Nothing ∷ Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 SlotNo)) :*: (S1 ('MetaSel ('Nothing ∷ Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Nonce) :*: S1 ('MetaSel ('Nothing ∷ Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (CertifiedVRF (VRF c) Nonce)))) :+: (C1 ('MetaCons "VRFKeyBadLeaderValue" 'PrefixI 'False) ((S1 ('MetaSel ('Nothing ∷ Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Nonce) :*: S1 ('MetaSel ('Nothing ∷ Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 SlotNo)) :*: (S1 ('MetaSel ('Nothing ∷ Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Nonce) :*: S1 ('MetaSel ('Nothing ∷ Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (CertifiedVRF (VRF c) Nonce)))) :+: C1 ('MetaCons "VRFLeaderValueTooBig" 'PrefixI 'False) (S1 ('MetaSel ('Nothing ∷ Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (OutputVRF (VRF c))) :*: (S1 ('MetaSel ('Nothing ∷ Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Rational) :*: S1 ('MetaSel ('Nothing ∷ Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 ActiveSlotCoeff)))))) :+: ((C1 ('MetaCons "NotActiveSlotOVERLAY" 'PrefixI 'False) (S1 ('MetaSel ('Nothing ∷ Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 SlotNo)) :+: C1 ('MetaCons "WrongGenesisColdKeyOVERLAY" 'PrefixI 'False) (S1 ('MetaSel ('Nothing ∷ Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (KeyHash 'BlockIssuer)) :*: S1 ('MetaSel ('Nothing ∷ Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (KeyHash 'GenesisDelegate)))) :+: (C1 ('MetaCons "WrongGenesisVRFKeyOVERLAY" 'PrefixI 'False) (S1 ('MetaSel ('Nothing ∷ Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (KeyHash 'BlockIssuer)) :*: (S1 ('MetaSel ('Nothing ∷ Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (VRFVerKeyHash 'GenDelegVRF)) :*: S1 ('MetaSel ('Nothing ∷ Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (VRFVerKeyHash 'BlockIssuerVRF)))) :+: (C1 ('MetaCons "UnknownGenesisKeyOVERLAY" 'PrefixI 'False) (S1 ('MetaSel ('Nothing ∷ Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (KeyHash 'GenesisRole))) :+: C1 ('MetaCons "OcertFailure" 'PrefixI 'False) (S1 ('MetaSel ('Nothing ∷ Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (PredicateFailure (OCERT c))))))))

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

type Rep (OverlayPredicateFailure c) = D1 ('MetaData "OverlayPredicateFailure" "Cardano.Protocol.TPraos.Rules.Overlay" "cardano-protocol-tpraos-1.5.0.0-inplace" 'False) (((C1 ('MetaCons "VRFKeyUnknown" 'PrefixI 'False) (S1 ('MetaSel ('Nothing ∷ Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (KeyHash 'StakePool))) :+: C1 ('MetaCons "VRFKeyWrongVRFKey" 'PrefixI 'False) (S1 ('MetaSel ('Nothing ∷ Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (KeyHash 'StakePool)) :*: (S1 ('MetaSel ('Nothing ∷ Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (VRFVerKeyHash 'StakePoolVRF)) :*: S1 ('MetaSel ('Nothing ∷ Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (VRFVerKeyHash 'BlockIssuerVRF))))) :+: (C1 ('MetaCons "VRFKeyBadNonce" 'PrefixI 'False) ((S1 ('MetaSel ('Nothing ∷ Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Nonce) :*: S1 ('MetaSel ('Nothing ∷ Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 SlotNo)) :*: (S1 ('MetaSel ('Nothing ∷ Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Nonce) :*: S1 ('MetaSel ('Nothing ∷ Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (CertifiedVRF (VRF c) Nonce)))) :+: (C1 ('MetaCons "VRFKeyBadLeaderValue" 'PrefixI 'False) ((S1 ('MetaSel ('Nothing ∷ Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Nonce) :*: S1 ('MetaSel ('Nothing ∷ Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 SlotNo)) :*: (S1 ('MetaSel ('Nothing ∷ Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Nonce) :*: S1 ('MetaSel ('Nothing ∷ Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (CertifiedVRF (VRF c) Nonce)))) :+: C1 ('MetaCons "VRFLeaderValueTooBig" 'PrefixI 'False) (S1 ('MetaSel ('Nothing ∷ Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (OutputVRF (VRF c))) :*: (S1 ('MetaSel ('Nothing ∷ Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Rational) :*: S1 ('MetaSel ('Nothing ∷ Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 ActiveSlotCoeff)))))) :+: ((C1 ('MetaCons "NotActiveSlotOVERLAY" 'PrefixI 'False) (S1 ('MetaSel ('Nothing ∷ Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 SlotNo)) :+: C1 ('MetaCons "WrongGenesisColdKeyOVERLAY" 'PrefixI 'False) (S1 ('MetaSel ('Nothing ∷ Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (KeyHash 'BlockIssuer)) :*: S1 ('MetaSel ('Nothing ∷ Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (KeyHash 'GenesisDelegate)))) :+: (C1 ('MetaCons "WrongGenesisVRFKeyOVERLAY" 'PrefixI 'False) (S1 ('MetaSel ('Nothing ∷ Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (KeyHash 'BlockIssuer)) :*: (S1 ('MetaSel ('Nothing ∷ Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (VRFVerKeyHash 'GenDelegVRF)) :*: S1 ('MetaSel ('Nothing ∷ Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (VRFVerKeyHash 'BlockIssuerVRF)))) :+: (C1 ('MetaCons "UnknownGenesisKeyOVERLAY" 'PrefixI 'False) (S1 ('MetaSel ('Nothing ∷ Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (KeyHash 'GenesisRole))) :+: C1 ('MetaCons "OcertFailure" 'PrefixI 'False) (S1 ('MetaSel ('Nothing ∷ Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (PredicateFailure (OCERT c))))))))

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.5.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.5.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.