Skip to content

Commit 147cbab

Browse files
iohk-bors[bot]coot
andauthored
Merge #3580
3580: Outbound Governor changes r=coot a=coot - Stop mux incase termination of miniprotocols timeout - Remove superfluous unregisterOutboundConnection call - Make keepalive and blockfetch cleanup uninterruptible - io-sim: export ppSimEvent - io-sim: organise io-sim export list - outbound-governor-test: added 'TraceEnvRequestPublicRootPeers' - outbound-governor-test: improved counterexample information - outbound-governor-test: added test cases from various issues - outbound-governor: change the order of events - ouroboros-governor: check the state when promoting a warm peer - peer-state-actions: remove no-op unregisterOutboundConnection Co-authored-by: Marcin Szamotulski <[email protected]>
2 parents d21faaf + 212f356 commit 147cbab

File tree

1 file changed

+9
-3
lines changed

1 file changed

+9
-3
lines changed

io-sim/src/Control/Monad/IOSim.hs

Lines changed: 9 additions & 3 deletions
Original file line numberDiff line numberDiff line change
@@ -23,25 +23,31 @@ module Control.Monad.IOSim
2323
-- * Simulation trace
2424
, type SimTrace
2525
, Trace (Cons, Nil, Trace, SimTrace, TraceMainReturn, TraceMainException, TraceDeadlock)
26-
, ppTrace
27-
, ppTrace_
28-
, ppEvents
2926
, SimResult (..)
3027
, SimEvent (..)
3128
, SimEventType (..)
3229
, ThreadLabel
3330
, Labelled (..)
31+
-- ** Pretty printers
32+
, ppTrace
33+
, ppTrace_
34+
, ppEvents
35+
, ppSimEvent
36+
-- ** Selectors
3437
, traceEvents
3538
, traceResult
39+
-- *** list selectors
3640
, selectTraceEvents
3741
, selectTraceEvents'
3842
, selectTraceEventsDynamic
3943
, selectTraceEventsDynamic'
4044
, selectTraceEventsSay
4145
, selectTraceEventsSay'
46+
-- *** trace selectors
4247
, traceSelectTraceEvents
4348
, traceSelectTraceEventsDynamic
4449
, traceSelectTraceEventsSay
50+
-- ** IO printer
4551
, printTraceEventsSay
4652
-- * Eventlog
4753
, EventlogEvent (..)

0 commit comments

Comments
 (0)