Safe Haskell	None
Language	Haskell2010

Cardano.Network.Protocol.Handshake.Test

Synopsis

tests :: TestTree
newtype ArbitraryNodeToNodeVersion = ArbitraryNodeToNodeVersion {
- getNodeToNodeVersion :: NodeToNodeVersion
}
newtype ArbitraryNodeToNodeVersionData = ArbitraryNodeToNodeVersionData {
- getNodeToNodeVersionData :: NodeToNodeVersionData
}
newtype ArbitraryNodeToNodeVersions = ArbitraryNodeToNodeVersions {
- getArbitraryNodeToNodeVersiosn :: Versions NodeToNodeVersion NodeToNodeVersionData Bool
}
newtype ArbitraryNodeToClientVersion = ArbitraryNodeToClientVersion {
- getNodeToClientVersion :: NodeToClientVersion
}
newtype ArbitraryNodeToClientVersionData = ArbitraryNodeToClientVersionData {
- getNodeToClientVersionData :: NodeToClientVersionData
}
newtype ArbitraryNodeToClientVersions = ArbitraryNodeToClientVersions {
- getArbitraryNodeToClientVersiosn :: Versions NodeToClientVersion NodeToClientVersionData 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_peerSharing_symmetric :: (MonadAsync m, MonadCatch m, MonadEvaluate m) => m (Channel m ByteString, Channel m ByteString) -> Codec (Handshake NodeToNodeVersion Term) DeserialiseFailure m ByteString -> VersionDataCodec NodeToNodeVersion NodeToNodeVersionData -> Versions NodeToNodeVersion NodeToNodeVersionData Bool -> Versions NodeToNodeVersion NodeToNodeVersionData Bool -> m Property
prop_peerSharing_symmetric_NodeToNode_SimNet :: ArbitraryNodeToNodeVersions -> ArbitraryNodeToNodeVersions -> Property
prop_acceptOrRefuse_symmetric_NodeToNode :: ArbitraryNodeToNodeVersions -> ArbitraryNodeToNodeVersions -> Property
prop_acceptOrRefuse_symmetric_NodeToClient :: ArbitraryNodeToClientVersions -> ArbitraryNodeToClientVersions -> Property
prop_channel_simultaneous_open_NodeToNode_ST :: ArbitraryNodeToNodeVersions -> ArbitraryNodeToNodeVersions -> Property
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_NodeToNode_SimNet :: ArbitraryNodeToNodeVersions -> ArbitraryNodeToNodeVersions -> Property
prop_channel_simultaneous_open_NodeToClient_SimNet :: ArbitraryNodeToClientVersions -> ArbitraryNodeToClientVersions -> Property

Documentation

tests :: TestTree Source #

newtype ArbitraryNodeToNodeVersion Source #

Constructors

ArbitraryNodeToNodeVersion
Fields getNodeToNodeVersion :: NodeToNodeVersion

Instances

Instances details

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

newtype ArbitraryNodeToNodeVersionData Source #

Constructors

ArbitraryNodeToNodeVersionData
Fields getNodeToNodeVersionData :: NodeToNodeVersionData

Instances

Instances details

Arbitrary ArbitraryNodeToNodeVersionData Source #
Instance details Defined in Cardano.Network.Protocol.Handshake.Test Methods arbitrary :: Gen ArbitraryNodeToNodeVersionData # shrink :: ArbitraryNodeToNodeVersionData -> [ArbitraryNodeToNodeVersionData] #
NFData ArbitraryNodeToNodeVersionData Source #
Instance details Defined in Cardano.Network.Protocol.Handshake.Test Methods rnf :: 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

newtype ArbitraryNodeToNodeVersions Source #

Constructors

ArbitraryNodeToNodeVersions
Fields getArbitraryNodeToNodeVersiosn :: Versions NodeToNodeVersion NodeToNodeVersionData Bool

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 getNodeToClientVersion :: NodeToClientVersion

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 getNodeToClientVersionData :: NodeToClientVersionData

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 getArbitraryNodeToClientVersiosn :: Versions NodeToClientVersion NodeToClientVersionData Bool

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, MonadEvaluate m) => m (Channel m ByteString, Channel m ByteString) -> Codec (Handshake NodeToNodeVersion Term) DeserialiseFailure m ByteString -> VersionDataCodec NodeToNodeVersion NodeToNodeVersionData -> Versions NodeToNodeVersion NodeToNodeVersionData Bool -> Versions NodeToNodeVersion NodeToNodeVersionData 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 #

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 #