ouroboros-consensus

Safe Haskell	None
Language	Haskell2010

Ouroboros.Consensus.Peras.Voting.Trace

Documentation

data TracePerasVoteForgingEvent blk Source #

Peras vote forging events.

Constructors

TracePerasVotingNoVoteAfterFirstSlotInRound	We do nothing unless we are on the first slot of a round
Fields PerasRoundNo The current round number Word64 The current slot number within the round
TracePerasVotingNotAVoterInRound	We do nothing if we are not eligible to vote in the current round
Fields PerasRoundNo The current round number
TracePerasVotingRulesDecision	The decision made by the voting rules for a given round
Fields PerasRoundNo The current round number (PerasVotingRulesDecision blk) The reason to forge or not forge a vote
TracePerasVotingForgedVote	We forged a vote for the current round
Fields PerasRoundNo The current round number (WithArrivalTime (ValidatedPerasVote blk)) The forged vote
TracePerasVotingAddVoteResult	The result of adding the vote to the PerasVoteDB
Fields PerasRoundNo The current round number (AddPerasVoteResult blk) The result of adding the vote to the chain
TracePerasVotingAddCertChainSelOutcome	The result of adding the certificate to the PerasCertDB
Fields PerasRoundNo The current round number AddPerasCertChainSelOutcome The result of adding the certificate to the chain
TracePerasVotingCantReadEnv String	TODO: get rid of this when we no longer read stuff from env variables

Instances

Instances details

(StandardHash blk, Eq (PerasVote blk), Eq (PerasCert blk)) ⇒ Eq (TracePerasVoteForgingEvent blk) Source #

Instance details

Defined in Ouroboros.Consensus.Peras.Voting.Trace

Methods

(==) ∷ TracePerasVoteForgingEvent blk → TracePerasVoteForgingEvent blk → Bool #

(/=) ∷ TracePerasVoteForgingEvent blk → TracePerasVoteForgingEvent blk → Bool #

Generic (TracePerasVoteForgingEvent blk) Source #

Instance details

Defined in Ouroboros.Consensus.Peras.Voting.Trace

Associated Types

type Rep (TracePerasVoteForgingEvent blk)

Instance details

Defined in Ouroboros.Consensus.Peras.Voting.Trace

