type Rep PerasRoundNo
Instance details Defined in Ouroboros.Consensus.Block.SupportsPeras type Rep PerasRoundNo = D1 ('MetaData "PerasRoundNo" "Ouroboros.Consensus.Block.SupportsPeras" "ouroboros-consensus-1.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.Block.SupportsPeras

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.Block.SupportsPeras

Methods

showsPrec ∷ Int → PerasRoundNo → ShowS #

show ∷ PerasRoundNo → String #

showList ∷ [PerasRoundNo] → ShowS #

Eq PerasRoundNo Source #

Instance details

Defined in Ouroboros.Consensus.Block.SupportsPeras

Methods

(==) ∷ PerasRoundNo → PerasRoundNo → Bool #

(/=) ∷ PerasRoundNo → PerasRoundNo → Bool #

Ord PerasRoundNo Source #

Instance details

Defined in Ouroboros.Consensus.Block.SupportsPeras

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 #

NoThunks PerasRoundNo Source #

Instance details

Defined in Ouroboros.Consensus.Block.SupportsPeras

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.Block.SupportsPeras

Methods

condense ∷ PerasRoundNo → String Source #

Serialise PerasRoundNo Source #

Instance details

Defined in Ouroboros.Consensus.Block.SupportsPeras

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.Block.SupportsPeras

Methods

showProxy ∷ Proxy PerasRoundNo → String Source #

type Rep PerasRoundNo Source #

Instance details

Defined in Ouroboros.Consensus.Block.SupportsPeras

type Rep PerasRoundNo = D1 ('MetaData "PerasRoundNo" "Ouroboros.Consensus.Block.SupportsPeras" "ouroboros-consensus-1.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

data PerasVoteId blk Source #

Constructors

PerasVoteId
Fields pviRoundNo ∷ !PerasRoundNo pviVoterId ∷ !PerasVoterId

Instances

Instances details

Generic (PerasVoteId blk) Source #

Instance details

Defined in Ouroboros.Consensus.Block.SupportsPeras

Associated Types

type Rep (PerasVoteId blk)

Instance details

Defined in Ouroboros.Consensus.Block.SupportsPeras

type Rep (PerasVoteId blk) = D1 ('MetaData "PerasVoteId" "Ouroboros.Consensus.Block.SupportsPeras" "ouroboros-consensus-1.0.0.0-inplace" 'False) (C1 ('MetaCons "PerasVoteId" 'PrefixI 'True) (S1 ('MetaSel ('Just "pviRoundNo") 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 PerasRoundNo) :*: S1 ('MetaSel ('Just "pviVoterId") 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 PerasVoterId)))

Methods

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

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

Show (PerasVoteId blk) Source #

Instance details

Defined in Ouroboros.Consensus.Block.SupportsPeras

Methods

showsPrec ∷ Int → PerasVoteId blk → ShowS #

show ∷ PerasVoteId blk → String #

showList ∷ [PerasVoteId blk] → ShowS #

Eq (PerasVoteId blk) Source #

Instance details

Defined in Ouroboros.Consensus.Block.SupportsPeras

Methods

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

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

Ord (PerasVoteId blk) Source #

Instance details

Defined in Ouroboros.Consensus.Block.SupportsPeras

Methods

compare ∷ PerasVoteId blk → PerasVoteId blk → Ordering #

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

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

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

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

max ∷ PerasVoteId blk → PerasVoteId blk → PerasVoteId blk #

min ∷ PerasVoteId blk → PerasVoteId blk → PerasVoteId blk #

NoThunks (PerasVoteId blk) Source #

Instance details

Defined in Ouroboros.Consensus.Block.SupportsPeras

Methods

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

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

showTypeOf ∷ Proxy (PerasVoteId blk) → String Source #

type Rep (PerasVoteId blk) Source #

Instance details

Defined in Ouroboros.Consensus.Block.SupportsPeras

type Rep (PerasVoteId blk) = D1 ('MetaData "PerasVoteId" "Ouroboros.Consensus.Block.SupportsPeras" "ouroboros-consensus-1.0.0.0-inplace" 'False) (C1 ('MetaCons "PerasVoteId" 'PrefixI 'True) (S1 ('MetaSel ('Just "pviRoundNo") 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 PerasRoundNo) :*: S1 ('MetaSel ('Just "pviVoterId") 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 PerasVoterId)))

data PerasVoteTarget blk Source #

Constructors

PerasVoteTarget
Fields pvtRoundNo ∷ !PerasRoundNo pvtBlock ∷ !(Point blk)

Instances

Instances details

Generic (PerasVoteTarget blk) Source #

Instance details

Defined in Ouroboros.Consensus.Block.SupportsPeras

Associated Types

type Rep (PerasVoteTarget blk)

Instance details

Defined in Ouroboros.Consensus.Block.SupportsPeras

type Rep (PerasVoteTarget blk) = D1 ('MetaData "PerasVoteTarget" "Ouroboros.Consensus.Block.SupportsPeras" "ouroboros-consensus-1.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.Block.SupportsPeras

Methods

showsPrec ∷ Int → PerasVoteTarget blk → ShowS #

show ∷ PerasVoteTarget blk → String #

showList ∷ [PerasVoteTarget blk] → ShowS #

StandardHash blk ⇒ Eq (PerasVoteTarget blk) Source #

Instance details

Defined in Ouroboros.Consensus.Block.SupportsPeras

Methods

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

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

StandardHash blk ⇒ Ord (PerasVoteTarget blk) Source #

Instance details

Defined in Ouroboros.Consensus.Block.SupportsPeras

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 #

StandardHash blk ⇒ NoThunks (PerasVoteTarget blk) Source #

Instance details

Defined in Ouroboros.Consensus.Block.SupportsPeras

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.Block.SupportsPeras

type Rep (PerasVoteTarget blk) = D1 ('MetaData "PerasVoteTarget" "Ouroboros.Consensus.Block.SupportsPeras" "ouroboros-consensus-1.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))))

newtype PerasVoterId Source #

Constructors

PerasVoterId
Fields unPerasVoterId ∷ KeyHash 'StakePool

Instances

Instances details

Generic PerasVoterId Source #

Instance details

Defined in Ouroboros.Consensus.Block.SupportsPeras

Associated Types

type Rep PerasVoterId
Instance details Defined in Ouroboros.Consensus.Block.SupportsPeras type Rep PerasVoterId = D1 ('MetaData "PerasVoterId" "Ouroboros.Consensus.Block.SupportsPeras" "ouroboros-consensus-1.0.0.0-inplace" 'True) (C1 ('MetaCons "PerasVoterId" 'PrefixI 'True) (S1 ('MetaSel ('Just "unPerasVoterId") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (KeyHash 'StakePool))))

Methods

from ∷ PerasVoterId → Rep PerasVoterId x #

to ∷ Rep PerasVoterId x → PerasVoterId #

Show PerasVoterId Source #

Instance details

Defined in Ouroboros.Consensus.Block.SupportsPeras

Methods

showsPrec ∷ Int → PerasVoterId → ShowS #

show ∷ PerasVoterId → String #

showList ∷ [PerasVoterId] → ShowS #

Eq PerasVoterId Source #

Instance details

Defined in Ouroboros.Consensus.Block.SupportsPeras

Methods

(==) ∷ PerasVoterId → PerasVoterId → Bool #

(/=) ∷ PerasVoterId → PerasVoterId → Bool #

Ord PerasVoterId Source #

Instance details

Defined in Ouroboros.Consensus.Block.SupportsPeras

Methods

compare ∷ PerasVoterId → PerasVoterId → Ordering #

(<) ∷ PerasVoterId → PerasVoterId → Bool #

(<=) ∷ PerasVoterId → PerasVoterId → Bool #

(>) ∷ PerasVoterId → PerasVoterId → Bool #

(>=) ∷ PerasVoterId → PerasVoterId → Bool #

max ∷ PerasVoterId → PerasVoterId → PerasVoterId #

min ∷ PerasVoterId → PerasVoterId → PerasVoterId #

NoThunks PerasVoterId Source #

Instance details

Defined in Ouroboros.Consensus.Block.SupportsPeras

Methods

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

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

showTypeOf ∷ Proxy PerasVoterId → String Source #

SerialiseNodeToNode blk PerasVoterId Source #

Instance details

Defined in Ouroboros.Consensus.Node.Serialisation

Methods

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

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

type Rep PerasVoterId Source #

Instance details

Defined in Ouroboros.Consensus.Block.SupportsPeras

type Rep PerasVoterId = D1 ('MetaData "PerasVoterId" "Ouroboros.Consensus.Block.SupportsPeras" "ouroboros-consensus-1.0.0.0-inplace" 'True) (C1 ('MetaCons "PerasVoterId" 'PrefixI 'True) (S1 ('MetaSel ('Just "unPerasVoterId") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (KeyHash 'StakePool))))

newtype PerasVoteStake Source #

Constructors

PerasVoteStake
Fields unPerasVoteStake ∷ Rational

Instances

Instances details

Monoid PerasVoteStake Source #

Instance details

Defined in Ouroboros.Consensus.Block.SupportsPeras

Methods

mempty ∷ PerasVoteStake #

mappend ∷ PerasVoteStake → PerasVoteStake → PerasVoteStake #

mconcat ∷ [PerasVoteStake] → PerasVoteStake #

Semigroup PerasVoteStake Source #

Instance details

Defined in Ouroboros.Consensus.Block.SupportsPeras

Methods

(<>) ∷ PerasVoteStake → PerasVoteStake → PerasVoteStake #

sconcat ∷ NonEmpty PerasVoteStake → PerasVoteStake #

stimes ∷ Integral b ⇒ b → PerasVoteStake → PerasVoteStake #

Generic PerasVoteStake Source #

Instance details

Defined in Ouroboros.Consensus.Block.SupportsPeras

Associated Types

type Rep PerasVoteStake
Instance details Defined in Ouroboros.Consensus.Block.SupportsPeras type Rep PerasVoteStake = D1 ('MetaData "PerasVoteStake" "Ouroboros.Consensus.Block.SupportsPeras" "ouroboros-consensus-1.0.0.0-inplace" 'True) (C1 ('MetaCons "PerasVoteStake" 'PrefixI 'True) (S1 ('MetaSel ('Just "unPerasVoteStake") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Rational)))

Methods

from ∷ PerasVoteStake → Rep PerasVoteStake x #

to ∷ Rep PerasVoteStake x → PerasVoteStake #

Num PerasVoteStake Source #

Instance details

Defined in Ouroboros.Consensus.Block.SupportsPeras

Methods

(+) ∷ PerasVoteStake → PerasVoteStake → PerasVoteStake #

(-) ∷ PerasVoteStake → PerasVoteStake → PerasVoteStake #

(*) ∷ PerasVoteStake → PerasVoteStake → PerasVoteStake #

negate ∷ PerasVoteStake → PerasVoteStake #

abs ∷ PerasVoteStake → PerasVoteStake #

signum ∷ PerasVoteStake → PerasVoteStake #

fromInteger ∷ Integer → PerasVoteStake #

Fractional PerasVoteStake Source #

Instance details

Defined in Ouroboros.Consensus.Block.SupportsPeras

Methods

(/) ∷ PerasVoteStake → PerasVoteStake → PerasVoteStake #

recip ∷ PerasVoteStake → PerasVoteStake #

fromRational ∷ Rational → PerasVoteStake #

Show PerasVoteStake Source #

Instance details

Defined in Ouroboros.Consensus.Block.SupportsPeras

Methods

showsPrec ∷ Int → PerasVoteStake → ShowS #

show ∷ PerasVoteStake → String #

showList ∷ [PerasVoteStake] → ShowS #

Eq PerasVoteStake Source #

Instance details

Defined in Ouroboros.Consensus.Block.SupportsPeras

Methods

(==) ∷ PerasVoteStake → PerasVoteStake → Bool #

(/=) ∷ PerasVoteStake → PerasVoteStake → Bool #

Ord PerasVoteStake Source #

Instance details

Defined in Ouroboros.Consensus.Block.SupportsPeras

Methods

compare ∷ PerasVoteStake → PerasVoteStake → Ordering #

(<) ∷ PerasVoteStake → PerasVoteStake → Bool #

(<=) ∷ PerasVoteStake → PerasVoteStake → Bool #

(>) ∷ PerasVoteStake → PerasVoteStake → Bool #

(>=) ∷ PerasVoteStake → PerasVoteStake → Bool #

max ∷ PerasVoteStake → PerasVoteStake → PerasVoteStake #

min ∷ PerasVoteStake → PerasVoteStake → PerasVoteStake #

NoThunks PerasVoteStake Source #

Instance details

Defined in Ouroboros.Consensus.Block.SupportsPeras

Methods

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

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

showTypeOf ∷ Proxy PerasVoteStake → String Source #

Serialise PerasVoteStake Source #

Instance details

Defined in Ouroboros.Consensus.Block.SupportsPeras

Methods

encode ∷ PerasVoteStake → Encoding Source #

decode ∷ Decoder s PerasVoteStake Source #

encodeList ∷ [PerasVoteStake] → Encoding Source #

decodeList ∷ Decoder s [PerasVoteStake] Source #

type Rep PerasVoteStake Source #

Instance details

Defined in Ouroboros.Consensus.Block.SupportsPeras

type Rep PerasVoteStake = D1 ('MetaData "PerasVoteStake" "Ouroboros.Consensus.Block.SupportsPeras" "ouroboros-consensus-1.0.0.0-inplace" 'True) (C1 ('MetaCons "PerasVoteStake" 'PrefixI 'True) (S1 ('MetaSel ('Just "unPerasVoteStake") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Rational)))

stakeAboveThreshold ∷ PerasParams → PerasVoteStake → Bool Source #

Check whether a given vote stake is above the quorum threshold.

TODO: this function assumes that the PerasVoteStake and the quorum threshold used in PerasParams are expressed in the same units. That is, both are either absolute or relative (normalized) values. Under the current current implementation of PerasParams, this function only makes sense when both values are relative (normalized) values, so we should either normalize the PerasVoteStake before calling this function, or change this function to accept a stake distribution and perform the normalization internally.

newtype PerasVoteStakeDistr Source #

Constructors

PerasVoteStakeDistr
Fields unPerasVoteStakeDistr ∷ Map PerasVoterId PerasVoteStake

Instances

Instances details

Generic PerasVoteStakeDistr Source #

Instance details

Defined in Ouroboros.Consensus.Block.SupportsPeras

Associated Types

type Rep PerasVoteStakeDistr

Instance details

Defined in Ouroboros.Consensus.Block.SupportsPeras

type Rep PerasVoteStakeDistr = D1 ('MetaData "PerasVoteStakeDistr" "Ouroboros.Consensus.Block.SupportsPeras" "ouroboros-consensus-1.0.0.0-inplace" 'True) (C1 ('MetaCons "PerasVoteStakeDistr" 'PrefixI 'True) (S1 ('MetaSel ('Just "unPerasVoteStakeDistr") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (Map PerasVoterId PerasVoteStake))))

Methods

from ∷ PerasVoteStakeDistr → Rep PerasVoteStakeDistr x #

to ∷ Rep PerasVoteStakeDistr x → PerasVoteStakeDistr #

Show PerasVoteStakeDistr Source #

Instance details

Defined in Ouroboros.Consensus.Block.SupportsPeras

Methods

showsPrec ∷ Int → PerasVoteStakeDistr → ShowS #

show ∷ PerasVoteStakeDistr → String #

showList ∷ [PerasVoteStakeDistr] → ShowS #

Eq PerasVoteStakeDistr Source #

Instance details

Defined in Ouroboros.Consensus.Block.SupportsPeras

Methods

(==) ∷ PerasVoteStakeDistr → PerasVoteStakeDistr → Bool #

(/=) ∷ PerasVoteStakeDistr → PerasVoteStakeDistr → Bool #

NoThunks PerasVoteStakeDistr Source #

Instance details

Defined in Ouroboros.Consensus.Block.SupportsPeras

Methods

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

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

showTypeOf ∷ Proxy PerasVoteStakeDistr → String Source #

type Rep PerasVoteStakeDistr Source #

Instance details

Defined in Ouroboros.Consensus.Block.SupportsPeras

type Rep PerasVoteStakeDistr = D1 ('MetaData "PerasVoteStakeDistr" "Ouroboros.Consensus.Block.SupportsPeras" "ouroboros-consensus-1.0.0.0-inplace" 'True) (C1 ('MetaCons "PerasVoteStakeDistr" 'PrefixI 'True) (S1 ('MetaSel ('Just "unPerasVoteStakeDistr") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (Map PerasVoterId PerasVoteStake))))

lookupPerasVoteStake ∷ PerasVote blk → PerasVoteStakeDistr → Maybe PerasVoteStake Source #

Lookup the stake of a vote cast by a member of a given stake distribution.

class (Show (PerasCfg blk), NoThunks (PerasCert blk)) ⇒ BlockSupportsPeras blk where Source #

Associated Types

type PerasCfg blk Source #

data PerasCert blk Source #

data PerasVote blk Source #

data PerasValidationErr blk Source #

data PerasForgeErr blk Source #

Methods

validatePerasCert ∷ PerasCfg blk → PerasCert blk → Either (PerasValidationErr blk) (ValidatedPerasCert blk) Source #

validatePerasVote ∷ PerasCfg blk → PerasVoteStakeDistr → PerasVote blk → Either (PerasValidationErr blk) (ValidatedPerasVote blk) Source #

forgePerasCert ∷ PerasCfg blk → ValidatedPerasVotesWithQuorum blk → Either (PerasForgeErr blk) (ValidatedPerasCert blk) Source #

Instances

Instances details

StandardHash blk ⇒ BlockSupportsPeras blk Source #

Instance details

Defined in Ouroboros.Consensus.Block.SupportsPeras

Associated Types

type PerasCfg blk
Instance details Defined in Ouroboros.Consensus.Block.SupportsPeras type PerasCfg blk = PerasParams
data PerasCert blk
Instance details Defined in Ouroboros.Consensus.Block.SupportsPeras data PerasCert blk = PerasCert { pcCertRound ∷ PerasRoundNo pcCertBoostedBlock ∷ Point blk }
data PerasVote blk
Instance details Defined in Ouroboros.Consensus.Block.SupportsPeras data PerasVote blk = PerasVote { pvVoteRound ∷ PerasRoundNo pvVoteBlock ∷ Point blk pvVoteVoterId ∷ PerasVoterId }
data PerasValidationErr blk
Instance details Defined in Ouroboros.Consensus.Block.SupportsPeras data PerasValidationErr blk = PerasValidationErr
data PerasForgeErr blk
Instance details Defined in Ouroboros.Consensus.Block.SupportsPeras data PerasForgeErr blk = PerasForgeErr

Methods

validatePerasCert ∷ PerasCfg blk → PerasCert blk → Either (PerasValidationErr blk) (ValidatedPerasCert blk) Source #

validatePerasVote ∷ PerasCfg blk → PerasVoteStakeDistr → PerasVote blk → Either (PerasValidationErr blk) (ValidatedPerasVote blk) Source #

forgePerasCert ∷ PerasCfg blk → ValidatedPerasVotesWithQuorum blk → Either (PerasForgeErr blk) (ValidatedPerasCert blk) Source #

data family PerasCert blk Source #

Instances

Instances details

ConvertRawHash blk ⇒ SerialiseNodeToNode blk (PerasCert blk) Source #

Instance details

Defined in Ouroboros.Consensus.Node.Serialisation

Methods

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

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

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

Instance details

Defined in Ouroboros.Consensus.Block.SupportsPeras

Methods

showProxy ∷ Proxy (PerasCert blk) → String Source #

Generic (PerasCert blk) Source #

Instance details

Defined in Ouroboros.Consensus.Block.SupportsPeras

Associated Types

type Rep (PerasCert blk)

Instance details

Defined in Ouroboros.Consensus.Block.SupportsPeras

type Rep (PerasCert blk) = D1 ('MetaData "PerasCert" "Ouroboros.Consensus.Block.SupportsPeras" "ouroboros-consensus-1.0.0.0-inplace" 'False) (C1 ('MetaCons "PerasCert" 'PrefixI 'True) (S1 ('MetaSel ('Just "pcCertRound") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 PerasRoundNo) :*: S1 ('MetaSel ('Just "pcCertBoostedBlock") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (Point blk))))

Methods

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

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

StandardHash blk ⇒ Show (PerasCert blk) Source #

Instance details

Defined in Ouroboros.Consensus.Block.SupportsPeras

Methods

showsPrec ∷ Int → PerasCert blk → ShowS #

show ∷ PerasCert blk → String #

showList ∷ [PerasCert blk] → ShowS #

StandardHash blk ⇒ Eq (PerasCert blk) Source #

Instance details

Defined in Ouroboros.Consensus.Block.SupportsPeras

Methods

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

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

StandardHash blk ⇒ Ord (PerasCert blk) Source #

Instance details

Defined in Ouroboros.Consensus.Block.SupportsPeras

Methods

compare ∷ PerasCert blk → PerasCert blk → Ordering #

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

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

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

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

max ∷ PerasCert blk → PerasCert blk → PerasCert blk #

min ∷ PerasCert blk → PerasCert blk → PerasCert blk #

StandardHash blk ⇒ NoThunks (PerasCert blk) Source #

Instance details

Defined in Ouroboros.Consensus.Block.SupportsPeras

Methods

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

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

showTypeOf ∷ Proxy (PerasCert blk) → String Source #

HasPerasCertRound (PerasCert blk) Source #

Instance details

Defined in Ouroboros.Consensus.Block.SupportsPeras

Methods

getPerasCertRound ∷ PerasCert blk → PerasRoundNo Source #

Serialise (HeaderHash blk) ⇒ Serialise (PerasCert blk) Source #

Instance details

Defined in Ouroboros.Consensus.Block.SupportsPeras

Methods

encode ∷ PerasCert blk → Encoding Source #

decode ∷ Decoder s (PerasCert blk) Source #

encodeList ∷ [PerasCert blk] → Encoding Source #

decodeList ∷ Decoder s [PerasCert blk] Source #

HasPerasCertBoostedBlock (PerasCert blk) blk Source #

Instance details

Defined in Ouroboros.Consensus.Block.SupportsPeras

Methods

getPerasCertBoostedBlock ∷ PerasCert blk → Point blk Source #

data PerasCert blk Source #

Instance details

Defined in Ouroboros.Consensus.Block.SupportsPeras

data PerasCert blk = PerasCert {

pcCertRound ∷ PerasRoundNo
pcCertBoostedBlock ∷ Point blk

}

type Rep (PerasCert blk) Source #

Instance details

Defined in Ouroboros.Consensus.Block.SupportsPeras

type Rep (PerasCert blk) = D1 ('MetaData "PerasCert" "Ouroboros.Consensus.Block.SupportsPeras" "ouroboros-consensus-1.0.0.0-inplace" 'False) (C1 ('MetaCons "PerasCert" 'PrefixI 'True) (S1 ('MetaSel ('Just "pcCertRound") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 PerasRoundNo) :*: S1 ('MetaSel ('Just "pcCertBoostedBlock") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (Point blk))))

data family PerasVote blk Source #

Instances

Instances details

ConvertRawHash blk ⇒ SerialiseNodeToNode blk (PerasVote blk) Source #

Instance details

Defined in Ouroboros.Consensus.Node.Serialisation

Methods

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

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

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

Instance details

Defined in Ouroboros.Consensus.Block.SupportsPeras

Methods

showProxy ∷ Proxy (PerasVote blk) → String Source #

Generic (PerasVote blk) Source #

Instance details

Defined in Ouroboros.Consensus.Block.SupportsPeras

Associated Types

type Rep (PerasVote blk)

Instance details

Defined in Ouroboros.Consensus.Block.SupportsPeras

type Rep (PerasVote blk) = D1 ('MetaData "PerasVote" "Ouroboros.Consensus.Block.SupportsPeras" "ouroboros-consensus-1.0.0.0-inplace" 'False) (C1 ('MetaCons "PerasVote" 'PrefixI 'True) (S1 ('MetaSel ('Just "pvVoteRound") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 PerasRoundNo) :*: (S1 ('MetaSel ('Just "pvVoteBlock") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (Point blk)) :*: S1 ('MetaSel ('Just "pvVoteVoterId") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 PerasVoterId))))

Methods

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

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

StandardHash blk ⇒ Show (PerasVote blk) Source #

Instance details

Defined in Ouroboros.Consensus.Block.SupportsPeras

Methods

showsPrec ∷ Int → PerasVote blk → ShowS #

show ∷ PerasVote blk → String #

showList ∷ [PerasVote blk] → ShowS #

StandardHash blk ⇒ Eq (PerasVote blk) Source #

Instance details

Defined in Ouroboros.Consensus.Block.SupportsPeras

Methods

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

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

StandardHash blk ⇒ Ord (PerasVote blk) Source #

Instance details

Defined in Ouroboros.Consensus.Block.SupportsPeras

Methods

compare ∷ PerasVote blk → PerasVote blk → Ordering #

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

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

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

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

max ∷ PerasVote blk → PerasVote blk → PerasVote blk #

min ∷ PerasVote blk → PerasVote blk → PerasVote blk #

StandardHash blk ⇒ NoThunks (PerasVote blk) Source #

Instance details

Defined in Ouroboros.Consensus.Block.SupportsPeras

Methods

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

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

showTypeOf ∷ Proxy (PerasVote blk) → String Source #

HasPerasVoteRound (PerasVote blk) Source #

Instance details

Defined in Ouroboros.Consensus.Block.SupportsPeras

Methods

getPerasVoteRound ∷ PerasVote blk → PerasRoundNo Source #

HasPerasVoteVoterId (PerasVote blk) Source #

Instance details

Defined in Ouroboros.Consensus.Block.SupportsPeras

Methods

getPerasVoteVoterId ∷ PerasVote blk → PerasVoterId Source #

Serialise (HeaderHash blk) ⇒ Serialise (PerasVote blk) Source #

Instance details

Defined in Ouroboros.Consensus.Block.SupportsPeras

Methods

encode ∷ PerasVote blk → Encoding Source #

decode ∷ Decoder s (PerasVote blk) Source #

encodeList ∷ [PerasVote blk] → Encoding Source #

decodeList ∷ Decoder s [PerasVote blk] Source #

HasPerasVoteBlock (PerasVote blk) blk Source #

Instance details

Defined in Ouroboros.Consensus.Block.SupportsPeras

Methods

getPerasVoteBlock ∷ PerasVote blk → Point blk Source #

HasPerasVoteId (PerasVote blk) blk Source #

Instance details

Defined in Ouroboros.Consensus.Block.SupportsPeras

Methods

getPerasVoteId ∷ PerasVote blk → PerasVoteId blk Source #

HasPerasVoteTarget (PerasVote blk) blk Source #

Instance details

Defined in Ouroboros.Consensus.Block.SupportsPeras

Methods

getPerasVoteTarget ∷ PerasVote blk → PerasVoteTarget blk Source #

data PerasVote blk Source #

Instance details

Defined in Ouroboros.Consensus.Block.SupportsPeras

data PerasVote blk = PerasVote {

}

type Rep (PerasVote blk) Source #

Instance details

Defined in Ouroboros.Consensus.Block.SupportsPeras

type Rep (PerasVote blk) = D1 ('MetaData "PerasVote" "Ouroboros.Consensus.Block.SupportsPeras" "ouroboros-consensus-1.0.0.0-inplace" 'False) (C1 ('MetaCons "PerasVote" 'PrefixI 'True) (S1 ('MetaSel ('Just "pvVoteRound") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 PerasRoundNo) :*: (S1 ('MetaSel ('Just "pvVoteBlock") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (Point blk)) :*: S1 ('MetaSel ('Just "pvVoteVoterId") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 PerasVoterId))))

data ValidatedPerasCert blk Source #

Constructors

ValidatedPerasCert
Fields vpcCert ∷ !(PerasCert blk) vpcCertBoost ∷ !PerasWeight

Instances

Instances details

Generic (ValidatedPerasCert blk) Source #

Instance details

Defined in Ouroboros.Consensus.Block.SupportsPeras

Associated Types

type Rep (ValidatedPerasCert blk)

Instance details

Defined in Ouroboros.Consensus.Block.SupportsPeras

type Rep (ValidatedPerasCert blk) = D1 ('MetaData "ValidatedPerasCert" "Ouroboros.Consensus.Block.SupportsPeras" "ouroboros-consensus-1.0.0.0-inplace" 'False) (C1 ('MetaCons "ValidatedPerasCert" 'PrefixI 'True) (S1 ('MetaSel ('Just "vpcCert") 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 (PerasCert blk)) :*: S1 ('MetaSel ('Just "vpcCertBoost") 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 PerasWeight)))

Methods

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

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

StandardHash blk ⇒ Show (ValidatedPerasCert blk) Source #

Instance details

Defined in Ouroboros.Consensus.Block.SupportsPeras

Methods

showsPrec ∷ Int → ValidatedPerasCert blk → ShowS #

show ∷ ValidatedPerasCert blk → String #

showList ∷ [ValidatedPerasCert blk] → ShowS #

StandardHash blk ⇒ Eq (ValidatedPerasCert blk) Source #

Instance details

Defined in Ouroboros.Consensus.Block.SupportsPeras

Methods

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

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

StandardHash blk ⇒ Ord (ValidatedPerasCert blk) Source #

Instance details

Defined in Ouroboros.Consensus.Block.SupportsPeras

Methods

compare ∷ ValidatedPerasCert blk → ValidatedPerasCert blk → Ordering #

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

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

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

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

max ∷ ValidatedPerasCert blk → ValidatedPerasCert blk → ValidatedPerasCert blk #

min ∷ ValidatedPerasCert blk → ValidatedPerasCert blk → ValidatedPerasCert blk #

StandardHash blk ⇒ NoThunks (ValidatedPerasCert blk) Source #

Instance details

Defined in Ouroboros.Consensus.Block.SupportsPeras

Methods

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

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

showTypeOf ∷ Proxy (ValidatedPerasCert blk) → String Source #

HasPerasCertBoost (ValidatedPerasCert blk) Source #

Instance details

Defined in Ouroboros.Consensus.Block.SupportsPeras

Methods

getPerasCertBoost ∷ ValidatedPerasCert blk → PerasWeight Source #

HasPerasCertRound (ValidatedPerasCert blk) Source #

Instance details

Defined in Ouroboros.Consensus.Block.SupportsPeras

Methods

getPerasCertRound ∷ ValidatedPerasCert blk → PerasRoundNo Source #

HasPerasCertBoostedBlock (ValidatedPerasCert blk) blk Source #

Instance details

Defined in Ouroboros.Consensus.Block.SupportsPeras

Methods

getPerasCertBoostedBlock ∷ ValidatedPerasCert blk → Point blk Source #

type Rep (ValidatedPerasCert blk) Source #

Instance details

Defined in Ouroboros.Consensus.Block.SupportsPeras

type Rep (ValidatedPerasCert blk) = D1 ('MetaData "ValidatedPerasCert" "Ouroboros.Consensus.Block.SupportsPeras" "ouroboros-consensus-1.0.0.0-inplace" 'False) (C1 ('MetaCons "ValidatedPerasCert" 'PrefixI 'True) (S1 ('MetaSel ('Just "vpcCert") 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 (PerasCert blk)) :*: S1 ('MetaSel ('Just "vpcCertBoost") 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 PerasWeight)))

data ValidatedPerasVote blk Source #

Constructors

ValidatedPerasVote
Fields vpvVote ∷ !(PerasVote blk) vpvVoteStake ∷ !PerasVoteStake

Instances

Instances details

Generic (ValidatedPerasVote blk) Source #

Instance details

Defined in Ouroboros.Consensus.Block.SupportsPeras

Associated Types

type Rep (ValidatedPerasVote blk)

Instance details

Defined in Ouroboros.Consensus.Block.SupportsPeras

type Rep (ValidatedPerasVote blk) = D1 ('MetaData "ValidatedPerasVote" "Ouroboros.Consensus.Block.SupportsPeras" "ouroboros-consensus-1.0.0.0-inplace" 'False) (C1 ('MetaCons "ValidatedPerasVote" 'PrefixI 'True) (S1 ('MetaSel ('Just "vpvVote") 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 (PerasVote blk)) :*: S1 ('MetaSel ('Just "vpvVoteStake") 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 PerasVoteStake)))

Methods

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

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

StandardHash blk ⇒ Show (ValidatedPerasVote blk) Source #

Instance details

Defined in Ouroboros.Consensus.Block.SupportsPeras

Methods

showsPrec ∷ Int → ValidatedPerasVote blk → ShowS #

show ∷ ValidatedPerasVote blk → String #

showList ∷ [ValidatedPerasVote blk] → ShowS #

StandardHash blk ⇒ Eq (ValidatedPerasVote blk) Source #

Instance details

Defined in Ouroboros.Consensus.Block.SupportsPeras

Methods

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

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

StandardHash blk ⇒ Ord (ValidatedPerasVote blk) Source #

Instance details

Defined in Ouroboros.Consensus.Block.SupportsPeras

Methods

compare ∷ ValidatedPerasVote blk → ValidatedPerasVote blk → Ordering #

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

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

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

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

max ∷ ValidatedPerasVote blk → ValidatedPerasVote blk → ValidatedPerasVote blk #

min ∷ ValidatedPerasVote blk → ValidatedPerasVote blk → ValidatedPerasVote blk #

StandardHash blk ⇒ NoThunks (ValidatedPerasVote blk) Source #

Instance details

Defined in Ouroboros.Consensus.Block.SupportsPeras

Methods

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

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

showTypeOf ∷ Proxy (ValidatedPerasVote blk) → String Source #

HasPerasVoteRound (ValidatedPerasVote blk) Source #

Instance details

Defined in Ouroboros.Consensus.Block.SupportsPeras

Methods

getPerasVoteRound ∷ ValidatedPerasVote blk → PerasRoundNo Source #

HasPerasVoteStake (ValidatedPerasVote blk) Source #

Instance details

Defined in Ouroboros.Consensus.Block.SupportsPeras

Methods

getPerasVoteStake ∷ ValidatedPerasVote blk → PerasVoteStake Source #

HasPerasVoteVoterId (ValidatedPerasVote blk) Source #

Instance details

Defined in Ouroboros.Consensus.Block.SupportsPeras

Methods

getPerasVoteVoterId ∷ ValidatedPerasVote blk → PerasVoterId Source #

HasPerasVoteBlock (ValidatedPerasVote blk) blk Source #

Instance details

Defined in Ouroboros.Consensus.Block.SupportsPeras

Methods

getPerasVoteBlock ∷ ValidatedPerasVote blk → Point blk Source #

HasPerasVoteId (ValidatedPerasVote blk) blk Source #

Instance details

Defined in Ouroboros.Consensus.Block.SupportsPeras

Methods

getPerasVoteId ∷ ValidatedPerasVote blk → PerasVoteId blk Source #

HasPerasVoteTarget (ValidatedPerasVote blk) blk Source #

Instance details

Defined in Ouroboros.Consensus.Block.SupportsPeras

Methods

getPerasVoteTarget ∷ ValidatedPerasVote blk → PerasVoteTarget blk Source #

type Rep (ValidatedPerasVote blk) Source #

Instance details

Defined in Ouroboros.Consensus.Block.SupportsPeras

type Rep (ValidatedPerasVote blk) = D1 ('MetaData "ValidatedPerasVote" "Ouroboros.Consensus.Block.SupportsPeras" "ouroboros-consensus-1.0.0.0-inplace" 'False) (C1 ('MetaCons "ValidatedPerasVote" 'PrefixI 'True) (S1 ('MetaSel ('Just "vpvVote") 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 (PerasVote blk)) :*: S1 ('MetaSel ('Just "vpvVoteStake") 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 PerasVoteStake)))

data ValidatedPerasVotesWithQuorum blk Source #

A collection of validated Peras votes that: 1. are all for the same target, and 2. have total stake above the quorum threshold for a given PerasCfg.

Instances

Instances details

Generic (ValidatedPerasVotesWithQuorum blk) Source #

Instance details

Defined in Ouroboros.Consensus.Block.SupportsPeras

Associated Types

type Rep (ValidatedPerasVotesWithQuorum blk)

Instance details

Defined in Ouroboros.Consensus.Block.SupportsPeras

type Rep (ValidatedPerasVotesWithQuorum blk) = D1 ('MetaData "ValidatedPerasVotesWithQuorum" "Ouroboros.Consensus.Block.SupportsPeras" "ouroboros-consensus-1.0.0.0-inplace" 'False) (C1 ('MetaCons "ValidatedPerasVotesWithQuorum" 'PrefixI 'True) (S1 ('MetaSel ('Just "vpvqTarget") 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 (PerasVoteTarget blk)) :*: (S1 ('MetaSel ('Just "vpvqVotes") 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 (NonEmpty (ValidatedPerasVote blk))) :*: S1 ('MetaSel ('Just "vpvqPerasCfg") 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 (PerasCfg blk)))))

Methods

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

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

StandardHash blk ⇒ Show (ValidatedPerasVotesWithQuorum blk) Source #

Instance details

Defined in Ouroboros.Consensus.Block.SupportsPeras

Methods

showsPrec ∷ Int → ValidatedPerasVotesWithQuorum blk → ShowS #

show ∷ ValidatedPerasVotesWithQuorum blk → String #

showList ∷ [ValidatedPerasVotesWithQuorum blk] → ShowS #

StandardHash blk ⇒ Eq (ValidatedPerasVotesWithQuorum blk) Source #

Instance details

Defined in Ouroboros.Consensus.Block.SupportsPeras

Methods

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

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

StandardHash blk ⇒ NoThunks (ValidatedPerasVotesWithQuorum blk) Source #

Instance details

Defined in Ouroboros.Consensus.Block.SupportsPeras

Methods

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

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

showTypeOf ∷ Proxy (ValidatedPerasVotesWithQuorum blk) → String Source #

type Rep (ValidatedPerasVotesWithQuorum blk) Source #

Instance details

Defined in Ouroboros.Consensus.Block.SupportsPeras

type Rep (ValidatedPerasVotesWithQuorum blk) = D1 ('MetaData "ValidatedPerasVotesWithQuorum" "Ouroboros.Consensus.Block.SupportsPeras" "ouroboros-consensus-1.0.0.0-inplace" 'False) (C1 ('MetaCons "ValidatedPerasVotesWithQuorum" 'PrefixI 'True) (S1 ('MetaSel ('Just "vpvqTarget") 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 (PerasVoteTarget blk)) :*: (S1 ('MetaSel ('Just "vpvqVotes") 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 (NonEmpty (ValidatedPerasVote blk))) :*: S1 ('MetaSel ('Just "vpvqPerasCfg") 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 (PerasCfg blk)))))

votesReachQuorum ∷ StandardHash blk ⇒ PerasCfg blk → [ValidatedPerasVote blk] → Maybe (ValidatedPerasVotesWithQuorum blk) Source #

Smart constructor for ValidatedPerasVotesReachingQuorum.

This function checks that all votes are for the same target, and that their total stake is above the quorum threshold defined in the given PerasCfg. It returns Nothing if either of these conditions is not met.

class HasPerasCertRound cert where Source #

Extract the certificate round from a Peras certificate container

Methods

getPerasCertRound ∷ cert → PerasRoundNo Source #

Instances

Instances details

HasPerasCertRound (PerasCert blk) Source #
Instance details Defined in Ouroboros.Consensus.Block.SupportsPeras Methods getPerasCertRound ∷ PerasCert blk → PerasRoundNo Source #
HasPerasCertRound (ValidatedPerasCert blk) Source #
Instance details Defined in Ouroboros.Consensus.Block.SupportsPeras Methods getPerasCertRound ∷ ValidatedPerasCert blk → PerasRoundNo Source #
HasPerasCertRound cert ⇒ HasPerasCertRound (WithArrivalTime cert) Source #
Instance details Defined in Ouroboros.Consensus.Block.SupportsPeras Methods getPerasCertRound ∷ WithArrivalTime cert → PerasRoundNo Source #

class HasPerasCertBoostedBlock cert blk | cert → blk where Source #

Extract the boosted block point from a Peras certificate container

Methods

getPerasCertBoostedBlock ∷ cert → Point blk Source #

Instances

Instances details

HasPerasCertBoostedBlock (PerasCert blk) blk Source #
Instance details Defined in Ouroboros.Consensus.Block.SupportsPeras Methods getPerasCertBoostedBlock ∷ PerasCert blk → Point blk Source #
HasPerasCertBoostedBlock (ValidatedPerasCert blk) blk Source #
Instance details Defined in Ouroboros.Consensus.Block.SupportsPeras Methods getPerasCertBoostedBlock ∷ ValidatedPerasCert blk → Point blk Source #
HasPerasCertBoostedBlock cert blk ⇒ HasPerasCertBoostedBlock (WithArrivalTime cert) blk Source #
Instance details Defined in Ouroboros.Consensus.Block.SupportsPeras Methods getPerasCertBoostedBlock ∷ WithArrivalTime cert → Point blk Source #

class HasPerasCertBoost cert where Source #

Extract the certificate boost from a Peras certificate container

Methods

getPerasCertBoost ∷ cert → PerasWeight Source #

Instances

Instances details

HasPerasCertBoost (ValidatedPerasCert blk) Source #
Instance details Defined in Ouroboros.Consensus.Block.SupportsPeras Methods getPerasCertBoost ∷ ValidatedPerasCert blk → PerasWeight Source #
HasPerasCertBoost cert ⇒ HasPerasCertBoost (WithArrivalTime cert) Source #
Instance details Defined in Ouroboros.Consensus.Block.SupportsPeras Methods getPerasCertBoost ∷ WithArrivalTime cert → PerasWeight Source #

class HasPerasVoteRound vote where Source #

Extract the vote round from a Peras vote container

Methods

getPerasVoteRound ∷ vote → PerasRoundNo Source #

Instances

Instances details

HasPerasVoteRound (PerasVote blk) Source #
Instance details Defined in Ouroboros.Consensus.Block.SupportsPeras Methods getPerasVoteRound ∷ PerasVote blk → PerasRoundNo Source #
HasPerasVoteRound (ValidatedPerasVote blk) Source #
Instance details Defined in Ouroboros.Consensus.Block.SupportsPeras Methods getPerasVoteRound ∷ ValidatedPerasVote blk → PerasRoundNo Source #
HasPerasVoteRound vote ⇒ HasPerasVoteRound (WithArrivalTime vote) Source #
Instance details Defined in Ouroboros.Consensus.Block.SupportsPeras Methods getPerasVoteRound ∷ WithArrivalTime vote → PerasRoundNo Source #
HasPerasVoteRound (PerasRoundVoteState blk) Source #
Instance details Defined in Ouroboros.Consensus.Peras.Vote.Aggregation Methods getPerasVoteRound ∷ PerasRoundVoteState blk → PerasRoundNo Source #

class HasPerasVoteBlock vote blk | vote → blk where Source #

Extract the vote block point from a Peras vote container

Methods

getPerasVoteBlock ∷ vote → Point blk Source #

Instances

Instances details

HasPerasVoteBlock (PerasVote blk) blk Source #
Instance details Defined in Ouroboros.Consensus.Block.SupportsPeras Methods getPerasVoteBlock ∷ PerasVote blk → Point blk Source #
HasPerasVoteBlock (ValidatedPerasVote blk) blk Source #
Instance details Defined in Ouroboros.Consensus.Block.SupportsPeras Methods getPerasVoteBlock ∷ ValidatedPerasVote blk → Point blk Source #
HasPerasVoteBlock vote blk ⇒ HasPerasVoteBlock (WithArrivalTime vote) blk Source #
Instance details Defined in Ouroboros.Consensus.Block.SupportsPeras Methods getPerasVoteBlock ∷ WithArrivalTime vote → Point blk Source #

class HasPerasVoteVoterId vote where Source #

Extract the stake pool ID from a Peras vote container

Methods

getPerasVoteVoterId ∷ vote → PerasVoterId Source #

Instances

Instances details

HasPerasVoteVoterId (PerasVote blk) Source #
Instance details Defined in Ouroboros.Consensus.Block.SupportsPeras Methods getPerasVoteVoterId ∷ PerasVote blk → PerasVoterId Source #
HasPerasVoteVoterId (ValidatedPerasVote blk) Source #
Instance details Defined in Ouroboros.Consensus.Block.SupportsPeras Methods getPerasVoteVoterId ∷ ValidatedPerasVote blk → PerasVoterId Source #
HasPerasVoteVoterId vote ⇒ HasPerasVoteVoterId (WithArrivalTime vote) Source #
Instance details Defined in Ouroboros.Consensus.Block.SupportsPeras Methods getPerasVoteVoterId ∷ WithArrivalTime vote → PerasVoterId Source #

class HasPerasVoteStake vote where Source #

Extract the vote stake from a validated Peras vote container

Methods

getPerasVoteStake ∷ vote → PerasVoteStake Source #

Instances

Instances details

HasPerasVoteStake (ValidatedPerasVote blk) Source #
Instance details Defined in Ouroboros.Consensus.Block.SupportsPeras Methods getPerasVoteStake ∷ ValidatedPerasVote blk → PerasVoteStake Source #
HasPerasVoteStake vote ⇒ HasPerasVoteStake (WithArrivalTime vote) Source #
Instance details Defined in Ouroboros.Consensus.Block.SupportsPeras Methods getPerasVoteStake ∷ WithArrivalTime vote → PerasVoteStake Source #

class HasPerasVoteTarget vote blk | vote → blk where Source #

Extract the vote target from a Peras vote container

Methods

getPerasVoteTarget ∷ vote → PerasVoteTarget blk Source #

Instances

Instances details

HasPerasVoteTarget (PerasVote blk) blk Source #
Instance details Defined in Ouroboros.Consensus.Block.SupportsPeras Methods getPerasVoteTarget ∷ PerasVote blk → PerasVoteTarget blk Source #
HasPerasVoteTarget (ValidatedPerasVote blk) blk Source #
Instance details Defined in Ouroboros.Consensus.Block.SupportsPeras Methods getPerasVoteTarget ∷ ValidatedPerasVote blk → PerasVoteTarget blk Source #
HasPerasVoteTarget vote blk ⇒ HasPerasVoteTarget (WithArrivalTime vote) blk Source #
Instance details Defined in Ouroboros.Consensus.Block.SupportsPeras Methods getPerasVoteTarget ∷ WithArrivalTime vote → PerasVoteTarget blk Source #

class HasPerasVoteId vote blk | vote → blk where Source #

Extract the vote ID from a Peras vote container

Methods

getPerasVoteId ∷ vote → PerasVoteId blk Source #

Instances

Instances details

HasPerasVoteId (PerasVote blk) blk Source #
Instance details Defined in Ouroboros.Consensus.Block.SupportsPeras Methods getPerasVoteId ∷ PerasVote blk → PerasVoteId blk Source #
HasPerasVoteId (ValidatedPerasVote blk) blk Source #
Instance details Defined in Ouroboros.Consensus.Block.SupportsPeras Methods getPerasVoteId ∷ ValidatedPerasVote blk → PerasVoteId blk Source #
HasPerasVoteId vote blk ⇒ HasPerasVoteId (WithArrivalTime vote) blk Source #
Instance details Defined in Ouroboros.Consensus.Block.SupportsPeras Methods getPerasVoteId ∷ WithArrivalTime vote → PerasVoteId blk Source #

Convenience re-exports

module Ouroboros.Consensus.Peras.Params