Safe Haskell | None |
---|---|
Language | Haskell2010 |
Ouroboros.Network.Protocol.TxSubmission2.Test
Contents
Documentation
labelMsg :: Testable prop => AnyMessage (TxSubmission2 txid tx) -> prop -> Property Source #
Orphan instances
Arbitrary NumTxIdsToAck Source # | |
Arbitrary NumTxIdsToReq Source # | |
(Serialise a, Arbitrary a) => Arbitrary (WithBytes a) Source # | |
(Arbitrary txid, Arbitrary tx) => Arbitrary (AnyMessage (TxSubmission2 txid tx)) Source # | |
Methods arbitrary :: Gen (AnyMessage (TxSubmission2 txid tx)) # shrink :: AnyMessage (TxSubmission2 txid tx) -> [AnyMessage (TxSubmission2 txid tx)] # | |
(Eq txid, Eq tx) => Eq (AnyMessage (TxSubmission2 txid tx)) Source # | |
Methods (==) :: AnyMessage (TxSubmission2 txid tx) -> AnyMessage (TxSubmission2 txid tx) -> Bool # (/=) :: AnyMessage (TxSubmission2 txid tx) -> AnyMessage (TxSubmission2 txid tx) -> Bool # |