ouroboros-consensus
Safe HaskellNone
LanguageHaskell2010

Ouroboros.Consensus.Peras.Vote.Class

Description

The IsPerasVote projection/injection class.

Synopsis

Documentation

class BoostedBlockCompatibleWithPoint (BoostedBlock vote) blk ⇒ IsPerasVote vote blk | vote → blk where Source #

Types that support being treated as Peras votes

Minimal complete definition

getPerasVoteRound, getPerasVoteBlock, getPerasVoteSeatIndex

Methods

getPerasVoteRound ∷ vote → PerasRoundNo Source #

getPerasVoteBlock ∷ vote → BoostedBlock vote Source #

getPerasVoteSeatIndex ∷ vote → PerasSeatIndex Source #

getPerasVotePoint ∷ vote → Point blk Source #

Instances

Instances details
(IsPerasVote (PerasVote blk) blk, BoostedBlockCompatibleWithPoint (BoostedBlock (PerasVote blk)) blk) ⇒ IsPerasVote (ValidatedPerasVote blk) blk Source # 
Instance details

Defined in Ouroboros.Consensus.Block.SupportsPeras

Methods

getPerasVoteRound ∷ ValidatedPerasVote blk → PerasRoundNo Source #

getPerasVoteBlock ∷ ValidatedPerasVote blk → BoostedBlock (ValidatedPerasVote blk) Source #

getPerasVoteSeatIndex ∷ ValidatedPerasVote blk → PerasSeatIndex Source #

getPerasVotePoint ∷ ValidatedPerasVote blk → Point blk Source #

IsPerasVote vote blk ⇒ IsPerasVote (WithArrivalTime vote) blk Source # 
Instance details

Defined in Ouroboros.Consensus.Peras.Vote.Class

Methods

getPerasVoteRound ∷ WithArrivalTime vote → PerasRoundNo Source #

getPerasVoteBlock ∷ WithArrivalTime vote → BoostedBlock (WithArrivalTime vote) Source #

getPerasVoteSeatIndex ∷ WithArrivalTime vote → PerasSeatIndex Source #

getPerasVotePoint ∷ WithArrivalTime vote → Point blk Source #

IsPerasVote (VoidPerasVote blk) blk Source # 
Instance details

Defined in Ouroboros.Consensus.Peras.Void

Methods

getPerasVoteRound ∷ VoidPerasVote blk → PerasRoundNo Source #

getPerasVoteBlock ∷ VoidPerasVote blk → BoostedBlock (VoidPerasVote blk) Source #

getPerasVoteSeatIndex ∷ VoidPerasVote blk → PerasSeatIndex Source #

getPerasVotePoint ∷ VoidPerasVote blk → Point blk Source #

IsPerasVote (MockPerasVote blk) blk Source # 
Instance details

Defined in Ouroboros.Consensus.Peras.Vote.Mock

Methods

getPerasVoteRound ∷ MockPerasVote blk → PerasRoundNo Source #

getPerasVoteBlock ∷ MockPerasVote blk → BoostedBlock (MockPerasVote blk) Source #

getPerasVoteSeatIndex ∷ MockPerasVote blk → PerasSeatIndex Source #

getPerasVotePoint ∷ MockPerasVote blk → Point blk Source #

(ConvertRawHash blk, HashSize blk ~ 32) ⇒ IsPerasVote (PerasVote blk) blk Source # 
Instance details

Defined in Ouroboros.Consensus.Peras.Vote.V1

Methods

getPerasVoteRound ∷ PerasVote blk → PerasRoundNo Source #

getPerasVoteBlock ∷ PerasVote blk → BoostedBlock (PerasVote blk) Source #

getPerasVoteSeatIndex ∷ PerasVote blk → PerasSeatIndex Source #

getPerasVotePoint ∷ PerasVote blk → Point blk Source #

(CanHardFork xs, All SingleEraBlock xs) ⇒ IsPerasVote (OneEraPerasVote xs) (HardForkBlock xs) Source # 
Instance details

Defined in Ouroboros.Consensus.HardFork.Combinator.Basics

Methods

getPerasVoteRound ∷ OneEraPerasVote xs → PerasRoundNo Source #

getPerasVoteBlock ∷ OneEraPerasVote xs → BoostedBlock (OneEraPerasVote xs) Source #

getPerasVoteSeatIndex ∷ OneEraPerasVote xs → PerasSeatIndex Source #

getPerasVotePoint ∷ OneEraPerasVote xs → Point (HardForkBlock xs) Source #

getPerasVoteId ∷ IsPerasVote vote blk ⇒ vote → PerasVoteId Source #

Extract the vote ID from a Peras vote container

getPerasVoteTarget ∷ IsPerasVote vote blk ⇒ vote → PerasVoteTarget blk Source #

Extract the vote target from a Peras vote container