cardano-protocol-tpraos-0.1.0.0
Safe Haskell None
Language Haskell2010

Cardano.Protocol.TPraos.Rules.Overlay

Synopsis

Documentation

data OVERLAY crypto Source #

Instances

Instances details
( Crypto crypto, DSignable crypto ( OCertSignable crypto), KESignable crypto ( BHBody crypto), Signable ( VRF crypto) Seed ) => STS ( OVERLAY crypto) Source #
Instance details

Defined in Cardano.Protocol.TPraos.Rules.Overlay

Associated Types

type State ( OVERLAY crypto) Source #

type Signal ( OVERLAY crypto) Source #

type Environment ( OVERLAY crypto) Source #

type BaseM ( OVERLAY crypto) :: Type -> Type Source #

type Event ( OVERLAY crypto) Source #

type PredicateFailure ( OVERLAY crypto) Source #

Methods

initialRules :: [ InitialRule ( OVERLAY crypto)] Source #

transitionRules :: [ TransitionRule ( OVERLAY crypto)] Source #

assertions :: [ Assertion ( OVERLAY crypto)] Source #

renderAssertionViolation :: AssertionViolation ( OVERLAY crypto) -> String Source #

( Crypto crypto, DSignable crypto ( OCertSignable crypto), KESignable crypto ( BHBody crypto), Signable ( VRF crypto) Seed ) => Embed ( OCERT crypto) ( OVERLAY crypto) Source #
Instance details

Defined in Cardano.Protocol.TPraos.Rules.Overlay

Methods

wrapFailed :: PredicateFailure ( OCERT crypto) -> PredicateFailure ( OVERLAY crypto) Source #

wrapEvent :: Event ( OCERT crypto) -> Event ( OVERLAY crypto) Source #

( Crypto crypto, DSignable crypto ( OCertSignable crypto), KESignable crypto ( BHBody crypto), VRFSignable crypto Seed ) => Embed ( OVERLAY crypto) ( PRTCL crypto) Source #
Instance details

Defined in Cardano.Protocol.TPraos.Rules.Prtcl

Methods

wrapFailed :: PredicateFailure ( OVERLAY crypto) -> PredicateFailure ( PRTCL crypto) Source #

wrapEvent :: Event ( OVERLAY crypto) -> Event ( PRTCL crypto) Source #

type State ( OVERLAY crypto) Source #
Instance details

Defined in Cardano.Protocol.TPraos.Rules.Overlay

