Moduleouroboros-consensus-4.2.1.0
Ouroboros.Consensus.MiniProtocol.ObjectDiffusion.PerasCert
- 7 types
- Packageouroboros-consensus-4.2.1.0
- Exports7
- LicenceApache-2.0
type
type PerasCertDiffusionInboundPipelined blk (m :: Type -> Type) a = ObjectDiffusionInboundPipelined PerasRoundNo (PerasCert blk) m atype
type PerasCertDiffusionOutbound blk (m :: Type -> Type) a = ObjectDiffusionOutbound PerasRoundNo (PerasCert blk) m atype
type PerasCertPoolReader blk (m :: Type -> Type) = ObjectPoolReader PerasRoundNo (PerasCert blk) PerasCertTicketNo mtype
type PerasCertPoolWriter blk (m :: Type -> Type) = ObjectPoolWriter PerasRoundNo (PerasCert blk) mtype
type TracePerasCertDiffusionInbound blk = TraceObjectDiffusionInbound PerasRoundNo (PerasCert blk)type
type TracePerasCertDiffusionOutbound blk = TraceObjectDiffusionOutbound PerasRoundNo (PerasCert blk)