Documentation

spec :: Spec Source #

withNodeBroadcastingForever :: Network IO Integer -> Integer -> IO b -> IO b Source #

withNodesBroadcastingForever :: [(Network IO Integer, Integer)] -> IO b -> IO b Source #

assertAllnodesReceivedMessagesFromAllOtherNodes :: [(TQueue IO Integer, Integer)] -> IO () Source #

shouldEventuallyReceive :: TQueue IO Integer -> Integer -> Expectation Source #

prop_canRoundtripCBOREncoding :: (ToCBOR a, FromCBOR a, Eq a, Show a) => a -> Property Source #

mockCallback :: Applicative m => NetworkCallback msg m Source #