Documentation

spec :: Spec Source #

noop :: Monad m => NetworkCallback b m Source #

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

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

capturePayload :: MonadSTM m => TVar m (Vector msg) -> NetworkCallback (Either Connectivity (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 #