| 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
- mkDecisionContext :: SMGen -> Int -> (TxDecisionPolicy, SharedTxState PeerAddr TxId (Tx TxId))
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 |
Utils
Arguments
| :: SMGen | pseudo random generator |
| -> Int | size |
| -> (TxDecisionPolicy, SharedTxState PeerAddr TxId (Tx TxId)) |
Construct decision context in a deterministic way. For micro benchmarks.
It is based on QuickCheck's arbitrary instance for `ArbDecisionContexts.