type State ( OVERLAY crypto) = Map ( KeyHash ' BlockIssuer crypto) Word64
type Event ( OVERLAY crypto) Source #
Instance details

Defined in Cardano.Protocol.TPraos.Rules.Overlay

type Event ( OVERLAY crypto) = Void
type PredicateFailure ( OVERLAY crypto) Source #
Instance details

Defined in Cardano.Protocol.TPraos.Rules.Overlay

type PredicateFailure ( OVERLAY crypto) = OverlayPredicateFailure crypto
type BaseM ( OVERLAY crypto) Source #
Instance details

Defined in Cardano.Protocol.TPraos.Rules.Overlay

type BaseM ( OVERLAY crypto) = ShelleyBase
type Environment ( OVERLAY crypto) Source #
Instance details

Defined in Cardano.Protocol.TPraos.Rules.Overlay

type Environment ( OVERLAY crypto) = OverlayEnv crypto
type Signal ( OVERLAY crypto) Source #
Instance details

Defined in Cardano.Protocol.TPraos.Rules.Overlay

type Signal ( OVERLAY crypto) = BHeader crypto

type family PredicateFailure a Source #

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

As a convention, PredicateFailure s 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 PredicateFailure s 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 ( AlonzoLEDGER era)
Instance details

Defined in Cardano.Ledger.Alonzo.Rules.Ledger

type PredicateFailure ( AlonzoLEDGER era) = LedgerPredicateFailure era
type PredicateFailure ( AlonzoUTXOW era)
Instance details

Defined in Cardano.Ledger.Alonzo.Rules.Utxow

type PredicateFailure ( AlonzoUTXOW era) = UtxowPredicateFail era
type PredicateFailure ( AlonzoUTXO era)
Instance details

Defined in Cardano.Ledger.Alonzo.Rules.Utxo

type PredicateFailure ( AlonzoUTXO era) = UtxoPredicateFailure era
type PredicateFailure ( UTXOS era)
Instance details

Defined in Cardano.Ledger.Alonzo.Rules.Utxos

type PredicateFailure ( UTXOS era) = UtxosPredicateFailure era
type PredicateFailure ( AlonzoBBODY era)
Instance details

Defined in Cardano.Ledger.Alonzo.Rules.Bbody

type PredicateFailure ( AlonzoBBODY era) = AlonzoBbodyPredFail era
type PredicateFailure ( BabbageLEDGER era)
Instance details

Defined in Cardano.Ledger.Babbage.Rules.Ledger

type PredicateFailure ( BabbageLEDGER era) = LedgerPredicateFailure era
type PredicateFailure ( BabbageUTXOW era)
Instance details

Defined in Cardano.Ledger.Babbage.Rules.Utxow

type PredicateFailure ( BabbageUTXOW era) = BabbageUtxowPred era
type PredicateFailure ( BabbageUTXO era)
Instance details

Defined in Cardano.Ledger.Babbage.Rules.Utxo

type PredicateFailure ( BabbageUTXO era) = BabbageUtxoPred era
type PredicateFailure ( BabbageUTXOS era)
Instance details

Defined in Cardano.Ledger.Babbage.Rules.Utxos

type PredicateFailure ( BabbageUTXOS era) = UtxosPredicateFailure era
type PredicateFailure ( TICK era)
Instance details

Defined in Cardano.Ledger.Shelley.Rules.Tick

type PredicateFailure ( TICK era) = TickPredicateFailure era
type PredicateFailure ( TICKF era)
Instance details

Defined in Cardano.Ledger.Shelley.Rules.Tick

type PredicateFailure ( TICKF era) = TickfPredicateFailure era
type PredicateFailure ( NEWEPOCH era)
Instance details

Defined in Cardano.Ledger.Shelley.Rules.NewEpoch

type PredicateFailure ( NEWEPOCH era) = NewEpochPredicateFailure era
type PredicateFailure ( BBODY era)
Instance details

Defined in Cardano.Ledger.Shelley.Rules.Bbody

type PredicateFailure ( BBODY era) = BbodyPredicateFailure era
type PredicateFailure ( LEDGERS era)
Instance details

Defined in Cardano.Ledger.Shelley.Rules.Ledgers

type PredicateFailure ( LEDGERS era) = LedgersPredicateFailure era
type PredicateFailure ( LEDGER era)
Instance details

Defined in Cardano.Ledger.Shelley.Rules.Ledger

type PredicateFailure ( LEDGER era) = LedgerPredicateFailure era
type PredicateFailure ( DELEGS era)
Instance details

Defined in Cardano.Ledger.Shelley.Rules.Delegs

type PredicateFailure ( DELEGS era) = DelegsPredicateFailure era
type PredicateFailure ( DELPL era)
Instance details

Defined in Cardano.Ledger.Shelley.Rules.Delpl

type PredicateFailure ( DELPL era) = DelplPredicateFailure era
type PredicateFailure ( DELEG era)
Instance details

Defined in Cardano.Ledger.Shelley.Rules.Deleg

type PredicateFailure ( DELEG era) = DelegPredicateFailure era
type PredicateFailure ( EPOCH era)
Instance details

Defined in Cardano.Ledger.Shelley.Rules.Epoch

type PredicateFailure ( EPOCH era) = EpochPredicateFailure era
type PredicateFailure ( MIR era)
Instance details

Defined in Cardano.Ledger.Shelley.Rules.Mir

type PredicateFailure ( MIR era) = MirPredicateFailure era
type PredicateFailure ( UPEC era)
Instance details

Defined in Cardano.Ledger.Shelley.Rules.Upec

type PredicateFailure ( UPEC era) = UpecPredicateFailure era
type PredicateFailure ( NEWPP era)
Instance details

Defined in Cardano.Ledger.Shelley.Rules.Newpp

type PredicateFailure ( NEWPP era) = NewppPredicateFailure era
type PredicateFailure ( POOL era)
Instance details

Defined in Cardano.Ledger.Shelley.Rules.Pool

type PredicateFailure ( POOL era) = PoolPredicateFailure era
type PredicateFailure ( POOLREAP era)
Instance details

Defined in Cardano.Ledger.Shelley.Rules.PoolReap

type PredicateFailure ( POOLREAP era) = PoolreapPredicateFailure era
type PredicateFailure ( UTXOW era)
Instance details

Defined in Cardano.Ledger.Shelley.Rules.Utxow

type PredicateFailure ( UTXOW era) = UtxowPredicateFailure era
type PredicateFailure ( UTXO era)
Instance details

Defined in Cardano.Ledger.Shelley.Rules.Utxo

type PredicateFailure ( UTXO era) = UtxoPredicateFailure era
type PredicateFailure ( PPUP era)
Instance details

Defined in Cardano.Ledger.Shelley.Rules.Ppup

type PredicateFailure ( PPUP era) = PpupPredicateFailure era
type PredicateFailure ( RUPD era)
Instance details

Defined in Cardano.Ledger.Shelley.Rules.Rupd

type PredicateFailure ( RUPD era) = RupdPredicateFailure era
type PredicateFailure ( SNAP era)
Instance details

Defined in Cardano.Ledger.Shelley.Rules.Snap

type PredicateFailure ( SNAP era) = SnapPredicateFailure era
type PredicateFailure ( UTXOW era)
Instance details

Defined in Cardano.Ledger.ShelleyMA.Rules.Utxow

type PredicateFailure ( UTXOW era) = UtxowPredicateFailure era
type PredicateFailure ( UTXO era)
Instance details

Defined in Cardano.Ledger.ShelleyMA.Rules.Utxo

type PredicateFailure ( UTXO era) = UtxoPredicateFailure era
type PredicateFailure ( OCERT crypto) Source #
Instance details

Defined in Cardano.Protocol.TPraos.Rules.OCert

type PredicateFailure ( OCERT crypto) = OcertPredicateFailure crypto
type PredicateFailure ( OVERLAY crypto) Source #
Instance details

Defined in Cardano.Protocol.TPraos.Rules.Overlay

type PredicateFailure ( OVERLAY crypto) = OverlayPredicateFailure crypto
type PredicateFailure ( UPDN crypto) Source #
Instance details

Defined in Cardano.Protocol.TPraos.Rules.Updn

type PredicateFailure ( UPDN crypto) = UpdnPredicateFailure crypto
type PredicateFailure ( PRTCL crypto) Source #
Instance details

Defined in Cardano.Protocol.TPraos.Rules.Prtcl

type PredicateFailure ( PRTCL crypto) = PrtclPredicateFailure crypto
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 crypto Source #

Constructors

OverlayEnv UnitInterval ( PoolDistr crypto) ( GenDelegs crypto) Nonce

Instances

Instances details
Generic ( OverlayEnv crypto) Source #
Instance details

Defined in Cardano.Protocol.TPraos.Rules.Overlay

Associated Types

type Rep ( OverlayEnv crypto) :: Type -> Type Source #

Methods

from :: OverlayEnv crypto -> Rep ( OverlayEnv crypto) x Source #

to :: Rep ( OverlayEnv crypto) x -> OverlayEnv crypto Source #

NoThunks ( OverlayEnv crypto) Source #
Instance details

Defined in Cardano.Protocol.TPraos.Rules.Overlay

Methods

noThunks :: Context -> OverlayEnv crypto -> IO ( Maybe ThunkInfo ) Source #

wNoThunks :: Context -> OverlayEnv crypto -> IO ( Maybe ThunkInfo ) Source #

showTypeOf :: Proxy ( OverlayEnv crypto) -> String Source #

type Rep ( OverlayEnv crypto) Source #
Instance details

Defined in Cardano.Protocol.TPraos.Rules.Overlay

type Rep ( OverlayEnv crypto) = D1 (' MetaData "OverlayEnv" "Cardano.Protocol.TPraos.Rules.Overlay" "cardano-protocol-tpraos-0.1.0.0-La5Cvz4HrqgBuFHns9l3Vn" ' 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 crypto))) :*: ( S1 (' MetaSel (' Nothing :: Maybe Symbol ) ' NoSourceUnpackedness ' NoSourceStrictness ' DecidedLazy ) ( Rec0 ( GenDelegs crypto)) :*: S1 (' MetaSel (' Nothing :: Maybe Symbol ) ' NoSourceUnpackedness ' NoSourceStrictness ' DecidedLazy ) ( Rec0 Nonce ))))

