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 ArbitraryNodeToNodeVersionData 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 Term NodeToNodeVersion ArbitraryNodeToNodeVersionData -> Versions NodeToNodeVersion ArbitraryNodeToNodeVersionData Bool -> Versions NodeToNodeVersion ArbitraryNodeToNodeVersionData 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
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_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 #
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 getArbitraryNodeToNodeVersiosn :: Versions NodeToNodeVersion ArbitraryNodeToNodeVersionData 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 #