ouroboros-network:protocols-tests-lib

Safe Haskell	None
Language	Haskell2010

Ouroboros.Network.Protocol.PeerSharing.Test

Contents

Orphan instances

Synopsis

tests :: TestTree
prop_direct :: Fun Word8 Int -> [PeerSharingAmount] -> Property
prop_connect :: Fun Word8 Int -> [PeerSharingAmount] -> Property
prop_channel :: (MonadAsync m, MonadCatch m, MonadST m) => Fun Word8 Int -> [PeerSharingAmount] -> m Property
prop_channel_ST :: Fun Word8 Int -> [PeerSharingAmount] -> Property
prop_channel_IO :: Fun Word8 Int -> [PeerSharingAmount] -> Property
prop_codec_PeerSharing :: AnyMessage (PeerSharing Int) -> Property
prop_codec_cbor :: AnyMessage (PeerSharing Int) -> Property
prop_codec_valid_cbor :: AnyMessage (PeerSharing Int) -> Property
prop_codec_splits2 :: AnyMessage (PeerSharing Int) -> Property
prop_codec_splits3 :: AnyMessage (PeerSharing Int) -> Property
prop_byteLimits :: AnyMessage (PeerSharing Int) -> Bool

Documentation

tests :: TestTree Source #

prop_direct :: Fun Word8 Int -> [PeerSharingAmount] -> Property Source #

prop_connect :: Fun Word8 Int -> [PeerSharingAmount] -> Property Source #

prop_channel :: (MonadAsync m, MonadCatch m, MonadST m) => Fun Word8 Int -> [PeerSharingAmount] -> m Property Source #

prop_channel_ST :: Fun Word8 Int -> [PeerSharingAmount] -> Property Source #

prop_channel_IO :: Fun Word8 Int -> [PeerSharingAmount] -> Property Source #

prop_codec_PeerSharing :: AnyMessage (PeerSharing Int) -> Property Source #

prop_codec_cbor :: AnyMessage (PeerSharing Int) -> Property Source #

prop_codec_valid_cbor :: AnyMessage (PeerSharing Int) -> Property Source #

prop_codec_splits2 :: AnyMessage (PeerSharing Int) -> Property Source #

Check for data chunk boundary problems in the codec using 2 chunks.

prop_codec_splits3 :: AnyMessage (PeerSharing Int) -> Property Source #

Check for data chunk boundary problems in the codec using 3 chunks.

prop_byteLimits :: AnyMessage (PeerSharing Int) -> Bool Source #

Orphan instances

Arbitrary PeerSharingAmount Source #
Instance details Methods arbitrary :: Gen PeerSharingAmount # shrink :: PeerSharingAmount -> [PeerSharingAmount] #
Arbitrary peer => Arbitrary (AnyMessage (PeerSharing peer)) Source #
Instance details Methods arbitrary :: Gen (AnyMessage (PeerSharing peer)) # shrink :: AnyMessage (PeerSharing peer) -> [AnyMessage (PeerSharing peer)] #
Eq peer => Eq (AnyMessage (PeerSharing peer)) Source #
Instance details Methods (==) :: AnyMessage (PeerSharing peer) -> AnyMessage (PeerSharing peer) -> Bool # (/=) :: AnyMessage (PeerSharing peer) -> AnyMessage (PeerSharing peer) -> Bool #