| Safe Haskell | None |
|---|---|
| Language | Haskell2010 |
Ouroboros.Network.InboundGovernor.Test.Utils
Synopsis
- pattern RemoteEstSt :: RemoteSt
- verifyRemoteTransition :: RemoteTransition -> Bool
- validRemoteTransitionMap :: RemoteTransition -> (Int, String)
- allValidRemoteTransitionsNames :: [String]
- verifyRemoteTransitionOrder :: Bool -> [RemoteTransition] -> All
- remoteStrIsFinalTransition :: Transition' (Maybe RemoteSt) -> Bool
- inboundGovernorTraceMap :: Trace ntnAddr -> String
- serverTraceMap :: Show ntnAddr => Trace ntnAddr -> String
Documentation
pattern RemoteEstSt :: RemoteSt Source #
Pattern synonym which matches either RemoteHotEst or RemoteWarmSt.
verifyRemoteTransition :: RemoteTransition -> Bool Source #
Specification of the transition table of the inbound governor.
validRemoteTransitionMap :: RemoteTransition -> (Int, String) Source #
Maps each valid remote transition into one number. Collapses all invalid transition into a single number.
NOTE: Should be in sync with verifyRemoteTransition
allValidRemoteTransitionsNames :: [String] Source #
List of all valid transition's names.
NOTE: Should be in sync with verifyAbstractTransition.
verifyRemoteTransitionOrder Source #
Arguments
| :: Bool | Check last transition: useful for distinguish Diffusion layer tests vs non-Diffusion ones. |
| -> [RemoteTransition] | |
| -> All |
inboundGovernorTraceMap :: Trace ntnAddr -> String Source #