hydra-node
Safe HaskellSafe-Inferred
LanguageGHC2021

Hydra.Node.OutboxSpec

Description

Tests of the effect hand-off in front of the network.

Run under io-sim so the time-based assertions are exact rather than racing a wall clock.

Synopsis
  • bounds :: StallBounds
  • spec :: Spec
  • withStuckOutbox :: (MonadAsync m, MonadLabelledSTM m, MonadMonotonicTime m) => StallBounds -> (Outbox m -> m a) -> m a

Documentation

bounds :: StallBounds Source #

spec :: Spec Source #

withStuckOutbox :: (MonadAsync m, MonadLabelledSTM m, MonadMonotonicTime m) => StallBounds -> (Outbox m -> m a) -> m a Source #

Run an outbox whose single submitted action never completes, which is what a network that cannot deliver looks like from here.