type Rep (TracePerasVoteForgingEvent blk) = D1 ('MetaData "TracePerasVoteForgingEvent" "Ouroboros.Consensus.Peras.Voting.Trace" "ouroboros-consensus-4.0.0.0-inplace" 'False) ((C1 ('MetaCons "TracePerasVotingNoVoteAfterFirstSlotInRound" 'PrefixI 'False) (S1 ('MetaSel ('Nothing ∷ Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 PerasRoundNo) :*: S1 ('MetaSel ('Nothing ∷ Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Word64)) :+: (C1 ('MetaCons "TracePerasVotingNotAVoterInRound" 'PrefixI 'False) (S1 ('MetaSel ('Nothing ∷ Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 PerasRoundNo)) :+: C1 ('MetaCons "TracePerasVotingRulesDecision" 'PrefixI 'False) (S1 ('MetaSel ('Nothing ∷ Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 PerasRoundNo) :*: S1 ('MetaSel ('Nothing ∷ Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (PerasVotingRulesDecision blk))))) :+: ((C1 ('MetaCons "TracePerasVotingForgedVote" 'PrefixI 'False) (S1 ('MetaSel ('Nothing ∷ Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 PerasRoundNo) :*: S1 ('MetaSel ('Nothing ∷ Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (WithArrivalTime (ValidatedPerasVote blk)))) :+: C1 ('MetaCons "TracePerasVotingAddVoteResult" 'PrefixI 'False) (S1 ('MetaSel ('Nothing ∷ Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 PerasRoundNo) :*: S1 ('MetaSel ('Nothing ∷ Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (AddPerasVoteResult blk)))) :+: (C1 ('MetaCons "TracePerasVotingAddCertChainSelOutcome" 'PrefixI 'False) (S1 ('MetaSel ('Nothing ∷ Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 PerasRoundNo) :*: S1 ('MetaSel ('Nothing ∷ Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 AddPerasCertChainSelOutcome)) :+: C1 ('MetaCons "TracePerasVotingCantReadEnv" 'PrefixI 'False) (S1 ('MetaSel ('Nothing ∷ Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 String)))))

Methods

from ∷ TracePerasVoteForgingEvent blk → Rep (TracePerasVoteForgingEvent blk) x #

to ∷ Rep (TracePerasVoteForgingEvent blk) x → TracePerasVoteForgingEvent blk #

(StandardHash blk, Show (PerasVote blk), Show (PerasCert blk)) ⇒ Show (TracePerasVoteForgingEvent blk) Source #

Instance details

Defined in Ouroboros.Consensus.Peras.Voting.Trace

Methods

showsPrec ∷ Int → TracePerasVoteForgingEvent blk → ShowS #

show ∷ TracePerasVoteForgingEvent blk → String #

showList ∷ [TracePerasVoteForgingEvent blk] → ShowS #

(StandardHash blk, NoThunks (PerasVote blk), NoThunks (PerasCert blk)) ⇒ NoThunks (TracePerasVoteForgingEvent blk) Source #

Instance details

Defined in Ouroboros.Consensus.Peras.Voting.Trace

Methods

noThunks ∷ Context → TracePerasVoteForgingEvent blk → IO (Maybe ThunkInfo) Source #

wNoThunks ∷ Context → TracePerasVoteForgingEvent blk → IO (Maybe ThunkInfo) Source #

showTypeOf ∷ Proxy (TracePerasVoteForgingEvent blk) → String Source #

type Rep (TracePerasVoteForgingEvent blk) Source #

Instance details

Defined in Ouroboros.Consensus.Peras.Voting.Trace

type Rep (TracePerasVoteForgingEvent blk) = D1 ('MetaData "TracePerasVoteForgingEvent" "Ouroboros.Consensus.Peras.Voting.Trace" "ouroboros-consensus-4.0.0.0-inplace" 'False) ((C1 ('MetaCons "TracePerasVotingNoVoteAfterFirstSlotInRound" 'PrefixI 'False) (S1 ('MetaSel ('Nothing ∷ Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 PerasRoundNo) :*: S1 ('MetaSel ('Nothing ∷ Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Word64)) :+: (C1 ('MetaCons "TracePerasVotingNotAVoterInRound" 'PrefixI 'False) (S1 ('MetaSel ('Nothing ∷ Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 PerasRoundNo)) :+: C1 ('MetaCons "TracePerasVotingRulesDecision" 'PrefixI 'False) (S1 ('MetaSel ('Nothing ∷ Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 PerasRoundNo) :*: S1 ('MetaSel ('Nothing ∷ Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (PerasVotingRulesDecision blk))))) :+: ((C1 ('MetaCons "TracePerasVotingForgedVote" 'PrefixI 'False) (S1 ('MetaSel ('Nothing ∷ Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 PerasRoundNo) :*: S1 ('MetaSel ('Nothing ∷ Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (WithArrivalTime (ValidatedPerasVote blk)))) :+: C1 ('MetaCons "TracePerasVotingAddVoteResult" 'PrefixI 'False) (S1 ('MetaSel ('Nothing ∷ Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 PerasRoundNo) :*: S1 ('MetaSel ('Nothing ∷ Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (AddPerasVoteResult blk)))) :+: (C1 ('MetaCons "TracePerasVotingAddCertChainSelOutcome" 'PrefixI 'False) (S1 ('MetaSel ('Nothing ∷ Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 PerasRoundNo) :*: S1 ('MetaSel ('Nothing ∷ Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 AddPerasCertChainSelOutcome)) :+: C1 ('MetaCons "TracePerasVotingCantReadEnv" 'PrefixI 'False) (S1 ('MetaSel ('Nothing ∷ Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 String)))))