ouroboros-consensus
Safe HaskellNone
LanguageHaskell2010

Ouroboros.Consensus.Peras.Types

Description

Base Peras types used throughout the codebase.

Synopsis

Peras round numbers

newtype PerasRoundNo Source #

Round number in a Peras election.

Constructors

PerasRoundNo 

Fields

Instances

Instances details
FromCBOR PerasRoundNo Source # 
Instance details

Defined in Ouroboros.Consensus.Peras.Types

Methods

fromCBOR ∷ Decoder s PerasRoundNo Source #

label ∷ Proxy PerasRoundNo → Text Source #

ToCBOR PerasRoundNo Source # 
Instance details

Defined in Ouroboros.Consensus.Peras.Types

Methods

toCBOR ∷ PerasRoundNo → Encoding Source #

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

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

NFData PerasRoundNo Source # 
Instance details

Defined in Ouroboros.Consensus.Peras.Types

Methods

rnf ∷ PerasRoundNo → () #

Eq PerasRoundNo Source # 
Instance details

Defined in Ouroboros.Consensus.Peras.Types

Methods

(==) ∷ PerasRoundNo → PerasRoundNo → Bool #

(/=) ∷ PerasRoundNo → PerasRoundNo → Bool #

Ord PerasRoundNo Source # 
Instance details

Defined in Ouroboros.Consensus.Peras.Types

Methods

compare ∷ PerasRoundNo → PerasRoundNo → Ordering #

(<) ∷ PerasRoundNo → PerasRoundNo → Bool #

(<=) ∷ PerasRoundNo → PerasRoundNo → Bool #

(>) ∷ PerasRoundNo → PerasRoundNo → Bool #

(>=) ∷ PerasRoundNo → PerasRoundNo → Bool #

max ∷ PerasRoundNo → PerasRoundNo → PerasRoundNo #

min ∷ PerasRoundNo → PerasRoundNo → PerasRoundNo #

Bounded PerasRoundNo Source # 
Instance details

Defined in Ouroboros.Consensus.Peras.Types

Methods

minBound ∷ PerasRoundNo #

maxBound ∷ PerasRoundNo #

Enum PerasRoundNo Source # 
Instance details

Defined in Ouroboros.Consensus.Peras.Types

Methods

succ ∷ PerasRoundNo → PerasRoundNo #

pred ∷ PerasRoundNo → PerasRoundNo #

toEnum ∷ Int → PerasRoundNo #

fromEnum ∷ PerasRoundNo → Int #

enumFrom ∷ PerasRoundNo → [PerasRoundNo] #

enumFromThen ∷ PerasRoundNo → PerasRoundNo → [PerasRoundNo] #

enumFromTo ∷ PerasRoundNo → PerasRoundNo → [PerasRoundNo] #

enumFromThenTo ∷ PerasRoundNo → PerasRoundNo → PerasRoundNo → [PerasRoundNo] #

Generic PerasRoundNo Source # 
Instance details

Defined in Ouroboros.Consensus.Peras.Types

Associated Types

type Rep PerasRoundNo 
Instance details

Defined in Ouroboros.Consensus.Peras.Types

