type Rep VersionNumber = D1 ('MetaData "VersionNumber" "Ouroboros.Network.Protocol.Handshake.Test" "ouroboros-network-1.0.0.0-inplace-protocols-tests-lib" 'False) (C1 ('MetaCons "Version_0" 'PrefixI 'False) (U1 :: Type -> Type) :+: (C1 ('MetaCons "Version_1" 'PrefixI 'False) (U1 :: Type -> Type) :+: C1 ('MetaCons "Version_2" 'PrefixI 'False) (U1 :: Type -> Type)))

Methods

from :: VersionNumber -> Rep VersionNumber x #

to :: Rep VersionNumber x -> VersionNumber #

Show VersionNumber Source #

Instance details

Defined in Ouroboros.Network.Protocol.Handshake.Test

Methods

showsPrec :: Int -> VersionNumber -> ShowS #

show :: VersionNumber -> String #

showList :: [VersionNumber] -> ShowS #

Eq VersionNumber Source #

Instance details

Defined in Ouroboros.Network.Protocol.Handshake.Test

Methods

(==) :: VersionNumber -> VersionNumber -> Bool #

(/=) :: VersionNumber -> VersionNumber -> Bool #

Ord VersionNumber Source #

Instance details

Defined in Ouroboros.Network.Protocol.Handshake.Test

Methods

compare :: VersionNumber -> VersionNumber -> Ordering #

(<) :: VersionNumber -> VersionNumber -> Bool #

(<=) :: VersionNumber -> VersionNumber -> Bool #

(>) :: VersionNumber -> VersionNumber -> Bool #

(>=) :: VersionNumber -> VersionNumber -> Bool #

max :: VersionNumber -> VersionNumber -> VersionNumber #

min :: VersionNumber -> VersionNumber -> VersionNumber #

Arbitrary (AnyMessage (Handshake VersionNumber Term)) Source #

Instance details

Defined in Ouroboros.Network.Protocol.Handshake.Test

Methods

arbitrary :: Gen (AnyMessage (Handshake VersionNumber Term)) #

shrink :: AnyMessage (Handshake VersionNumber Term) -> [AnyMessage (Handshake VersionNumber Term)] #

Eq (AnyMessage (Handshake VersionNumber Term)) Source #

Instance details

Defined in Ouroboros.Network.Protocol.Handshake.Test

Methods

(==) :: AnyMessage (Handshake VersionNumber Term) -> AnyMessage (Handshake VersionNumber Term) -> Bool #

(/=) :: AnyMessage (Handshake VersionNumber Term) -> AnyMessage (Handshake VersionNumber Term) -> Bool #

type Rep VersionNumber Source #

Instance details

Defined in Ouroboros.Network.Protocol.Handshake.Test

type Rep VersionNumber = D1 ('MetaData "VersionNumber" "Ouroboros.Network.Protocol.Handshake.Test" "ouroboros-network-1.0.0.0-inplace-protocols-tests-lib" 'False) (C1 ('MetaCons "Version_0" 'PrefixI 'False) (U1 :: Type -> Type) :+: (C1 ('MetaCons "Version_1" 'PrefixI 'False) (U1 :: Type -> Type) :+: C1 ('MetaCons "Version_2" 'PrefixI 'False) (U1 :: Type -> Type)))

versionNumberCodec :: CodecCBORTerm (String, Maybe Int) VersionNumber Source #

versionNumberHandshakeCodec :: forall (m :: Type -> Type). MonadST m => Codec (Handshake VersionNumber Term) DeserialiseFailure m ByteString Source #

data VersionData Source #

Constructors

VersionData
Fields dataVersion0 :: Int dataVersion1 :: Bool dataVersion2 :: Bool

Instances

Instances details

Arbitrary VersionData Source #

Instance details

Defined in Ouroboros.Network.Protocol.Handshake.Test

Methods

arbitrary :: Gen VersionData #

shrink :: VersionData -> [VersionData] #

CoArbitrary VersionData Source #

Instance details

Defined in Ouroboros.Network.Protocol.Handshake.Test

Methods

coarbitrary :: VersionData -> Gen b -> Gen b #

NFData VersionData Source #

Instance details

Defined in Ouroboros.Network.Protocol.Handshake.Test

Methods

rnf :: VersionData -> () #

Generic VersionData Source #

Instance details

Defined in Ouroboros.Network.Protocol.Handshake.Test

Associated Types

type Rep VersionData

Instance details

Defined in Ouroboros.Network.Protocol.Handshake.Test

type Rep VersionData = D1 ('MetaData "VersionData" "Ouroboros.Network.Protocol.Handshake.Test" "ouroboros-network-1.0.0.0-inplace-protocols-tests-lib" 'False) (C1 ('MetaCons "VersionData" 'PrefixI 'True) (S1 ('MetaSel ('Just "dataVersion0") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Int) :*: (S1 ('MetaSel ('Just "dataVersion1") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Bool) :*: S1 ('MetaSel ('Just "dataVersion2") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Bool))))

Methods

from :: VersionData -> Rep VersionData x #

to :: Rep VersionData x -> VersionData #

Show VersionData Source #

Instance details

Defined in Ouroboros.Network.Protocol.Handshake.Test

Methods

showsPrec :: Int -> VersionData -> ShowS #

show :: VersionData -> String #

showList :: [VersionData] -> ShowS #

Eq VersionData Source #

Instance details

Defined in Ouroboros.Network.Protocol.Handshake.Test

Methods

(==) :: VersionData -> VersionData -> Bool #

(/=) :: VersionData -> VersionData -> Bool #

Acceptable VersionData Source #

Instance details

Defined in Ouroboros.Network.Protocol.Handshake.Test

Methods

acceptableVersion :: VersionData -> VersionData -> Accept VersionData

Queryable VersionData Source #

Instance details

Defined in Ouroboros.Network.Protocol.Handshake.Test

Methods

queryVersion :: VersionData -> Bool

type Rep VersionData Source #

Instance details

Defined in Ouroboros.Network.Protocol.Handshake.Test

type Rep VersionData = D1 ('MetaData "VersionData" "Ouroboros.Network.Protocol.Handshake.Test" "ouroboros-network-1.0.0.0-inplace-protocols-tests-lib" 'False) (C1 ('MetaCons "VersionData" 'PrefixI 'True) (S1 ('MetaSel ('Just "dataVersion0") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Int) :*: (S1 ('MetaSel ('Just "dataVersion1") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Bool) :*: S1 ('MetaSel ('Just "dataVersion2") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Bool))))

dataCodecCBORTerm :: VersionNumber -> CodecCBORTerm Text VersionData Source #

arbitraryVersionData :: VersionNumber -> Gen VersionData Source #

application :: VersionData -> VersionData -> Bool Source #

genValidVersion :: VersionNumber -> Gen (Version VersionData Bool) Source #

Generate a valid ProtocolVersion VersionNumber r

genInvalidVersion :: VersionNumber -> Gen (Version VersionData Bool) Source #

Generate an invalid ProtocolVersion VersionNumber r.

genValidVersions :: Gen (Versions VersionNumber VersionData Bool) Source #

Generate valid Versions.

genVersions :: Gen (Versions VersionNumber VersionData Bool) Source #

Generate possibly invalid Versions.

newtype ArbitraryValidVersions Source #

Constructors

ArbitraryValidVersions
Fields runArbitraryValidVersions :: Versions VersionNumber VersionData Bool

Instances

Instances details

Arbitrary ArbitraryValidVersions Source #
Instance details Defined in Ouroboros.Network.Protocol.Handshake.Test Methods arbitrary :: Gen ArbitraryValidVersions # shrink :: ArbitraryValidVersions -> [ArbitraryValidVersions] #
Show ArbitraryValidVersions Source #
Instance details Defined in Ouroboros.Network.Protocol.Handshake.Test Methods showsPrec :: Int -> ArbitraryValidVersions -> ShowS # show :: ArbitraryValidVersions -> String # showList :: [ArbitraryValidVersions] -> ShowS #

prop_arbitrary_ArbitraryValidVersions :: ArbitraryValidVersions -> Bool Source #

prop_shrink_ArbitraryValidVersions :: ArbitraryValidVersions -> Bool Source #

data ArbitraryVersions Source #

Generators for pairs of arbitrary list of versions.

Constructors

ArbitraryVersions (Versions VersionNumber VersionData Bool) (Versions VersionNumber VersionData Bool)

Instances

Instances details

Arbitrary ArbitraryVersions Source #
Instance details Defined in Ouroboros.Network.Protocol.Handshake.Test Methods arbitrary :: Gen ArbitraryVersions # shrink :: ArbitraryVersions -> [ArbitraryVersions] #
Show ArbitraryVersions Source #
Instance details Defined in Ouroboros.Network.Protocol.Handshake.Test Methods showsPrec :: Int -> ArbitraryVersions -> ShowS # show :: ArbitraryVersions -> String # showList :: [ArbitraryVersions] -> ShowS #

validVersion :: VersionNumber -> Version VersionData Bool -> Bool Source #

Check if a ProtocolVersion VersionNumber r is valid.

prop_arbitrary_ArbitraryVersions :: ArbitraryVersions -> Property Source #

maybeAccept :: Accept a -> Maybe a Source #

prop_connect :: ArbitraryVersions -> Property Source #

Run a handshake protocol, without going via a channel.

prop_channel :: (MonadAsync m, MonadCatch m, MonadEvaluate m, MonadST m) => m (Channel m ByteString, Channel m ByteString) -> Versions VersionNumber VersionData Bool -> Versions VersionNumber VersionData Bool -> m Property Source #

Run a simple block-fetch client and server using connected channels.

prop_channel_ST :: ArbitraryVersions -> Property Source #

Run prop_channel in the simulation monad.

prop_channel_IO :: ArbitraryVersions -> Property Source #

Run prop_channel in the IO monad.

prop_pipe_IO :: ArbitraryVersions -> Property Source #

Run prop_channel in the IO monad using local pipes.

prop_channel_asymmetric Source #

Arguments

:: (MonadAsync m, MonadEvaluate m, MonadMask m, MonadST m)
=> m (Channel m ByteString, Channel m ByteString)
-> Versions VersionNumber VersionData Bool	client versions
-> m Property

Run a simple handshake client and server using connected channels. The server can only decode a subset of versions send by client. This test is using a fixed server Versions which can only accept a single version Version_1 (it cannot decode any other version).

prop_channel_asymmetric_ST :: ArbitraryVersions -> Property Source #

Run prop_channel in the simulation monad.

prop_channel_asymmetric_IO :: ArbitraryVersions -> Property Source #

Run prop_channel in the IO monad.

prop_pipe_asymmetric_IO :: ArbitraryVersions -> Property Source #

Run prop_channel in the IO monad using local pipes.

prop_acceptable_symmetric :: (Acceptable vData, Eq vData) => vData -> vData -> Bool Source #

prop_acceptable_symmetric_VersionData :: VersionData -> VersionData -> Bool Source #

prop_query_version :: (MonadAsync m, MonadCatch m, MonadEvaluate m, Eq vData, Acceptable vData, NFData vData, Queryable vData, Show vData, NFData vNumber, Ord vNumber, Show vNumber) => m (Channel m ByteString, Channel m ByteString) -> Codec (Handshake vNumber Term) DeserialiseFailure m ByteString -> VersionDataCodec Term vNumber vData -> Versions vNumber vData Bool -> Versions vNumber vData Bool -> (vData -> vData) -> m Property Source #

Run a query for the server's supported version.

prop_acceptOrRefuse_symmetric :: forall vNumber vData r. (Acceptable vData, Eq vData, Show vData, Ord vNumber, Show vNumber) => Versions vNumber vData r -> Versions vNumber vData r -> Property Source #

Run prop_peerSharing_symmetric with SimNet.

| acceptOrRefuse is symmetric in the following sense:

Either both sides: * accept the same version and version data; or * refuse

The refuse reason might differ, although if one side refuses it with Refused the other side must refuse the same version.

prop_acceptOrRefuse_symmetric_VersionData :: ArbitraryVersions -> Property Source #

prop_channel_simultaneous_open :: (MonadAsync m, MonadCatch m, MonadEvaluate m, Acceptable vData, NFData vData, NFData vNumber, Ord vNumber) => m (Channel m ByteString, Channel m ByteString) -> Codec (Handshake vNumber Term) DeserialiseFailure m ByteString -> VersionDataCodec Term vNumber vData -> Versions vNumber vData Bool -> Versions vNumber vData Bool -> m Property Source #

Run two handshake clients against each other, which simulates a TCP simultaneous open.

prop_channel_simultaneous_open_ST :: ArbitraryVersions -> Property Source #

Run prop_channel_simultaneous_open in the simulation monad.

prop_channel_simultaneous_open_IO :: ArbitraryVersions -> Property Source #

Run prop_channel_simultaneous_open in the IO monad.

prop_channel_simultaneous_open_sim :: forall vNumber vData m. (Alternative (STM m), MonadAsync m, MonadDelay m, MonadLabelledSTM m, MonadEvaluate m, MonadMask m, MonadThrow (STM m), MonadTime m, MonadTimer m, Acceptable vData, NFData vData, NFData vNumber, Ord vNumber) => Codec (Handshake vNumber Term) DeserialiseFailure m ByteString -> VersionDataCodec Term vNumber vData -> Versions vNumber vData Bool -> Versions vNumber vData Bool -> m Property Source #

prop_channel_simultaneous_open_SimNet :: ArbitraryVersions -> Property Source #

newtype ArbitraryRefuseReason Source #

Constructors

ArbitraryRefuseReason
Fields runArbitraryRefuseReason :: RefuseReason VersionNumber

Instances

Instances details

Arbitrary ArbitraryRefuseReason Source #
Instance details Defined in Ouroboros.Network.Protocol.Handshake.Test Methods arbitrary :: Gen ArbitraryRefuseReason # shrink :: ArbitraryRefuseReason -> [ArbitraryRefuseReason] #
Show ArbitraryRefuseReason Source #
Instance details Defined in Ouroboros.Network.Protocol.Handshake.Test Methods showsPrec :: Int -> ArbitraryRefuseReason -> ShowS # show :: ArbitraryRefuseReason -> String # showList :: [ArbitraryRefuseReason] -> ShowS #
Eq ArbitraryRefuseReason Source #
Instance details Defined in Ouroboros.Network.Protocol.Handshake.Test Methods (==) :: ArbitraryRefuseReason -> ArbitraryRefuseReason -> Bool # (/=) :: ArbitraryRefuseReason -> ArbitraryRefuseReason -> Bool #

prop_codec_RefuseReason :: ArbitraryRefuseReason -> Bool Source #

prop_codec_Handshake :: AnyMessage (Handshake VersionNumber Term) -> Property Source #

prop_codec_splits2_Handshake :: AnyMessage (Handshake VersionNumber Term) -> Property Source #

prop_codec_splits3_Handshake :: AnyMessage (Handshake VersionNumber Term) -> Property Source #

prop_codec_cbor :: AnyMessage (Handshake VersionNumber Term) -> Property Source #

prop_codec_valid_cbor :: AnyMessage (Handshake VersionNumber Term) -> Property Source #

Check that the encoder produces a valid CBOR.