ouroboros-consensus-0.18.0.0: Consensus layer for the Ouroboros blockchain protocol
Safe HaskellSafe-Inferred
LanguageHaskell2010

Ouroboros.Consensus.Protocol.LeaderSchedule

Synopsis

Documentation

newtype LeaderSchedule Source #

Constructors

LeaderSchedule 

Fields

Instances

Instances details
Semigroup LeaderSchedule Source # 
Instance details

Defined in Ouroboros.Consensus.Protocol.LeaderSchedule

Methods

(<>) ∷ LeaderSchedule → LeaderSchedule → LeaderSchedule #

sconcat ∷ NonEmpty LeaderSchedule → LeaderSchedule #

stimes ∷ Integral b ⇒ b → LeaderSchedule → LeaderSchedule #

Generic LeaderSchedule Source # 
Instance details

Defined in Ouroboros.Consensus.Protocol.LeaderSchedule

Associated Types

type Rep LeaderSchedule ∷ Type → Type #

Methods

from ∷ LeaderSchedule → Rep LeaderSchedule x #

to ∷ Rep LeaderSchedule x → LeaderSchedule #

Show LeaderSchedule Source # 
Instance details

Defined in Ouroboros.Consensus.Protocol.LeaderSchedule

Methods

showsPrec ∷ Int → LeaderSchedule → ShowS #

show ∷ LeaderSchedule → String #

showList ∷ [LeaderSchedule] → ShowS #

Eq LeaderSchedule Source # 
Instance details

Defined in Ouroboros.Consensus.Protocol.LeaderSchedule

Methods

(==) ∷ LeaderSchedule → LeaderSchedule → Bool #

(/=) ∷ LeaderSchedule → LeaderSchedule → Bool #

Ord LeaderSchedule Source # 
Instance details

Defined in Ouroboros.Consensus.Protocol.LeaderSchedule

Methods

compare ∷ LeaderSchedule → LeaderSchedule → Ordering #

(<) ∷ LeaderSchedule → LeaderSchedule → Bool #

(<=) ∷ LeaderSchedule → LeaderSchedule → Bool #

(>) ∷ LeaderSchedule → LeaderSchedule → Bool #

(>=) ∷ LeaderSchedule → LeaderSchedule → Bool #

max ∷ LeaderSchedule → LeaderSchedule → LeaderSchedule #

min ∷ LeaderSchedule → LeaderSchedule → LeaderSchedule #

NoThunks LeaderSchedule Source # 
Instance details

Defined in Ouroboros.Consensus.Protocol.LeaderSchedule

Methods

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

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

showTypeOf ∷ Proxy LeaderSchedule → String Source #

Condense LeaderSchedule Source # 
Instance details

Defined in Ouroboros.Consensus.Protocol.LeaderSchedule

Methods

condense ∷ LeaderSchedule → String Source #

type Rep LeaderSchedule Source # 
Instance details

Defined in Ouroboros.Consensus.Protocol.LeaderSchedule

type Rep LeaderSchedule = D1 ('MetaData "LeaderSchedule" "Ouroboros.Consensus.Protocol.LeaderSchedule" "ouroboros-consensus-0.18.0.0-inplace" 'True) (C1 ('MetaCons "LeaderSchedule" 'PrefixI 'True) (S1 ('MetaSel ('Just "getLeaderSchedule") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (Map SlotNo [CoreNodeId]))))

leaderScheduleFor ∷ CoreNodeId → LeaderSchedule → Set SlotNo Source #

The Slots a given node is supposed to lead in