| Safe Haskell | None |
|---|---|
| Language | Haskell2010 |
Test.Consensus.PeerSimulator.Run
Synopsis
- data SchedulerConfig = SchedulerConfig {}
- debugScheduler ∷ SchedulerConfig → SchedulerConfig
- defaultSchedulerConfig ∷ SchedulerConfig
- runPointSchedule ∷ (IOLike m, All (Top ∷ Type → Constraint) (HardForkIndices blk), MonadTime m, MonadTimer m, ShowProxy blk, ShowProxy (Header blk), ConfigSupportsNode blk, LedgerSupportsProtocol blk, StateSupportsPerasEpochContext blk, SerialiseDiskConstraints blk, BlockSupportsDiffusionPipelining blk, BlockSupportsPeras blk, InspectLedger blk, ConvertRawHash blk, CanUpgradeLedgerTables LedgerState blk, HasPointScheduleTestParams blk, Eq (Header blk), Eq blk) ⇒ ProtocolInfoArgs blk → SchedulerConfig → GenesisTestFull blk → Tracer m (TraceEvent blk) → m (StateView blk)
Documentation
data SchedulerConfig Source #
Behavior config for the scheduler.
Constructors
| SchedulerConfig | |
Fields
| |
debugScheduler ∷ SchedulerConfig → SchedulerConfig Source #
Enable debug tracing during a scheduler test.
defaultSchedulerConfig ∷ SchedulerConfig Source #
Default scheduler config
runPointSchedule ∷ (IOLike m, All (Top ∷ Type → Constraint) (HardForkIndices blk), MonadTime m, MonadTimer m, ShowProxy blk, ShowProxy (Header blk), ConfigSupportsNode blk, LedgerSupportsProtocol blk, StateSupportsPerasEpochContext blk, SerialiseDiskConstraints blk, BlockSupportsDiffusionPipelining blk, BlockSupportsPeras blk, InspectLedger blk, ConvertRawHash blk, CanUpgradeLedgerTables LedgerState blk, HasPointScheduleTestParams blk, Eq (Header blk), Eq blk) ⇒ ProtocolInfoArgs blk → SchedulerConfig → GenesisTestFull blk → Tracer m (TraceEvent blk) → m (StateView blk) Source #
Construct STM resources, set up ChainSync and BlockFetch threads, and
send all ticks in a PointSchedule to all given peers in turn.