Safe Haskell	None
Language	Haskell2010

Ouroboros.Consensus.MiniProtocol.ObjectDiffusion.ObjectPool.PerasCert

Description

Instantiate ObjectPoolReader and ObjectPoolWriter using Peras certificates from the PerasCertDB (or the ChainDB which is wrapping the PerasCertDB).

Synopsis

makePerasCertPoolReaderFromCertDB ∷ ∀ (m ∷ Type → Type) blk. IOLike m ⇒ PerasCertDB m blk → ObjectPoolReader PerasRoundNo (PerasCert blk) PerasCertTicketNo m
makePerasCertPoolWriterFromCertDB ∷ ∀ blk (m ∷ Type → Type). (StandardHash blk, IOLike m) ⇒ SystemTime m → PerasCertDB m blk → ObjectPoolWriter PerasRoundNo (PerasCert blk) m
makePerasCertPoolReaderFromChainDB ∷ ∀ (m ∷ Type → Type) blk. IOLike m ⇒ ChainDB m blk → ObjectPoolReader PerasRoundNo (PerasCert blk) PerasCertTicketNo m
makePerasCertPoolWriterFromChainDB ∷ ∀ blk (m ∷ Type → Type). (StandardHash blk, IOLike m) ⇒ SystemTime m → ChainDB m blk → ObjectPoolWriter PerasRoundNo (PerasCert blk) m

Documentation

makePerasCertPoolReaderFromCertDB ∷ ∀ (m ∷ Type → Type) blk. IOLike m ⇒ PerasCertDB m blk → ObjectPoolReader PerasRoundNo (PerasCert blk) PerasCertTicketNo m Source #

makePerasCertPoolWriterFromCertDB ∷ ∀ blk (m ∷ Type → Type). (StandardHash blk, IOLike m) ⇒ SystemTime m → PerasCertDB m blk → ObjectPoolWriter PerasRoundNo (PerasCert blk) m Source #

Create a pool writer directly from a PerasCertDB. This is mostly meant for tests against the PerasCertDB in isolation; for actual production use, see makePerasCertPoolWriterFromChainDB which creates a pool writer from the ChainDB with proper handling of chain selection side-effects.

makePerasCertPoolReaderFromChainDB ∷ ∀ (m ∷ Type → Type) blk. IOLike m ⇒ ChainDB m blk → ObjectPoolReader PerasRoundNo (PerasCert blk) PerasCertTicketNo m Source #

makePerasCertPoolWriterFromChainDB ∷ ∀ blk (m ∷ Type → Type). (StandardHash blk, IOLike m) ⇒ SystemTime m → ChainDB m blk → ObjectPoolWriter PerasRoundNo (PerasCert blk) m Source #

Create a pool writer from the ChainDB. This properly handles any needed chain selection side-effects.