Documentation

spec :: Spec Source #

noop :: Monad m => b -> m () Source #

aliceReceivesMessages :: [Authenticated (ReliableMsg (Heartbeat msg))] -> [Authenticated (Heartbeat msg)] Source #

captureIncoming :: MonadSTM m => TVar m (Vector p) -> p -> m () Source #

capturePayload :: MonadSTM m => TVar m (Vector msg) -> Authenticated (Heartbeat msg) -> m () Source #

waitForAllMessages :: MonadSTM m => [msg] -> TVar m (Vector msg) -> m () Source #

captureTraces :: MonadSTM m => TVar m [ReliabilityLog] -> Tracer m ReliabilityLog Source #

mockMessagePersistence :: Int -> MonadSTM m => m (MessagePersistence m msg) Source #