| Safe Haskell | None |
|---|---|
| Language | Haskell2010 |
Test.Consensus.MiniProtocol.ObjectDiffusion.Smoke
Description
Smoke tests for the object diffusion protocol. This uses a trivial object pool and checks that a few objects can indeed be transferred from the outbound to the inbound peer.
Documentation
prop_smoke_object_diffusion ∷ (Eq object, Show object, Ord objectId, Typeable objectId, Typeable object, NoThunks objectId, Show objectId, NoThunks object) ⇒ ProtocolConstants → [object] → (∀ (m ∷ Type → Type). IOLike m ⇒ ObjectDiffusionOutbound objectId object m () → Channel m (AnyMessage (ObjectDiffusion objectId object)) → Tracer m String → m ()) → (∀ (m ∷ Type → Type). IOLike m ⇒ ObjectDiffusionInboundPipelined objectId object m () → Channel m (AnyMessage (ObjectDiffusion objectId object)) → Tracer m String → m ()) → (∀ (m ∷ Type → Type). IOLike m ⇒ m (ObjectPoolReader objectId object ticketNo m, ObjectPoolWriter objectId object m, m [object])) → Property Source #
data ProtocolConstants Source #
Instances
| Show ProtocolConstants Source # | |
Defined in Test.Consensus.MiniProtocol.ObjectDiffusion.Smoke Methods showsPrec ∷ Int → ProtocolConstants → ShowS # show ∷ ProtocolConstants → String # showList ∷ [ProtocolConstants] → ShowS # | |