ouroboros-network-framework:testlib
Safe HaskellNone
LanguageHaskell2010

Ouroboros.Network.ConnectionManager.Test.Timeouts

Synopsis

Documentation

type SimAddr = TestAddress SimAddr_ Source #

The concrete address type used by simulations.

newtype TestAddr Source #

We use a wrapper for test addresses since the Arbitrary instance for Snocket.TestAddress only generates addresses between 1 and 4.

Constructors

TestAddr 

Fields

data TestProperty Source #

Test property together with classification.

Constructors

TestProperty 

Fields

data Timeouts Source #

Configurable timeouts. We use different timeouts for IO and IOSim property tests.

ioTimeouts :: Timeouts Source #

Timeouts for IO tests.

simTimeouts :: Timeouts Source #

Timeouts for IOSim tests.

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.