ouroboros-network-protocols:testlib
Safe HaskellNone
LanguageHaskell2010

Ouroboros.Network.Protocol.KeepAlive.Test

Documentation

tests :: TestTree Source #

prop_direct :: (Int -> Int) -> NonNegative Int -> Property Source #

prop_connect :: (Int -> Int) -> NonNegative Int -> Bool Source #

prop_channel :: (MonadST m, MonadSTM m, MonadAsync m, MonadCatch m) => (Int -> Int) -> Int -> m Property Source #

prop_channel_ST :: (Int -> Int) -> NonNegative Int -> Property Source #

prop_channel_IO :: (Int -> Int) -> NonNegative Int -> Property Source #

prop_codec_v2 :: AnyMessageAndAgency KeepAlive -> Bool Source #

prop_codec_v2_splits2 :: AnyMessageAndAgency KeepAlive -> Bool Source #

prop_codec_v2_splits3 :: AnyMessageAndAgency KeepAlive -> Bool Source #

prop_codec_v2_valid_cbor :: AnyMessageAndAgency KeepAlive -> Property Source #

prop_byteLimits :: AnyMessageAndAgency KeepAlive -> Bool Source #

Orphan instances