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, 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 #

IsPerasCert (MockPerasCert blk) blk Source # 
Instance details

Defined in Ouroboros.Consensus.Peras.Cert.Mock

Methods

getPerasCertRound ∷ MockPerasCert blk → PerasRoundNo Source #

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

getPerasCertPoint ∷ MockPerasCert blk → 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 #

CanHardFork xs ⇒ IsPerasCert (OneEraPerasCert xs) (HardForkBlock xs) Source # 
Instance details

Defined in Ouroboros.Consensus.HardFork.Combinator.Basics

Methods

getPerasCertRound ∷ OneEraPerasCert xs → PerasRoundNo Source #

getPerasCertBlock ∷ OneEraPerasCert xs → BoostedBlock (OneEraPerasCert xs) Source #

getPerasCertPoint ∷ OneEraPerasCert xs → Point (HardForkBlock xs) Source #