ouroboros-consensus
Safe HaskellNone
LanguageHaskell2010

Ouroboros.Consensus.Peras.Cert.Class

Description

The IsPerasCert projection/injection class.

Synopsis

Documentation

class BoostedBlockCompatibleWithPoint (BoostedBlock cert) blk ⇒ IsPerasCert cert blk | cert → blk where Source #

Types that support being treated as Peras certificates

Minimal complete definition

getPerasCertRound, getPerasCertBlock

Methods

getPerasCertRound ∷ cert → PerasRoundNo Source #

getPerasCertBlock ∷ cert → BoostedBlock cert Source #

getPerasCertPoint ∷ cert → Point blk Source #

Instances

Instances details
IsPerasCert (PerasCert' blk) blk Source # 
Instance details

Defined in Ouroboros.Consensus.Block.SupportsPeras

Methods

getPerasCertRound ∷ PerasCert' blk → PerasRoundNo Source #

getPerasCertBlock ∷ PerasCert' blk → BoostedBlock (PerasCert' blk) Source #

getPerasCertPoint ∷ PerasCert' blk → Point blk Source #

(IsPerasCert (PerasCert blk) blk, BoostedBlockCompatibleWithPoint (BoostedBlock (PerasCert blk)) blk) ⇒ IsPerasCert (ValidatedPerasCert blk) blk Source # 
Instance details

Defined in Ouroboros.Consensus.Block.SupportsPeras

Methods

getPerasCertRound ∷ ValidatedPerasCert blk → PerasRoundNo Source #

getPerasCertBlock ∷ ValidatedPerasCert blk → BoostedBlock (ValidatedPerasCert blk) Source #

getPerasCertPoint ∷ ValidatedPerasCert blk → Point blk Source #

IsPerasCert cert blk ⇒ IsPerasCert (WithArrivalTime cert) blk Source # 
Instance details

Defined in Ouroboros.Consensus.Peras.Cert.Class

Methods

getPerasCertRound ∷ WithArrivalTime cert → PerasRoundNo Source #

getPerasCertBlock ∷ WithArrivalTime cert → BoostedBlock (WithArrivalTime cert) Source #

getPerasCertPoint ∷ WithArrivalTime cert → Point blk Source #

(ConvertRawHash blk, HashSize blk ~ 32) ⇒ IsPerasCert (PerasCert blk) blk Source # 
Instance details

Defined in Ouroboros.Consensus.Peras.Cert.V1

Methods

getPerasCertRound ∷ PerasCert blk → PerasRoundNo Source #

getPerasCertBlock ∷ PerasCert blk → BoostedBlock (PerasCert blk) Source #

getPerasCertPoint ∷ PerasCert blk → Point blk Source #

IsPerasCert (VoidPerasCert blk) blk Source # 
Instance details

Defined in Ouroboros.Consensus.Peras.Void

Methods

getPerasCertRound ∷ VoidPerasCert blk → PerasRoundNo Source #

getPerasCertBlock ∷ VoidPerasCert blk → BoostedBlock (VoidPerasCert blk) Source #

getPerasCertPoint ∷ VoidPerasCert blk → Point blk Source #