data OverlayPredicateFailure crypto Source #

Constructors

VRFKeyUnknown !( KeyHash ' StakePool crypto)
VRFKeyWrongVRFKey !( KeyHash ' StakePool crypto) !( Hash crypto ( VerKeyVRF crypto)) !( Hash crypto ( VerKeyVRF crypto))
VRFKeyBadNonce ! Nonce ! SlotNo ! Nonce !( CertifiedVRF ( VRF crypto) Nonce )
VRFKeyBadLeaderValue ! Nonce ! SlotNo ! Nonce !( CertifiedVRF ( VRF crypto) Nonce )
VRFLeaderValueTooBig !( OutputVRF ( VRF crypto)) ! Rational ! ActiveSlotCoeff
NotActiveSlotOVERLAY ! SlotNo
WrongGenesisColdKeyOVERLAY !( KeyHash ' BlockIssuer crypto) !( KeyHash ' GenesisDelegate crypto)
WrongGenesisVRFKeyOVERLAY !( KeyHash ' BlockIssuer crypto) !( Hash crypto ( VerKeyVRF crypto)) !( Hash crypto ( VerKeyVRF crypto))
UnknownGenesisKeyOVERLAY !( KeyHash ' Genesis crypto)
OcertFailure ( PredicateFailure ( OCERT crypto))

Instances

Instances details
VRFAlgorithm ( VRF crypto) => Eq ( OverlayPredicateFailure crypto) Source #
Instance details

Defined in Cardano.Protocol.TPraos.Rules.Overlay

Methods

(==) :: OverlayPredicateFailure crypto -> OverlayPredicateFailure crypto -> Bool Source #

(/=) :: OverlayPredicateFailure crypto -> OverlayPredicateFailure crypto -> Bool Source #

VRFAlgorithm ( VRF crypto) => Show ( OverlayPredicateFailure crypto) Source #
Instance details

Defined in Cardano.Protocol.TPraos.Rules.Overlay

Methods

showsPrec :: Int -> OverlayPredicateFailure crypto -> ShowS Source #

show :: OverlayPredicateFailure crypto -> String Source #

showList :: [ OverlayPredicateFailure crypto] -> ShowS Source #

Generic ( OverlayPredicateFailure crypto) Source #
Instance details

Defined in Cardano.Protocol.TPraos.Rules.Overlay

Associated Types

type Rep ( OverlayPredicateFailure crypto) :: Type -> Type Source #

Methods

from :: OverlayPredicateFailure crypto -> Rep ( OverlayPredicateFailure crypto) x Source #

to :: Rep ( OverlayPredicateFailure crypto) x -> OverlayPredicateFailure crypto Source #

VRFAlgorithm ( VRF crypto) => NoThunks ( OverlayPredicateFailure crypto) Source #
Instance details

Defined in Cardano.Protocol.TPraos.Rules.Overlay

Methods

noThunks :: Context -> OverlayPredicateFailure crypto -> IO ( Maybe ThunkInfo ) Source #

wNoThunks :: Context -> OverlayPredicateFailure crypto -> IO ( Maybe ThunkInfo ) Source #

showTypeOf :: Proxy ( OverlayPredicateFailure crypto) -> String Source #

type Rep ( OverlayPredicateFailure crypto) Source #
Instance details

Defined in Cardano.Protocol.TPraos.Rules.Overlay

type Rep ( OverlayPredicateFailure crypto) = D1 (' MetaData "OverlayPredicateFailure" "Cardano.Protocol.TPraos.Rules.Overlay" "cardano-protocol-tpraos-0.1.0.0-La5Cvz4HrqgBuFHns9l3Vn" ' False ) ((( C1 (' MetaCons "VRFKeyUnknown" ' PrefixI ' False ) ( S1 (' MetaSel (' Nothing :: Maybe Symbol ) ' NoSourceUnpackedness ' SourceStrict ' DecidedStrict ) ( Rec0 ( KeyHash ' StakePool crypto))) :+: C1 (' MetaCons "VRFKeyWrongVRFKey" ' PrefixI ' False ) ( S1 (' MetaSel (' Nothing :: Maybe Symbol ) ' NoSourceUnpackedness ' SourceStrict ' DecidedStrict ) ( Rec0 ( KeyHash ' StakePool crypto)) :*: ( S1 (' MetaSel (' Nothing :: Maybe Symbol ) ' NoSourceUnpackedness ' SourceStrict ' DecidedStrict ) ( Rec0 ( Hash crypto ( VerKeyVRF crypto))) :*: S1 (' MetaSel (' Nothing :: Maybe Symbol ) ' NoSourceUnpackedness ' SourceStrict ' DecidedStrict ) ( Rec0 ( Hash crypto ( VerKeyVRF crypto)))))) :+: ( 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 crypto) 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 crypto) Nonce )))) :+: C1 (' MetaCons "VRFLeaderValueTooBig" ' PrefixI ' False ) ( S1 (' MetaSel (' Nothing :: Maybe Symbol ) ' NoSourceUnpackedness ' SourceStrict ' DecidedStrict ) ( Rec0 ( OutputVRF ( VRF crypto))) :*: ( 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 crypto)) :*: S1 (' MetaSel (' Nothing :: Maybe Symbol ) ' NoSourceUnpackedness ' SourceStrict ' DecidedStrict ) ( Rec0 ( KeyHash ' GenesisDelegate crypto)))) :+: ( C1 (' MetaCons "WrongGenesisVRFKeyOVERLAY" ' PrefixI ' False ) ( S1 (' MetaSel (' Nothing :: Maybe Symbol ) ' NoSourceUnpackedness ' SourceStrict ' DecidedStrict ) ( Rec0 ( KeyHash ' BlockIssuer crypto)) :*: ( S1 (' MetaSel (' Nothing :: Maybe Symbol ) ' NoSourceUnpackedness ' SourceStrict ' DecidedStrict ) ( Rec0 ( Hash crypto ( VerKeyVRF crypto))) :*: S1 (' MetaSel (' Nothing :: Maybe Symbol ) ' NoSourceUnpackedness ' SourceStrict ' DecidedStrict ) ( Rec0 ( Hash crypto ( VerKeyVRF crypto))))) :+: ( C1 (' MetaCons "UnknownGenesisKeyOVERLAY" ' PrefixI ' False ) ( S1 (' MetaSel (' Nothing :: Maybe Symbol ) ' NoSourceUnpackedness ' SourceStrict ' DecidedStrict ) ( Rec0 ( KeyHash ' Genesis crypto))) :+: C1 (' MetaCons "OcertFailure" ' PrefixI ' False ) ( S1 (' MetaSel (' Nothing :: Maybe Symbol ) ' NoSourceUnpackedness ' NoSourceStrictness ' DecidedLazy ) ( Rec0 ( PredicateFailure ( OCERT crypto))))))))

