Safe Haskell	None
Language	Haskell2010

Ouroboros.Network.Protocol.Handshake.Test

Synopsis

tests :: TestTree
data VersionNumber
- = Version_0
- | Version_1
- | Version_2
versionNumberCodec :: CodecCBORTerm (String, Maybe Int) VersionNumber
versionNumberHandshakeCodec :: forall (m :: Type -> Type). (MonadST m, MonadThrow m) => Codec (Handshake VersionNumber Term) DeserialiseFailure m ByteString
data VersionData = VersionData {
- dataVersion0 :: Int
- dataVersion1 :: Bool
- dataVersion2 :: Bool
}
dataCodecCBORTerm :: VersionNumber -> CodecCBORTerm Text VersionData
arbitraryVersionData :: VersionNumber -> Gen VersionData
application :: VersionData -> VersionData -> Bool
genValidVersion :: VersionNumber -> Gen (Version VersionData Bool)
genInvalidVersion :: VersionNumber -> Gen (Version VersionData Bool)
genValidVersions :: Gen (Versions VersionNumber VersionData Bool)
genVersions :: Gen (Versions VersionNumber VersionData Bool)
newtype ArbitraryValidVersions = ArbitraryValidVersions {
- runArbitraryValidVersions :: Versions VersionNumber VersionData Bool
}
prop_arbitrary_ArbitraryValidVersions :: ArbitraryValidVersions -> Bool
prop_shrink_ArbitraryValidVersions :: ArbitraryValidVersions -> Bool
data ArbitraryVersions = ArbitraryVersions (Versions VersionNumber VersionData Bool) (Versions VersionNumber VersionData Bool)
validVersion :: VersionNumber -> Version VersionData Bool -> Bool
prop_arbitrary_ArbitraryVersions :: ArbitraryVersions -> Property
maybeAccept :: Accept a -> Maybe a
prop_connect :: ArbitraryVersions -> Property
prop_channel :: (MonadAsync m, MonadCatch m, MonadST m) => m (Channel m ByteString, Channel m ByteString) -> Versions VersionNumber VersionData Bool -> Versions VersionNumber VersionData Bool -> m Property
prop_channel_ST :: ArbitraryVersions -> Property
prop_channel_IO :: ArbitraryVersions -> Property
prop_pipe_IO :: ArbitraryVersions -> Property
prop_channel_asymmetric :: (MonadAsync m, MonadCatch m, MonadST m) => m (Channel m ByteString, Channel m ByteString) -> Versions VersionNumber VersionData Bool -> m Property
prop_channel_asymmetric_ST :: ArbitraryVersions -> Property
prop_channel_asymmetric_IO :: ArbitraryVersions -> Property
prop_pipe_asymmetric_IO :: ArbitraryVersions -> Property
newtype ArbitraryNodeToNodeVersion = ArbitraryNodeToNodeVersion {
- getNodeToNodeVersion :: NodeToNodeVersion
}
newtype ArbitraryNodeToNodeVersionData = ArbitraryNodeToNodeVersionData {
- getNodeToNodeVersionData :: NodeToNodeVersionData
}
newtype ArbitraryNodeToNodeVersions = ArbitraryNodeToNodeVersions {
- getArbitraryNodeToNodeVersiosn :: Versions NodeToNodeVersion ArbitraryNodeToNodeVersionData Bool
}
newtype ArbitraryNodeToClientVersion = ArbitraryNodeToClientVersion {
- getNodeToClientVersion :: NodeToClientVersion
}
newtype ArbitraryNodeToClientVersionData = ArbitraryNodeToClientVersionData {
- getNodeToClientVersionData :: NodeToClientVersionData
}
newtype ArbitraryNodeToClientVersions = ArbitraryNodeToClientVersions {
- getArbitraryNodeToClientVersiosn :: Versions NodeToClientVersion NodeToClientVersionData Bool
}
prop_acceptable_symmetric :: (Acceptable vData, Eq vData) => vData -> vData -> Bool
prop_acceptable_symmetric_VersionData :: VersionData -> VersionData -> Bool
prop_acceptable_symmetric_NodeToNode :: ArbitraryNodeToNodeVersionData -> ArbitraryNodeToNodeVersionData -> Bool
prop_acceptable_symmetric_NodeToClient :: ArbitraryNodeToClientVersionData -> ArbitraryNodeToClientVersionData -> Bool
prop_query_version_NodeToNode_ST :: ArbitraryNodeToNodeVersions -> ArbitraryNodeToNodeVersions -> Property
prop_query_version_NodeToNode_IO :: ArbitraryNodeToNodeVersions -> ArbitraryNodeToNodeVersions -> Property
prop_query_version_NodeToNode_SimNet :: ArbitraryNodeToNodeVersions -> ArbitraryNodeToNodeVersions -> Property
prop_query_version_NodeToClient_ST :: ArbitraryNodeToClientVersions -> ArbitraryNodeToClientVersions -> Property
prop_query_version_NodeToClient_IO :: ArbitraryNodeToClientVersions -> ArbitraryNodeToClientVersions -> Property
prop_query_version_NodeToClient_SimNet :: ArbitraryNodeToClientVersions -> ArbitraryNodeToClientVersions -> Property
prop_query_version :: (MonadAsync m, MonadCatch m, MonadST m, Eq vData, Acceptable vData, Queryable vData, Show vData, 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 -> (vNumber -> Bool) -> (vData -> vData) -> m Property
prop_peerSharing_symmetric :: (MonadAsync m, MonadCatch m, MonadST m) => m (Channel m ByteString, Channel m ByteString) -> Codec (Handshake NodeToNodeVersion Term) DeserialiseFailure m ByteString -> VersionDataCodec Term NodeToNodeVersion ArbitraryNodeToNodeVersionData -> Versions NodeToNodeVersion ArbitraryNodeToNodeVersionData Bool -> Versions NodeToNodeVersion ArbitraryNodeToNodeVersionData Bool -> m Property
prop_peerSharing_symmetric_NodeToNode_SimNet :: ArbitraryNodeToNodeVersions -> ArbitraryNodeToNodeVersions -> Property
prop_acceptOrRefuse_symmetric :: forall vNumber vData r. (Acceptable vData, Eq vData, Show vData, Ord vNumber, Show vNumber, Eq r, Show r) => Versions vNumber vData r -> Versions vNumber vData r -> Property
prop_acceptOrRefuse_symmetric_VersionData :: ArbitraryVersions -> Property
prop_acceptOrRefuse_symmetric_NodeToNode :: ArbitraryNodeToNodeVersions -> ArbitraryNodeToNodeVersions -> Property
prop_acceptOrRefuse_symmetric_NodeToClient :: ArbitraryNodeToClientVersions -> ArbitraryNodeToClientVersions -> Property
prop_channel_simultaneous_open :: (MonadAsync m, MonadCatch m, MonadST m, Acceptable vData, 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
prop_channel_simultaneous_open_ST :: ArbitraryVersions -> Property
prop_channel_simultaneous_open_IO :: ArbitraryVersions -> Property
prop_channel_simultaneous_open_NodeToNode_ST :: ArbitraryNodeToNodeVersions -> ArbitraryNodeToNodeVersions -> Property
transformNodeToNodeVersionData :: CodecCBORTerm Text NodeToNodeVersionData -> CodecCBORTerm Text ArbitraryNodeToNodeVersionData
prop_channel_simultaneous_open_NodeToNode_IO :: ArbitraryNodeToNodeVersions -> ArbitraryNodeToNodeVersions -> Property
prop_channel_simultaneous_open_NodeToClient_ST :: ArbitraryNodeToClientVersions -> ArbitraryNodeToClientVersions -> Property
prop_channel_simultaneous_open_NodeToClient_IO :: ArbitraryNodeToClientVersions -> ArbitraryNodeToClientVersions -> Property
prop_channel_simultaneous_open_sim :: forall vNumber vData m. (Alternative (STM m), MonadAsync m, MonadCatch m, MonadDelay m, MonadFork m, MonadLabelledSTM m, MonadMask m, MonadMonotonicTime m, MonadST m, MonadThrow (STM m), MonadTime m, MonadTimer m, Acceptable vData, Ord vNumber) => Codec (Handshake vNumber Term) DeserialiseFailure m ByteString -> VersionDataCodec Term vNumber vData -> Versions vNumber vData Bool -> Versions vNumber vData Bool -> m Property
prop_channel_simultaneous_open_SimNet :: ArbitraryVersions -> Property
prop_channel_simultaneous_open_NodeToNode_SimNet :: ArbitraryNodeToNodeVersions -> ArbitraryNodeToNodeVersions -> Property
prop_channel_simultaneous_open_NodeToClient_SimNet :: ArbitraryNodeToClientVersions -> ArbitraryNodeToClientVersions -> Property
newtype ArbitraryRefuseReason = ArbitraryRefuseReason {
- runArbitraryRefuseReason :: RefuseReason VersionNumber
}
prop_codec_RefuseReason :: ArbitraryRefuseReason -> Bool
prop_codec_Handshake :: AnyMessageAndAgency (Handshake VersionNumber Term) -> Bool
prop_codec_splits2_Handshake :: AnyMessageAndAgency (Handshake VersionNumber Term) -> Bool
prop_codec_splits3_Handshake :: AnyMessageAndAgency (Handshake VersionNumber Term) -> Bool
prop_codec_cbor :: AnyMessageAndAgency (Handshake VersionNumber Term) -> Bool
prop_codec_valid_cbor :: AnyMessageAndAgency (Handshake VersionNumber Term) -> Property

Documentation

tests :: TestTree Source #

data VersionNumber Source #

Testing version number

Constructors

Version_0
Version_1
Version_2

Instances

Instances details

Arbitrary VersionNumber Source #
Instance details Defined in Ouroboros.Network.Protocol.Handshake.Test Methods arbitrary :: Gen VersionNumber # shrink :: VersionNumber -> [VersionNumber] #
Bounded VersionNumber Source #
Instance details Defined in Ouroboros.Network.Protocol.Handshake.Test Methods minBound :: VersionNumber # maxBound :: VersionNumber #
Enum VersionNumber Source #
Instance details Defined in Ouroboros.Network.Protocol.Handshake.Test Methods succ :: VersionNumber -> VersionNumber # pred :: VersionNumber -> VersionNumber # toEnum :: Int -> VersionNumber # fromEnum :: VersionNumber -> Int # enumFrom :: VersionNumber -> [VersionNumber] # enumFromThen :: VersionNumber -> VersionNumber -> [VersionNumber] # enumFromTo :: VersionNumber -> VersionNumber -> [VersionNumber] # enumFromThenTo :: VersionNumber -> VersionNumber -> VersionNumber -> [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 (AnyMessageAndAgency (Handshake VersionNumber Term)) Source #
Instance details Defined in Ouroboros.Network.Protocol.Handshake.Test Methods arbitrary :: Gen (AnyMessageAndAgency (Handshake VersionNumber Term)) # shrink :: AnyMessageAndAgency (Handshake VersionNumber Term) -> [AnyMessageAndAgency (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 #

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

versionNumberHandshakeCodec :: forall (m :: Type -> Type). (MonadST m, MonadThrow 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 #

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-protocols-0.10.0.2-inplace-testlib" '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-protocols-0.10.0.2-inplace-testlib" '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, 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, MonadCatch 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.

newtype ArbitraryNodeToNodeVersion Source #

Constructors

ArbitraryNodeToNodeVersion
Fields getNodeToNodeVersion :: NodeToNodeVersion

Instances

Instances details

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

newtype ArbitraryNodeToNodeVersionData Source #

Constructors

ArbitraryNodeToNodeVersionData
Fields getNodeToNodeVersionData :: NodeToNodeVersionData

Instances

Instances details

Arbitrary ArbitraryNodeToNodeVersionData Source #
Instance details Defined in Ouroboros.Network.Protocol.Handshake.Test Methods arbitrary :: Gen ArbitraryNodeToNodeVersionData # shrink :: ArbitraryNodeToNodeVersionData -> [ArbitraryNodeToNodeVersionData] #
Show ArbitraryNodeToNodeVersionData Source #
Instance details Defined in Ouroboros.Network.Protocol.Handshake.Test Methods showsPrec :: Int -> ArbitraryNodeToNodeVersionData -> ShowS # show :: ArbitraryNodeToNodeVersionData -> String # showList :: [ArbitraryNodeToNodeVersionData] -> ShowS #
Eq ArbitraryNodeToNodeVersionData Source #	With the introduction of PeerSharing to `NodeToNodeVersionData` this type's `Acceptable` instance is no longer symmetric. Because when handshake is performed we keep only the remote's side PeerSharing information. Due to this, the `ArbitraryNodeToNodeVersionData` needs to have a custom `Eq` type that ignores this parameter. We also ignore the query field which may differ between parties.
Instance details Defined in Ouroboros.Network.Protocol.Handshake.Test Methods (==) :: ArbitraryNodeToNodeVersionData -> ArbitraryNodeToNodeVersionData -> Bool # (/=) :: ArbitraryNodeToNodeVersionData -> ArbitraryNodeToNodeVersionData -> Bool #
Acceptable ArbitraryNodeToNodeVersionData Source #
Instance details Defined in Ouroboros.Network.Protocol.Handshake.Test Methods acceptableVersion :: ArbitraryNodeToNodeVersionData -> ArbitraryNodeToNodeVersionData -> Accept ArbitraryNodeToNodeVersionData #
Queryable ArbitraryNodeToNodeVersionData Source #
Instance details Defined in Ouroboros.Network.Protocol.Handshake.Test Methods queryVersion :: ArbitraryNodeToNodeVersionData -> Bool #

newtype ArbitraryNodeToNodeVersions Source #

Constructors

ArbitraryNodeToNodeVersions
Fields getArbitraryNodeToNodeVersiosn :: Versions NodeToNodeVersion ArbitraryNodeToNodeVersionData Bool

Instances

Instances details

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

newtype ArbitraryNodeToClientVersion Source #

Constructors

ArbitraryNodeToClientVersion
Fields getNodeToClientVersion :: NodeToClientVersion

Instances

Instances details

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

newtype ArbitraryNodeToClientVersionData Source #

Constructors

ArbitraryNodeToClientVersionData
Fields getNodeToClientVersionData :: NodeToClientVersionData

Instances

Instances details

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

newtype ArbitraryNodeToClientVersions Source #

Constructors

ArbitraryNodeToClientVersions
Fields getArbitraryNodeToClientVersiosn :: Versions NodeToClientVersion NodeToClientVersionData Bool

Instances

Instances details

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

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

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

prop_acceptable_symmetric_NodeToNode :: ArbitraryNodeToNodeVersionData -> ArbitraryNodeToNodeVersionData -> Bool Source #

prop_acceptable_symmetric_NodeToClient :: ArbitraryNodeToClientVersionData -> ArbitraryNodeToClientVersionData -> Bool Source #

prop_query_version_NodeToNode_ST :: ArbitraryNodeToNodeVersions -> ArbitraryNodeToNodeVersions -> Property Source #

Run prop_query_version in the simulation monad.

prop_query_version_NodeToNode_IO :: ArbitraryNodeToNodeVersions -> ArbitraryNodeToNodeVersions -> Property Source #

Run prop_query_version in the IO monad.

prop_query_version_NodeToNode_SimNet :: ArbitraryNodeToNodeVersions -> ArbitraryNodeToNodeVersions -> Property Source #

Run prop_query_version with SimNet.

prop_query_version_NodeToClient_ST :: ArbitraryNodeToClientVersions -> ArbitraryNodeToClientVersions -> Property Source #

Run prop_query_version in the simulation monad.

prop_query_version_NodeToClient_IO :: ArbitraryNodeToClientVersions -> ArbitraryNodeToClientVersions -> Property Source #

Run prop_query_version in the IO monad.

prop_query_version_NodeToClient_SimNet :: ArbitraryNodeToClientVersions -> ArbitraryNodeToClientVersions -> Property Source #

Run prop_query_version with SimNet.

prop_query_version :: (MonadAsync m, MonadCatch m, MonadST m, Eq vData, Acceptable vData, Queryable vData, Show vData, 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 -> (vNumber -> Bool) -> (vData -> vData) -> m Property Source #

Run a query for the server's supported version.

prop_peerSharing_symmetric :: (MonadAsync m, MonadCatch m, MonadST m) => m (Channel m ByteString, Channel m ByteString) -> Codec (Handshake NodeToNodeVersion Term) DeserialiseFailure m ByteString -> VersionDataCodec Term NodeToNodeVersion ArbitraryNodeToNodeVersionData -> Versions NodeToNodeVersion ArbitraryNodeToNodeVersionData Bool -> Versions NodeToNodeVersion ArbitraryNodeToNodeVersionData Bool -> m Property Source #

Run a query for the server's supported version.

prop_peerSharing_symmetric_NodeToNode_SimNet :: ArbitraryNodeToNodeVersions -> ArbitraryNodeToNodeVersions -> Property Source #

Run prop_peerSharing_symmetric with SimNet.

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

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_acceptOrRefuse_symmetric_NodeToNode :: ArbitraryNodeToNodeVersions -> ArbitraryNodeToNodeVersions -> Property Source #

prop_acceptOrRefuse_symmetric_NodeToClient :: ArbitraryNodeToClientVersions -> ArbitraryNodeToClientVersions -> Property Source #

prop_channel_simultaneous_open :: (MonadAsync m, MonadCatch m, MonadST m, Acceptable vData, 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_NodeToNode_ST :: ArbitraryNodeToNodeVersions -> ArbitraryNodeToNodeVersions -> Property Source #

transformNodeToNodeVersionData :: CodecCBORTerm Text NodeToNodeVersionData -> CodecCBORTerm Text ArbitraryNodeToNodeVersionData Source #

prop_channel_simultaneous_open_NodeToNode_IO :: ArbitraryNodeToNodeVersions -> ArbitraryNodeToNodeVersions -> Property Source #

prop_channel_simultaneous_open_NodeToClient_ST :: ArbitraryNodeToClientVersions -> ArbitraryNodeToClientVersions -> Property Source #

prop_channel_simultaneous_open_NodeToClient_IO :: ArbitraryNodeToClientVersions -> ArbitraryNodeToClientVersions -> Property Source #

prop_channel_simultaneous_open_sim :: forall vNumber vData m. (Alternative (STM m), MonadAsync m, MonadCatch m, MonadDelay m, MonadFork m, MonadLabelledSTM m, MonadMask m, MonadMonotonicTime m, MonadST m, MonadThrow (STM m), MonadTime m, MonadTimer m, Acceptable vData, 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 #

prop_channel_simultaneous_open_NodeToNode_SimNet :: ArbitraryNodeToNodeVersions -> ArbitraryNodeToNodeVersions -> Property Source #

prop_channel_simultaneous_open_NodeToClient_SimNet :: ArbitraryNodeToClientVersions -> ArbitraryNodeToClientVersions -> 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 :: AnyMessageAndAgency (Handshake VersionNumber Term) -> Bool Source #

prop_codec_splits2_Handshake :: AnyMessageAndAgency (Handshake VersionNumber Term) -> Bool Source #

prop_codec_splits3_Handshake :: AnyMessageAndAgency (Handshake VersionNumber Term) -> Bool Source #

prop_codec_cbor :: AnyMessageAndAgency (Handshake VersionNumber Term) -> Bool Source #

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

Check that the encoder produces a valid CBOR.