type Rep PerasRoundNo = D1 ('MetaData "PerasRoundNo" "Ouroboros.Consensus.Peras.Types" "ouroboros-consensus-4.0.0.0-inplace" 'True) (C1 ('MetaCons "PerasRoundNo" 'PrefixI 'True) (S1 ('MetaSel ('Just "unPerasRoundNo") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Word64)))

Methods

from ∷ PerasRoundNo → Rep PerasRoundNo x #

to ∷ Rep PerasRoundNo x → PerasRoundNo #

Num PerasRoundNo Source # 
Instance details

Defined in Ouroboros.Consensus.Peras.Types

Methods

(+) ∷ PerasRoundNo → PerasRoundNo → PerasRoundNo #

(-) ∷ PerasRoundNo → PerasRoundNo → PerasRoundNo #

(*) ∷ PerasRoundNo → PerasRoundNo → PerasRoundNo #

negate ∷ PerasRoundNo → PerasRoundNo #

abs ∷ PerasRoundNo → PerasRoundNo #

signum ∷ PerasRoundNo → PerasRoundNo #

fromInteger ∷ Integer → PerasRoundNo #

Show PerasRoundNo Source # 
Instance details

Defined in Ouroboros.Consensus.Peras.Types

Methods

showsPrec ∷ Int → PerasRoundNo → ShowS #

show ∷ PerasRoundNo → String #

showList ∷ [PerasRoundNo] → ShowS #

NoThunks PerasRoundNo Source # 
Instance details

Defined in Ouroboros.Consensus.Peras.Types

Methods

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

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

showTypeOf ∷ Proxy PerasRoundNo → String Source #

Condense PerasRoundNo Source # 
Instance details

Defined in Ouroboros.Consensus.Peras.Types

Methods

condense ∷ PerasRoundNo → String Source #

Serialise PerasRoundNo Source # 
Instance details

Defined in Ouroboros.Consensus.Peras.Types

Methods

encode ∷ PerasRoundNo → Encoding Source #

decode ∷ Decoder s PerasRoundNo Source #

encodeList ∷ [PerasRoundNo] → Encoding Source #

decodeList ∷ Decoder s [PerasRoundNo] Source #

SerialiseNodeToNode blk PerasRoundNo Source # 
Instance details

Defined in Ouroboros.Consensus.Node.Serialisation

Methods

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

decodeNodeToNode ∷ CodecConfig blk → BlockNodeToNodeVersion blk → ∀ s. Decoder s PerasRoundNo Source #

ShowProxy PerasRoundNo Source # 
Instance details

Defined in Ouroboros.Consensus.Peras.Types

Methods

showProxy ∷ Proxy PerasRoundNo → String #

type Rep PerasRoundNo Source # 
Instance details

Defined in Ouroboros.Consensus.Peras.Types

type Rep PerasRoundNo = D1 ('MetaData "PerasRoundNo" "Ouroboros.Consensus.Peras.Types" "ouroboros-consensus-4.0.0.0-inplace" 'True) (C1 ('MetaCons "PerasRoundNo" 'PrefixI 'True) (S1 ('MetaSel ('Just "unPerasRoundNo") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Word64)))

onPerasRoundNo ∷ (Word64 → Word64 → Word64) → PerasRoundNo → PerasRoundNo → PerasRoundNo Source #

Lift a binary operation on Word64 to PerasRoundNo

Peras boosted blocks

newtype PerasBoostedBlock Source #

The slot number and 32-byte hash of the block being voted for.

NOTE: this type is mostly used in production votes and certificates, while mocked votes and certificates generally use the more abstract 'Point blk'.

Constructors

PerasBoostedBlock 

Fields

Instances

Instances details
FromCBOR PerasBoostedBlock Source # 
Instance details

Defined in Ouroboros.Consensus.Peras.Types

Methods

fromCBOR ∷ Decoder s PerasBoostedBlock Source #

label ∷ Proxy PerasBoostedBlock → Text Source #

ToCBOR PerasBoostedBlock Source # 
Instance details

Defined in Ouroboros.Consensus.Peras.Types

Methods

toCBOR ∷ PerasBoostedBlock → Encoding Source #

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

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

Eq PerasBoostedBlock Source # 
Instance details

Defined in Ouroboros.Consensus.Peras.Types

Methods

(==) ∷ PerasBoostedBlock → PerasBoostedBlock → Bool #

(/=) ∷ PerasBoostedBlock → PerasBoostedBlock → Bool #

Generic PerasBoostedBlock Source # 
Instance details

Defined in Ouroboros.Consensus.Peras.Types

Associated Types

type Rep PerasBoostedBlock 
Instance details

Defined in Ouroboros.Consensus.Peras.Types

type Rep PerasBoostedBlock = D1 ('MetaData "PerasBoostedBlock" "Ouroboros.Consensus.Peras.Types" "ouroboros-consensus-4.0.0.0-inplace" 'True) (C1 ('MetaCons "PerasBoostedBlock" 'PrefixI 'True) (S1 ('MetaSel ('Just "unPerasBoostedBlock") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (WithOrigin Bytes32RealPoint))))

Methods

from ∷ PerasBoostedBlock → Rep PerasBoostedBlock x #

to ∷ Rep PerasBoostedBlock x → PerasBoostedBlock #

Show PerasBoostedBlock Source # 
Instance details

Defined in Ouroboros.Consensus.Peras.Types

Methods

showsPrec ∷ Int → PerasBoostedBlock → ShowS #

show ∷ PerasBoostedBlock → String #

showList ∷ [PerasBoostedBlock] → ShowS #

NoThunks PerasBoostedBlock Source # 
Instance details

Defined in Ouroboros.Consensus.Peras.Types

Methods

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

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

showTypeOf ∷ Proxy PerasBoostedBlock → String Source #

(ConvertRawHash blk, HashSize blk ~ 32) ⇒ BoostedBlockCompatibleWithPoint PerasBoostedBlock blk Source # 
Instance details

Defined in Ouroboros.Consensus.Peras.Types

Methods

boostedBlockToPoint ∷ PerasBoostedBlock → Point blk Source #

pointToBoostedBlock ∷ Point blk → PerasBoostedBlock Source #

type Rep PerasBoostedBlock Source # 
Instance details

Defined in Ouroboros.Consensus.Peras.Types

type Rep PerasBoostedBlock = D1 ('MetaData "PerasBoostedBlock" "Ouroboros.Consensus.Peras.Types" "ouroboros-consensus-4.0.0.0-inplace" 'True) (C1 ('MetaCons "PerasBoostedBlock" 'PrefixI 'True) (S1 ('MetaSel ('Just "unPerasBoostedBlock") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (WithOrigin Bytes32RealPoint))))

type family BoostedBlock voteOrCert Source #

Instances

Instances details
type BoostedBlock (PerasCert' blk) Source # 
Instance details

Defined in Ouroboros.Consensus.Block.SupportsPeras

type BoostedBlock (PerasCert' blk) = Point blk
type BoostedBlock (PerasVote' blk) Source # 
Instance details

Defined in Ouroboros.Consensus.Block.SupportsPeras

type BoostedBlock (PerasVote' blk) = Point blk
type BoostedBlock (ValidatedPerasCert blk) Source # 
Instance details

Defined in Ouroboros.Consensus.Block.SupportsPeras

type BoostedBlock (ValidatedPerasCert blk) = BoostedBlock (PerasCert blk)
type BoostedBlock (ValidatedPerasVote blk) Source # 
Instance details

Defined in Ouroboros.Consensus.Block.SupportsPeras

type BoostedBlock (ValidatedPerasVote blk) = BoostedBlock (PerasVote blk)
type BoostedBlock (WithArrivalTime voteOrCert) Source # 
Instance details

Defined in Ouroboros.Consensus.Peras.Types

type BoostedBlock (WithArrivalTime voteOrCert) = BoostedBlock voteOrCert
type BoostedBlock (PerasCert blk) Source # 
Instance details

Defined in Ouroboros.Consensus.Peras.Cert.V1

type BoostedBlock (PerasCert blk) = PerasBoostedBlock
type BoostedBlock (VoidPerasCert blk) Source # 
Instance details

Defined in Ouroboros.Consensus.Peras.Void

type BoostedBlock (VoidPerasCert blk) = Point blk
type BoostedBlock (VoidPerasVote blk) Source # 
Instance details

Defined in Ouroboros.Consensus.Peras.Void

type BoostedBlock (VoidPerasVote blk) = Point blk
type BoostedBlock (PerasVote blk) Source # 
Instance details

Defined in Ouroboros.Consensus.Peras.Vote.V1

type BoostedBlock (PerasVote blk) = PerasBoostedBlock

class BoostedBlockCompatibleWithPoint boostedBlock blk where Source #

Conversion back and forth between boosted blocks and abstract points.

Methods

boostedBlockToPoint ∷ boostedBlock → Point blk Source #

pointToBoostedBlock ∷ Point blk → boostedBlock Source #

Instances

Instances details
(ConvertRawHash blk, HashSize blk ~ 32) ⇒ BoostedBlockCompatibleWithPoint PerasBoostedBlock blk Source # 
Instance details

Defined in Ouroboros.Consensus.Peras.Types

Methods

boostedBlockToPoint ∷ PerasBoostedBlock → Point blk Source #

pointToBoostedBlock ∷ Point blk → PerasBoostedBlock Source #

BoostedBlockCompatibleWithPoint (Point blk) blk Source # 
Instance details

Defined in Ouroboros.Consensus.Peras.Types

Methods

boostedBlockToPoint ∷ Point blk → Point blk Source #

pointToBoostedBlock ∷ Point blk → Point blk Source #

Peras seat indices

newtype PerasSeatIndex Source #

Seat index in the voting committee used for Peras

Constructors

PerasSeatIndex 

Fields

Instances

Instances details
FromCBOR PerasSeatIndex Source # 
Instance details

Defined in Ouroboros.Consensus.Peras.Types

Methods

fromCBOR ∷ Decoder s PerasSeatIndex Source #

label ∷ Proxy PerasSeatIndex → Text Source #

ToCBOR PerasSeatIndex Source # 
Instance details

Defined in Ouroboros.Consensus.Peras.Types

Methods

toCBOR ∷ PerasSeatIndex → Encoding Source #

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

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

NFData PerasSeatIndex Source # 
Instance details

Defined in Ouroboros.Consensus.Peras.Types

Methods

rnf ∷ PerasSeatIndex → () #

Eq PerasSeatIndex Source # 
Instance details

Defined in Ouroboros.Consensus.Peras.Types

Methods

(==) ∷ PerasSeatIndex → PerasSeatIndex → Bool #

(/=) ∷ PerasSeatIndex → PerasSeatIndex → Bool #

Ord PerasSeatIndex Source # 
Instance details

Defined in Ouroboros.Consensus.Peras.Types

Methods

compare ∷ PerasSeatIndex → PerasSeatIndex → Ordering #

(<) ∷ PerasSeatIndex → PerasSeatIndex → Bool #

(<=) ∷ PerasSeatIndex → PerasSeatIndex → Bool #

(>) ∷ PerasSeatIndex → PerasSeatIndex → Bool #

(>=) ∷ PerasSeatIndex → PerasSeatIndex → Bool #

max ∷ PerasSeatIndex → PerasSeatIndex → PerasSeatIndex #

min ∷ PerasSeatIndex → PerasSeatIndex → PerasSeatIndex #

Bounded PerasSeatIndex Source # 
Instance details

Defined in Ouroboros.Consensus.Peras.Types

Methods

minBound ∷ PerasSeatIndex #

maxBound ∷ PerasSeatIndex #

Enum PerasSeatIndex Source # 
Instance details

Defined in Ouroboros.Consensus.Peras.Types

Methods

succ ∷ PerasSeatIndex → PerasSeatIndex #

pred ∷ PerasSeatIndex → PerasSeatIndex #

toEnum ∷ Int → PerasSeatIndex #

fromEnum ∷ PerasSeatIndex → Int #

enumFrom ∷ PerasSeatIndex → [PerasSeatIndex] #

enumFromThen ∷ PerasSeatIndex → PerasSeatIndex → [PerasSeatIndex] #

enumFromTo ∷ PerasSeatIndex → PerasSeatIndex → [PerasSeatIndex] #

enumFromThenTo ∷ PerasSeatIndex → PerasSeatIndex → PerasSeatIndex → [PerasSeatIndex] #

Generic PerasSeatIndex Source # 
Instance details

Defined in Ouroboros.Consensus.Peras.Types

Associated Types

type Rep PerasSeatIndex 
Instance details

Defined in Ouroboros.Consensus.Peras.Types

type Rep PerasSeatIndex = D1 ('MetaData "PerasSeatIndex" "Ouroboros.Consensus.Peras.Types" "ouroboros-consensus-4.0.0.0-inplace" 'True) (C1 ('MetaCons "PerasSeatIndex" 'PrefixI 'True) (S1 ('MetaSel ('Just "unPerasSeatIndex") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Word16)))

Methods

from ∷ PerasSeatIndex → Rep PerasSeatIndex x #

to ∷ Rep PerasSeatIndex x → PerasSeatIndex #

Show PerasSeatIndex Source # 
Instance details

Defined in Ouroboros.Consensus.Peras.Types

Methods

showsPrec ∷ Int → PerasSeatIndex → ShowS #

show ∷ PerasSeatIndex → String #

showList ∷ [PerasSeatIndex] → ShowS #

NoThunks PerasSeatIndex Source # 
Instance details

Defined in Ouroboros.Consensus.Peras.Types

Methods

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

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

showTypeOf ∷ Proxy PerasSeatIndex → String Source #

SerialiseNodeToNode blk PerasSeatIndex Source # 
Instance details

Defined in Ouroboros.Consensus.Node.Serialisation

Methods

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

decodeNodeToNode ∷ CodecConfig blk → BlockNodeToNodeVersion blk → ∀ s. Decoder s PerasSeatIndex Source #

type Rep PerasSeatIndex Source # 
Instance details

Defined in Ouroboros.Consensus.Peras.Types

type Rep PerasSeatIndex = D1 ('MetaData "PerasSeatIndex" "Ouroboros.Consensus.Peras.Types" "ouroboros-consensus-4.0.0.0-inplace" 'True) (C1 ('MetaCons "PerasSeatIndex" 'PrefixI 'True) (S1 ('MetaSel ('Just "unPerasSeatIndex") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Word16)))

Peras vote parameters

data PerasVoteTarget blk Source #

The target of a vote in a Peras election

Constructors

PerasVoteTarget 

Fields

Instances

Instances details
StandardHash blk ⇒ Eq (PerasVoteTarget blk) Source # 
Instance details

Defined in Ouroboros.Consensus.Peras.Types

Methods

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

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

StandardHash blk ⇒ Ord (PerasVoteTarget blk) Source # 
Instance details

Defined in Ouroboros.Consensus.Peras.Types

Methods

compare ∷ PerasVoteTarget blk → PerasVoteTarget blk → Ordering #

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

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

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

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

max ∷ PerasVoteTarget blk → PerasVoteTarget blk → PerasVoteTarget blk #

min ∷ PerasVoteTarget blk → PerasVoteTarget blk → PerasVoteTarget blk #

Generic (PerasVoteTarget blk) Source # 
Instance details

Defined in Ouroboros.Consensus.Peras.Types

Associated Types

type Rep (PerasVoteTarget blk) 
Instance details

Defined in Ouroboros.Consensus.Peras.Types

type Rep (PerasVoteTarget blk) = D1 ('MetaData "PerasVoteTarget" "Ouroboros.Consensus.Peras.Types" "ouroboros-consensus-4.0.0.0-inplace" 'False) (C1 ('MetaCons "PerasVoteTarget" 'PrefixI 'True) (S1 ('MetaSel ('Just "pvtRoundNo") 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 PerasRoundNo) :*: S1 ('MetaSel ('Just "pvtBlock") 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 (Point blk))))

Methods

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

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

StandardHash blk ⇒ Show (PerasVoteTarget blk) Source # 
Instance details

Defined in Ouroboros.Consensus.Peras.Types

Methods

showsPrec ∷ Int → PerasVoteTarget blk → ShowS #

show ∷ PerasVoteTarget blk → String #

showList ∷ [PerasVoteTarget blk] → ShowS #

StandardHash blk ⇒ NoThunks (PerasVoteTarget blk) Source # 
Instance details

Defined in Ouroboros.Consensus.Peras.Types

Methods

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

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

showTypeOf ∷ Proxy (PerasVoteTarget blk) → String Source #

type Rep (PerasVoteTarget blk) Source # 
Instance details

Defined in Ouroboros.Consensus.Peras.Types

type Rep (PerasVoteTarget blk) = D1 ('MetaData "PerasVoteTarget" "Ouroboros.Consensus.Peras.Types" "ouroboros-consensus-4.0.0.0-inplace" 'False) (C1 ('MetaCons "PerasVoteTarget" 'PrefixI 'True) (S1 ('MetaSel ('Just "pvtRoundNo") 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 PerasRoundNo) :*: S1 ('MetaSel ('Just "pvtBlock") 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 (Point blk))))

data PerasVoteId Source #

The identifier of a vote in a Peras election

Constructors

PerasVoteId 

Fields

Instances

Instances details
FromCBOR PerasVoteId Source # 
Instance details

Defined in Ouroboros.Consensus.Peras.Types

Methods

fromCBOR ∷ Decoder s PerasVoteId Source #

label ∷ Proxy PerasVoteId → Text Source #

ToCBOR PerasVoteId Source # 
Instance details

Defined in Ouroboros.Consensus.Peras.Types

Methods

toCBOR ∷ PerasVoteId → Encoding Source #

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

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

Eq PerasVoteId Source # 
Instance details

Defined in Ouroboros.Consensus.Peras.Types

Methods

(==) ∷ PerasVoteId → PerasVoteId → Bool #

(/=) ∷ PerasVoteId → PerasVoteId → Bool #

Ord PerasVoteId Source # 
Instance details

Defined in Ouroboros.Consensus.Peras.Types

Methods

compare ∷ PerasVoteId → PerasVoteId → Ordering #

(<) ∷ PerasVoteId → PerasVoteId → Bool #

(<=) ∷ PerasVoteId → PerasVoteId → Bool #

(>) ∷ PerasVoteId → PerasVoteId → Bool #

(>=) ∷ PerasVoteId → PerasVoteId → Bool #

max ∷ PerasVoteId → PerasVoteId → PerasVoteId #

min ∷ PerasVoteId → PerasVoteId → PerasVoteId #

Generic PerasVoteId Source # 
Instance details

Defined in Ouroboros.Consensus.Peras.Types

Associated Types

type Rep PerasVoteId 
Instance details

Defined in Ouroboros.Consensus.Peras.Types

type Rep PerasVoteId = D1 ('MetaData "PerasVoteId" "Ouroboros.Consensus.Peras.Types" "ouroboros-consensus-4.0.0.0-inplace" 'False) (C1 ('MetaCons "PerasVoteId" 'PrefixI 'True) (S1 ('MetaSel ('Just "pviRoundNo") 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 PerasRoundNo) :*: S1 ('MetaSel ('Just "pviSeatIndex") 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 PerasSeatIndex)))

Methods

from ∷ PerasVoteId → Rep PerasVoteId x #

to ∷ Rep PerasVoteId x → PerasVoteId #

Show PerasVoteId Source # 
Instance details

Defined in Ouroboros.Consensus.Peras.Types

Methods

showsPrec ∷ Int → PerasVoteId → ShowS #

show ∷ PerasVoteId → String #

showList ∷ [PerasVoteId] → ShowS #

NoThunks PerasVoteId Source # 
Instance details

Defined in Ouroboros.Consensus.Peras.Types

Methods

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

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

showTypeOf ∷ Proxy PerasVoteId → String Source #

SerialiseNodeToNode blk PerasVoteId Source # 
Instance details

Defined in Ouroboros.Consensus.Node.Serialisation

Methods

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

decodeNodeToNode ∷ CodecConfig blk → BlockNodeToNodeVersion blk → ∀ s. Decoder s PerasVoteId Source #

ShowProxy PerasVoteId Source # 
Instance details

Defined in Ouroboros.Consensus.Peras.Types

Methods

showProxy ∷ Proxy PerasVoteId → String #

type Rep PerasVoteId Source # 
Instance details

Defined in Ouroboros.Consensus.Peras.Types

type Rep PerasVoteId = D1 ('MetaData "PerasVoteId" "Ouroboros.Consensus.Peras.Types" "ouroboros-consensus-4.0.0.0-inplace" 'False) (C1 ('MetaCons "PerasVoteId" 'PrefixI 'True) (S1 ('MetaSel ('Just "pviRoundNo") 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 PerasRoundNo) :*: S1 ('MetaSel ('Just "pviSeatIndex") 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 PerasSeatIndex)))

newtype VoteWeight Source #

Relative voting power of a voter in the committee selection scheme

Constructors

VoteWeight 

Fields

Instances

Instances details
FromCBOR VoteWeight Source # 
Instance details

Defined in Ouroboros.Consensus.Committee.Types

Methods

fromCBOR ∷ Decoder s VoteWeight Source #

label ∷ Proxy VoteWeight → Text Source #

ToCBOR VoteWeight Source # 
Instance details

Defined in Ouroboros.Consensus.Committee.Types

Methods

toCBOR ∷ VoteWeight → Encoding Source #

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

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

NFData VoteWeight Source # 
Instance details

Defined in Ouroboros.Consensus.Committee.Types

Methods

rnf ∷ VoteWeight → () #

Monoid VoteWeight Source # 
Instance details

Defined in Ouroboros.Consensus.Committee.Types

Methods

mempty ∷ VoteWeight #

mappend ∷ VoteWeight → VoteWeight → VoteWeight #

mconcat ∷ [VoteWeight] → VoteWeight #

Semigroup VoteWeight Source # 
Instance details

Defined in Ouroboros.Consensus.Committee.Types

Methods

(<>) ∷ VoteWeight → VoteWeight → VoteWeight #

sconcat ∷ NonEmpty VoteWeight → VoteWeight #

stimes ∷ Integral b ⇒ b → VoteWeight → VoteWeight #

Eq VoteWeight Source # 
Instance details

Defined in Ouroboros.Consensus.Committee.Types

Methods

(==) ∷ VoteWeight → VoteWeight → Bool #

(/=) ∷ VoteWeight → VoteWeight → Bool #

Ord VoteWeight Source # 
Instance details

Defined in Ouroboros.Consensus.Committee.Types

Methods

compare ∷ VoteWeight → VoteWeight → Ordering #

(<) ∷ VoteWeight → VoteWeight → Bool #

(<=) ∷ VoteWeight → VoteWeight → Bool #

(>) ∷ VoteWeight → VoteWeight → Bool #

(>=) ∷ VoteWeight → VoteWeight → Bool #

max ∷ VoteWeight → VoteWeight → VoteWeight #

min ∷ VoteWeight → VoteWeight → VoteWeight #

Generic VoteWeight Source # 
Instance details

Defined in Ouroboros.Consensus.Committee.Types

Associated Types

type Rep VoteWeight 
Instance details

Defined in Ouroboros.Consensus.Committee.Types

type Rep VoteWeight = D1 ('MetaData "VoteWeight" "Ouroboros.Consensus.Committee.Types" "ouroboros-consensus-4.0.0.0-inplace" 'True) (C1 ('MetaCons "VoteWeight" 'PrefixI 'True) (S1 ('MetaSel ('Just "unVoteWeight") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Rational)))

Methods

from ∷ VoteWeight → Rep VoteWeight x #

to ∷ Rep VoteWeight x → VoteWeight #

Num VoteWeight Source # 
Instance details

Defined in Ouroboros.Consensus.Committee.Types

Methods

(+) ∷ VoteWeight → VoteWeight → VoteWeight #

(-) ∷ VoteWeight → VoteWeight → VoteWeight #

(*) ∷ VoteWeight → VoteWeight → VoteWeight #

negate ∷ VoteWeight → VoteWeight #

abs ∷ VoteWeight → VoteWeight #

signum ∷ VoteWeight → VoteWeight #

fromInteger ∷ Integer → VoteWeight #

Fractional VoteWeight Source # 
Instance details

Defined in Ouroboros.Consensus.Committee.Types

Methods

(/) ∷ VoteWeight → VoteWeight → VoteWeight #

recip ∷ VoteWeight → VoteWeight #

fromRational ∷ Rational → VoteWeight #

Show VoteWeight Source # 
Instance details

Defined in Ouroboros.Consensus.Committee.Types

Methods

showsPrec ∷ Int → VoteWeight → ShowS #

show ∷ VoteWeight → String #

showList ∷ [VoteWeight] → ShowS #

NoThunks VoteWeight Source # 
Instance details

Defined in Ouroboros.Consensus.Committee.Types

Methods

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

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

showTypeOf ∷ Proxy VoteWeight → String Source #

type Rep VoteWeight Source # 
Instance details

Defined in Ouroboros.Consensus.Committee.Types

type Rep VoteWeight = D1 ('MetaData "VoteWeight" "Ouroboros.Consensus.Committee.Types" "ouroboros-consensus-4.0.0.0-inplace" 'True) (C1 ('MetaCons "VoteWeight" 'PrefixI 'True) (S1 ('MetaSel ('Just "unVoteWeight") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Rational)))