data OBftSlot crypto Source #

Constructors

NonActiveSlot
ActiveSlot !( KeyHash ' Genesis crypto)

Instances

Instances details
Eq ( OBftSlot crypto) Source #
Instance details

Defined in Cardano.Protocol.TPraos.Rules.Overlay

Methods

(==) :: OBftSlot crypto -> OBftSlot crypto -> Bool Source #

(/=) :: OBftSlot crypto -> OBftSlot crypto -> Bool Source #

Ord ( OBftSlot crypto) Source #
Instance details

Defined in Cardano.Protocol.TPraos.Rules.Overlay

Methods

compare :: OBftSlot crypto -> OBftSlot crypto -> Ordering Source #

(<) :: OBftSlot crypto -> OBftSlot crypto -> Bool Source #

(<=) :: OBftSlot crypto -> OBftSlot crypto -> Bool Source #

(>) :: OBftSlot crypto -> OBftSlot crypto -> Bool Source #

(>=) :: OBftSlot crypto -> OBftSlot crypto -> Bool Source #

max :: OBftSlot crypto -> OBftSlot crypto -> OBftSlot crypto Source #

min :: OBftSlot crypto -> OBftSlot crypto -> OBftSlot crypto Source #

Show ( OBftSlot crypto) Source #
Instance details

Defined in Cardano.Protocol.TPraos.Rules.Overlay

Methods

showsPrec :: Int -> OBftSlot crypto -> ShowS Source #

show :: OBftSlot crypto -> String Source #

showList :: [ OBftSlot crypto] -> ShowS Source #

Generic ( OBftSlot crypto) Source #
Instance details

Defined in Cardano.Protocol.TPraos.Rules.Overlay

Associated Types

type Rep ( OBftSlot crypto) :: Type -> Type Source #

Methods

from :: OBftSlot crypto -> Rep ( OBftSlot crypto) x Source #

to :: Rep ( OBftSlot crypto) x -> OBftSlot crypto Source #

NFData ( OBftSlot crypto) Source #
Instance details

Defined in Cardano.Protocol.TPraos.Rules.Overlay

Methods

rnf :: OBftSlot crypto -> () Source #

Crypto crypto => ToCBOR ( OBftSlot crypto) Source #
Instance details

Defined in Cardano.Protocol.TPraos.Rules.Overlay

Methods

toCBOR :: OBftSlot crypto -> Encoding Source #

encodedSizeExpr :: ( forall t. ToCBOR t => Proxy t -> Size ) -> Proxy ( OBftSlot crypto) -> Size Source #

encodedListSizeExpr :: ( forall t. ToCBOR t => Proxy t -> Size ) -> Proxy [ OBftSlot crypto] -> Size Source #

Crypto crypto => FromCBOR ( OBftSlot crypto) Source #
Instance details

Defined in Cardano.Protocol.TPraos.Rules.Overlay

Methods

fromCBOR :: Decoder s ( OBftSlot crypto) Source #

label :: Proxy ( OBftSlot crypto) -> Text Source #

NoThunks ( OBftSlot crypto) Source #
Instance details

Defined in Cardano.Protocol.TPraos.Rules.Overlay

Methods

noThunks :: Context -> OBftSlot crypto -> IO ( Maybe ThunkInfo ) Source #

wNoThunks :: Context -> OBftSlot crypto -> IO ( Maybe ThunkInfo ) Source #

showTypeOf :: Proxy ( OBftSlot crypto) -> String Source #

type Rep ( OBftSlot crypto) Source #
Instance details

Defined in Cardano.Protocol.TPraos.Rules.Overlay

type Rep ( OBftSlot crypto) = D1 (' MetaData "OBftSlot" "Cardano.Protocol.TPraos.Rules.Overlay" "cardano-protocol-tpraos-0.1.0.0-La5Cvz4HrqgBuFHns9l3Vn" ' 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 crypto))))

classifyOverlaySlot :: SlotNo -> Set ( KeyHash ' Genesis crypto) -> UnitInterval -> ActiveSlotCoeff -> SlotNo -> OBftSlot crypto Source #

lookupInOverlaySchedule :: SlotNo -> Set ( KeyHash ' Genesis crypto) -> UnitInterval -> ActiveSlotCoeff -> SlotNo -> Maybe ( OBftSlot crypto) 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(x d) | x <- [0 .. (spe -1)], floor(x d) < spe] but we would need to make sure that this is equivalent.