Safe Haskell	None
Language	Haskell2010

Ouroboros.Consensus.Peras.Vote.Mock

Description

Mocked Peras votes without crypto.

Synopsis

data MockPerasVote blk = MockPerasVote {
- mockVoteRound ∷ PerasRoundNo
- mockVoteBlock ∷ Point blk
- mockVoteSeatIndex ∷ PerasSeatIndex
}

Documentation

data MockPerasVote blk Source #

Mocked Peras votes without crypto.

NOTE: this is parameterized around the concrete block type being voted for.

Constructors

MockPerasVote
Fields mockVoteRound ∷ PerasRoundNo mockVoteBlock ∷ Point blk mockVoteSeatIndex ∷ PerasSeatIndex

Instances

Instances details

ConvertRawHash blk ⇒ SerialiseNodeToNode blk (MockPerasVote blk) Source #

Instance details

Defined in Ouroboros.Consensus.Peras.Vote.Mock

Methods

encodeNodeToNode ∷ CodecConfig blk → BlockNodeToNodeVersion blk → MockPerasVote blk → Encoding Source #

decodeNodeToNode ∷ CodecConfig blk → BlockNodeToNodeVersion blk → ∀ s. Decoder s (MockPerasVote blk) Source #

ShowProxy blk ⇒ ShowProxy (MockPerasVote blk ∷ Type) Source #

Instance details

Defined in Ouroboros.Consensus.Peras.Vote.Mock

Methods

showProxy ∷ Proxy (MockPerasVote blk) → String #

(Typeable blk, FromCBOR (Point blk)) ⇒ FromCBOR (MockPerasVote blk) Source #

Instance details

Defined in Ouroboros.Consensus.Peras.Vote.Mock

Methods

fromCBOR ∷ Decoder s (MockPerasVote blk) Source #

label ∷ Proxy (MockPerasVote blk) → Text Source #

(Typeable blk, ToCBOR (Point blk)) ⇒ ToCBOR (MockPerasVote blk) Source #

Instance details

Defined in Ouroboros.Consensus.Peras.Vote.Mock

Methods

toCBOR ∷ MockPerasVote blk → Encoding Source #

encodedSizeExpr ∷ (∀ t. ToCBOR t ⇒ Proxy t → Size) → Proxy (MockPerasVote blk) → Size Source #

encodedListSizeExpr ∷ (∀ t. ToCBOR t ⇒ Proxy t → Size) → Proxy [MockPerasVote blk] → Size Source #

StandardHash blk ⇒ NFData (MockPerasVote blk) Source #

Instance details

Defined in Ouroboros.Consensus.Peras.Vote.Mock

Methods

rnf ∷ MockPerasVote blk → () #

StandardHash blk ⇒ Eq (MockPerasVote blk) Source #

Instance details

Defined in Ouroboros.Consensus.Peras.Vote.Mock

Methods

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

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

StandardHash blk ⇒ Ord (MockPerasVote blk) Source #

Instance details

Defined in Ouroboros.Consensus.Peras.Vote.Mock

Methods

compare ∷ MockPerasVote blk → MockPerasVote blk → Ordering #

(<) ∷ MockPerasVote blk → MockPerasVote blk → Bool #

(<=) ∷ MockPerasVote blk → MockPerasVote blk → Bool #

(>) ∷ MockPerasVote blk → MockPerasVote blk → Bool #

(>=) ∷ MockPerasVote blk → MockPerasVote blk → Bool #

max ∷ MockPerasVote blk → MockPerasVote blk → MockPerasVote blk #

min ∷ MockPerasVote blk → MockPerasVote blk → MockPerasVote blk #

Generic (MockPerasVote blk) Source #

Instance details

Defined in Ouroboros.Consensus.Peras.Vote.Mock

Associated Types

type Rep (MockPerasVote blk)

Instance details

Defined in Ouroboros.Consensus.Peras.Vote.Mock

type Rep (MockPerasVote blk) = D1 ('MetaData "MockPerasVote" "Ouroboros.Consensus.Peras.Vote.Mock" "ouroboros-consensus-4.0.0.0-inplace" 'False) (C1 ('MetaCons "MockPerasVote" 'PrefixI 'True) (S1 ('MetaSel ('Just "mockVoteRound") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 PerasRoundNo) :*: (S1 ('MetaSel ('Just "mockVoteBlock") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (Point blk)) :*: S1 ('MetaSel ('Just "mockVoteSeatIndex") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 PerasSeatIndex))))

Methods

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

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

StandardHash blk ⇒ Show (MockPerasVote blk) Source #

Instance details

Defined in Ouroboros.Consensus.Peras.Vote.Mock

Methods

showsPrec ∷ Int → MockPerasVote blk → ShowS #

show ∷ MockPerasVote blk → String #

showList ∷ [MockPerasVote blk] → ShowS #

StandardHash blk ⇒ NoThunks (MockPerasVote blk) Source #

Instance details

Defined in Ouroboros.Consensus.Peras.Vote.Mock

Methods

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

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

showTypeOf ∷ Proxy (MockPerasVote blk) → String 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 #

PerasVoteCompatibleWithVotingCommittee (MockPerasVote blk) (MockPerasCrypto blk) (MockPerasVotingCommitteeScheme blk) Source #

Instance details

Defined in Ouroboros.Consensus.Peras.Crypto.Mock

Methods

toPerasVote ∷ Vote (MockPerasCrypto blk) (MockPerasVotingCommitteeScheme blk) → Either PerasConversionError (MockPerasVote blk) Source #

fromPerasVote ∷ MockPerasVote blk → Either PerasConversionError (Vote (MockPerasCrypto blk) (MockPerasVotingCommitteeScheme blk)) Source #

type Rep (MockPerasVote blk) Source #

Instance details

Defined in Ouroboros.Consensus.Peras.Vote.Mock

type Rep (MockPerasVote blk) = D1 ('MetaData "MockPerasVote" "Ouroboros.Consensus.Peras.Vote.Mock" "ouroboros-consensus-4.0.0.0-inplace" 'False) (C1 ('MetaCons "MockPerasVote" 'PrefixI 'True) (S1 ('MetaSel ('Just "mockVoteRound") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 PerasRoundNo) :*: (S1 ('MetaSel ('Just "mockVoteBlock") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (Point blk)) :*: S1 ('MetaSel ('Just "mockVoteSeatIndex") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 PerasSeatIndex))))

type BoostedBlock (MockPerasVote blk) Source #

Instance details

Defined in Ouroboros.Consensus.Peras.Vote.Mock

type BoostedBlock (MockPerasVote blk) = Point blk