Safe Haskell	None
Language	Haskell2010

Ouroboros.Consensus.MiniProtocol.ObjectDiffusion.ObjectPool.PerasCert

Contents

For testing purposes

Description

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

Synopsis

makePerasCertPoolReaderFromChainDB ∷ ∀ (m ∷ Type → Type) blk. (IOLike m, IsPerasCert (PerasCert blk) blk) ⇒ ChainDB m blk → ObjectPoolReader PerasRoundNo (PerasCert blk) PerasCertTicketNo m
makePerasCertPoolWriterFromChainDB ∷ ∀ (m ∷ Type → Type) blk. (IOLike m, BlockSupportsPeras blk) ⇒ SystemTime m → ChainDB m blk → ObjectPoolWriter PerasRoundNo (PerasCert blk) m
makeTestPerasCertPoolReaderFromCertDB ∷ ∀ (m ∷ Type → Type) blk. (IOLike m, IsPerasCert (PerasCert blk) blk) ⇒ PerasCertDB m blk → ObjectPoolReader PerasRoundNo (PerasCert blk) PerasCertTicketNo m
makeTestPerasCertPoolWriterFromCertDB ∷ ∀ (m ∷ Type → Type) blk. (IOLike m, BlockSupportsPeras blk) ⇒ SystemTime m → PerasCertDB m blk → PerasEpochContextResolverHandle m blk → ObjectPoolWriter PerasRoundNo (PerasCert blk) m

Documentation

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

makePerasCertPoolWriterFromChainDB ∷ ∀ (m ∷ Type → Type) blk. (IOLike m, BlockSupportsPeras blk) ⇒ 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.

For testing purposes

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

makeTestPerasCertPoolWriterFromCertDB ∷ ∀ (m ∷ Type → Type) blk. (IOLike m, BlockSupportsPeras blk) ⇒ SystemTime m → PerasCertDB m blk → PerasEpochContextResolverHandle 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.