| Safe Haskell | None |
|---|---|
| Language | Haskell2010 |
Ouroboros.Consensus.MiniProtocol.ObjectDiffusion.PerasCert
Description
This module defines type aliases for the ObjectDiffusion protocol applied to PerasCert diffusion.
Documentation
type TracePerasCertDiffusionInbound blk = TraceObjectDiffusionInbound PerasRoundNo (PerasCert blk) Source #
type TracePerasCertDiffusionOutbound blk = TraceObjectDiffusionOutbound PerasRoundNo (PerasCert blk) Source #
type PerasCertPoolReader blk (m ∷ Type → Type) = ObjectPoolReader PerasRoundNo (PerasCert blk) PerasCertTicketNo m Source #
type PerasCertPoolWriter blk (m ∷ Type → Type) = ObjectPoolWriter PerasRoundNo (PerasCert blk) m Source #
type PerasCertDiffusionInboundPipelined blk (m ∷ Type → Type) a = ObjectDiffusionInboundPipelined PerasRoundNo (PerasCert blk) m a Source #
type PerasCertDiffusionOutbound blk (m ∷ Type → Type) a = ObjectDiffusionOutbound PerasRoundNo (PerasCert blk) m a Source #
type PerasCertDiffusion blk = ObjectDiffusion PerasRoundNo (PerasCert blk) Source #