Safe Haskell | None |
---|---|
Language | Haskell2010 |
Synopsis
- verifyAllTimeouts :: Show addr => Bool -> Trace (SimResult ()) [(Time, AbstractTransitionTrace addr)] -> All
- type SimAddr = TestAddress SimAddr_
- type SimAddr_ = Int
- newtype TestAddr = TestAddr {}
- data TestProperty = TestProperty {
- tpProperty :: !Property
- tpNumberOfTransitions :: !(Sum Int)
- tpNumberOfConnections :: !(Sum Int)
- tpNumberOfPrunings :: !(Sum Int)
- tpNegotiatedDataFlows :: ![NegotiatedDataFlow]
- tpEffectiveDataFlows :: ![EffectiveDataFlow]
- tpTerminationTypes :: ![Maybe TerminationType]
- tpActivityTypes :: ![ActivityType]
- tpTransitions :: ![AbstractTransition]
- newtype ArbDataFlow = ArbDataFlow DataFlow
- data Timeouts = Timeouts {}
- ioTimeouts :: Timeouts
- simTimeouts :: Timeouts
- mkProperty :: TestProperty -> Property
- mkPropertyPruning :: TestProperty -> Property
- groupConns :: Ord addr => (a -> TransitionTrace' addr st) -> (Transition' st -> Bool) -> Trace r a -> Trace r [a]
- groupConnsEither :: Ord addr => (a -> TransitionTrace' addr st) -> (Transition' st -> Bool) -> Trace r (Either a b) -> Trace r (Either [a] b)
- classifyNegotiatedDataFlow :: [AbstractTransition] -> NegotiatedDataFlow
- classifyActivityType :: [AbstractTransition] -> ActivityType
- classifyEffectiveDataFlow :: [AbstractTransition] -> EffectiveDataFlow
- classifyTermination :: [AbstractTransition] -> Maybe TerminationType
- classifyPrunings :: [Trace addr (ConnectionHandlerTrace prctl dataflow)] -> Sum Int
- classifyPruning :: Trace addr (ConnectionHandlerTrace prctl dataflow) -> Sum Int
- within_ :: Int -> Int -> String
- ppTransition :: AbstractTransition -> String
Documentation
verifyAllTimeouts :: Show addr => Bool -> Trace (SimResult ()) [(Time, AbstractTransitionTrace addr)] -> All Source #
type SimAddr = TestAddress SimAddr_ Source #
The concrete address type used by simulations.
We use a wrapper for test addresses since the Arbitrary instance for Snocket.TestAddress only generates addresses between 1 and 4.
data TestProperty Source #
Test property together with classification.
TestProperty | |
|
Instances
Monoid TestProperty Source # | |
Defined in Ouroboros.Network.ConnectionManager.Test.Timeouts mempty :: TestProperty # mappend :: TestProperty -> TestProperty -> TestProperty # mconcat :: [TestProperty] -> TestProperty # | |
Semigroup TestProperty Source # | |
Defined in Ouroboros.Network.ConnectionManager.Test.Timeouts (<>) :: TestProperty -> TestProperty -> TestProperty # sconcat :: NonEmpty TestProperty -> TestProperty # stimes :: Integral b => b -> TestProperty -> TestProperty # | |
Show TestProperty Source # | |
Defined in Ouroboros.Network.ConnectionManager.Test.Timeouts showsPrec :: Int -> TestProperty -> ShowS # show :: TestProperty -> String # showList :: [TestProperty] -> ShowS # |
newtype ArbDataFlow Source #
Instances
Arbitrary ArbDataFlow Source # | |
Defined in Ouroboros.Network.ConnectionManager.Test.Timeouts arbitrary :: Gen ArbDataFlow # shrink :: ArbDataFlow -> [ArbDataFlow] # | |
Show ArbDataFlow Source # | |
Defined in Ouroboros.Network.ConnectionManager.Test.Timeouts showsPrec :: Int -> ArbDataFlow -> ShowS # show :: ArbDataFlow -> String # showList :: [ArbDataFlow] -> ShowS # |
ioTimeouts :: Timeouts Source #
Timeouts for IO
tests.
simTimeouts :: Timeouts Source #
Timeouts for IOSim
tests.
mkProperty :: TestProperty -> Property Source #
groupConns :: Ord addr => (a -> TransitionTrace' addr st) -> (Transition' st -> Bool) -> Trace r a -> Trace r [a] Source #
Groups TransitionTrace
to the same peerAddr.
groupConnsEither :: Ord addr => (a -> TransitionTrace' addr st) -> (Transition' st -> Bool) -> Trace r (Either a b) -> Trace r (Either [a] b) Source #
Like groupConns
but can be used to also interleave other types of events.
classifyNegotiatedDataFlow :: [AbstractTransition] -> NegotiatedDataFlow Source #
classifyActivityType :: [AbstractTransition] -> ActivityType Source #
classifyEffectiveDataFlow :: [AbstractTransition] -> EffectiveDataFlow Source #
classifyTermination :: [AbstractTransition] -> Maybe TerminationType Source #
classifyPrunings :: [Trace addr (ConnectionHandlerTrace prctl dataflow)] -> Sum Int Source #
classifyPruning :: Trace addr (ConnectionHandlerTrace prctl dataflow) -> Sum Int Source #