| Safe Haskell | None |
|---|---|
| Language | Haskell2010 |
Test.Ouroboros.Network.TxSubmission.TxLogic
Contents
Synopsis
- tests :: TestTree
- newtype ArbTxDecisionPolicy = ArbTxDecisionPolicy TxDecisionPolicy
- type PeerAddr = Int
- sharedTxStateInvariant :: forall peeraddr txid tx. (Ord txid, Show txid, Show tx) => InvariantStrength -> SharedTxState peeraddr txid tx -> Property
- data InvariantStrength
Documentation
newtype ArbTxDecisionPolicy Source #
Constructors
| ArbTxDecisionPolicy TxDecisionPolicy |
Instances
| Arbitrary ArbTxDecisionPolicy Source # | |
Defined in Test.Ouroboros.Network.TxSubmission.TxLogic Methods | |
| Show ArbTxDecisionPolicy Source # | |
Defined in Test.Ouroboros.Network.TxSubmission.TxLogic Methods showsPrec :: Int -> ArbTxDecisionPolicy -> ShowS # show :: ArbTxDecisionPolicy -> String # showList :: [ArbTxDecisionPolicy] -> ShowS # | |
sharedTxStateInvariant :: forall peeraddr txid tx. (Ord txid, Show txid, Show tx) => InvariantStrength -> SharedTxState peeraddr txid tx -> Property Source #
InboundState invariant.
data InvariantStrength Source #
Constructors
| WeakInvariant | |
| StrongInvariant |