| Safe Haskell | None |
|---|---|
| Language | Haskell2010 |
Ouroboros.Network.Protocol.KeepAlive.Test
Contents
Documentation
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 # | |
Methods arbitrary :: Gen (AnyMessage KeepAlive) # shrink :: AnyMessage KeepAlive -> [AnyMessage KeepAlive] # | |
| Eq (AnyMessage KeepAlive) Source # | |
Methods (==) :: AnyMessage KeepAlive -> AnyMessage KeepAlive -> Bool # (/=) :: AnyMessage KeepAlive -> AnyMessage KeepAlive -> Bool # | |