cardano-diffusion:protocols-tests-lib
Safe HaskellNone
LanguageHaskell2010

Cardano.Network.Protocol.Handshake.Test

Synopsis

Documentation

tests :: TestTree Source #

newtype ArbitraryNodeToNodeVersion Source #

Constructors

ArbitraryNodeToNodeVersion 

Fields

Instances

Instances details
Arbitrary ArbitraryNodeToNodeVersion Source # 
Instance details

Defined in Cardano.Network.Protocol.Handshake.Test

Methods

arbitrary :: Gen ArbitraryNodeToNodeVersion #

shrink :: ArbitraryNodeToNodeVersion -> [ArbitraryNodeToNodeVersion] #

Show ArbitraryNodeToNodeVersion Source # 
Instance details

Defined in Cardano.Network.Protocol.Handshake.Test

Methods

showsPrec :: Int -> ArbitraryNodeToNodeVersion -> ShowS #

show :: ArbitraryNodeToNodeVersion -> String #

showList :: [ArbitraryNodeToNodeVersion] -> ShowS #

newtype ArbitraryNodeToNodeVersionData Source #

Constructors

ArbitraryNodeToNodeVersionData 

Fields

Instances

Instances details
Arbitrary ArbitraryNodeToNodeVersionData Source # 
Instance details

Defined in Cardano.Network.Protocol.Handshake.Test

Methods

arbitrary :: Gen ArbitraryNodeToNodeVersionData #

shrink :: ArbitraryNodeToNodeVersionData -> [ArbitraryNodeToNodeVersionData] #

Show ArbitraryNodeToNodeVersionData Source # 
Instance details

Defined in Cardano.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 Cardano.Network.Protocol.Handshake.Test

Methods

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

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

Acceptable ArbitraryNodeToNodeVersionData Source # 
Instance details

Defined in Cardano.Network.Protocol.Handshake.Test

Methods

acceptableVersion :: ArbitraryNodeToNodeVersionData -> ArbitraryNodeToNodeVersionData -> Accept ArbitraryNodeToNodeVersionData

Queryable ArbitraryNodeToNodeVersionData Source # 
Instance details

Defined in Cardano.Network.Protocol.Handshake.Test

Methods

queryVersion :: ArbitraryNodeToNodeVersionData -> Bool

newtype ArbitraryNodeToNodeVersions Source #

Constructors

ArbitraryNodeToNodeVersions 

Fields

Instances

Instances details
Arbitrary ArbitraryNodeToNodeVersions Source # 
Instance details

Defined in Cardano.Network.Protocol.Handshake.Test

Methods

arbitrary :: Gen ArbitraryNodeToNodeVersions #

shrink :: ArbitraryNodeToNodeVersions -> [ArbitraryNodeToNodeVersions] #

Show ArbitraryNodeToNodeVersions Source # 
Instance details

Defined in Cardano.Network.Protocol.Handshake.Test

Methods

showsPrec :: Int -> ArbitraryNodeToNodeVersions -> ShowS #

show :: ArbitraryNodeToNodeVersions -> String #

showList :: [ArbitraryNodeToNodeVersions] -> ShowS #

newtype ArbitraryNodeToClientVersion Source #

Constructors

ArbitraryNodeToClientVersion 

Fields

Instances

Instances details
Arbitrary ArbitraryNodeToClientVersion Source # 
Instance details

Defined in Cardano.Network.Protocol.Handshake.Test

Methods

arbitrary :: Gen ArbitraryNodeToClientVersion #

shrink :: ArbitraryNodeToClientVersion -> [ArbitraryNodeToClientVersion] #

Show ArbitraryNodeToClientVersion Source # 
Instance details

Defined in Cardano.Network.Protocol.Handshake.Test

Methods

showsPrec :: Int -> ArbitraryNodeToClientVersion -> ShowS #

show :: ArbitraryNodeToClientVersion -> String #

showList :: [ArbitraryNodeToClientVersion] -> ShowS #

newtype ArbitraryNodeToClientVersionData Source #

Constructors

ArbitraryNodeToClientVersionData 

Fields

Instances

Instances details
Arbitrary ArbitraryNodeToClientVersionData Source # 
Instance details

Defined in Cardano.Network.Protocol.Handshake.Test

Methods

arbitrary :: Gen ArbitraryNodeToClientVersionData #

shrink :: ArbitraryNodeToClientVersionData -> [ArbitraryNodeToClientVersionData] #

Show ArbitraryNodeToClientVersionData Source # 
Instance details

Defined in Cardano.Network.Protocol.Handshake.Test

Methods

showsPrec :: Int -> ArbitraryNodeToClientVersionData -> ShowS #

show :: ArbitraryNodeToClientVersionData -> String #

showList :: [ArbitraryNodeToClientVersionData] -> ShowS #

newtype ArbitraryNodeToClientVersions Source #

Constructors

ArbitraryNodeToClientVersions 

Fields

Instances

Instances details
Arbitrary ArbitraryNodeToClientVersions Source # 
Instance details

Defined in Cardano.Network.Protocol.Handshake.Test

Methods

arbitrary :: Gen ArbitraryNodeToClientVersions #

shrink :: ArbitraryNodeToClientVersions -> [ArbitraryNodeToClientVersions] #

Show ArbitraryNodeToClientVersions Source # 
Instance details

Defined in Cardano.Network.Protocol.Handshake.Test

Methods

showsPrec :: Int -> ArbitraryNodeToClientVersions -> ShowS #

show :: ArbitraryNodeToClientVersions -> String #

showList :: [ArbitraryNodeToClientVersions] -> ShowS #

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_peerSharing_symmetric :: (MonadAsync m, MonadCatch 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_NodeToNode :: ArbitraryNodeToNodeVersions -> ArbitraryNodeToNodeVersions -> Property Source #

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

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

prop_channel_simultaneous_open_NodeToClient_SimNet :: ArbitraryNodeToClientVersions -> ArbitraryNodeToClientVersions -> Property Source #