ouroboros-network:protocols-tests-lib
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, 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 :: AnyMessage KeepAlive -> Property Source #

prop_codec_v2_splits2 :: AnyMessage KeepAlive -> Property Source #

prop_codec_v2_splits3 :: AnyMessage KeepAlive -> Property Source #

prop_codec_v2_valid_cbor :: AnyMessage KeepAlive -> Property Source #

prop_byteLimits :: AnyMessage KeepAlive -> Bool Source #

Orphan instances

Arbitrary (AnyMessage KeepAlive) Source # 
Instance details

Methods

arbitrary :: Gen (AnyMessage KeepAlive) #

shrink :: AnyMessage KeepAlive -> [AnyMessage KeepAlive] #

Eq (AnyMessage KeepAlive) Source # 
Instance details

Methods

(==) :: AnyMessage KeepAlive -> AnyMessage KeepAlive -> Bool #

(/=) :: AnyMessage KeepAlive -> AnyMessage KeepAlive -> Bool #