| Safe Haskell | Safe-Inferred |
|---|---|
| Language | Haskell2010 |
Test.ThreadNet.Util.NodeRestarts
Synopsis
Documentation
data NodeRestart Source #
Constructors
| NodeRekey | restart the node with a fresh operational key and immediately emit a delegation certificate transaction |
| NodeRestart | restart the node without rekeying |
Instances
| Show NodeRestart Source # | |
Defined in Test.ThreadNet.Util.NodeRestarts Methods showsPrec ∷ Int → NodeRestart → ShowS # show ∷ NodeRestart → String # showList ∷ [NodeRestart] → ShowS # | |
| Eq NodeRestart Source # | |
Defined in Test.ThreadNet.Util.NodeRestarts | |
| Ord NodeRestart Source # | |
Defined in Test.ThreadNet.Util.NodeRestarts Methods compare ∷ NodeRestart → NodeRestart → Ordering # (<) ∷ NodeRestart → NodeRestart → Bool # (<=) ∷ NodeRestart → NodeRestart → Bool # (>) ∷ NodeRestart → NodeRestart → Bool # (>=) ∷ NodeRestart → NodeRestart → Bool # max ∷ NodeRestart → NodeRestart → NodeRestart # min ∷ NodeRestart → NodeRestart → NodeRestart # | |
| Condense NodeRestart Source # | |
Defined in Test.ThreadNet.Util.NodeRestarts Methods condense ∷ NodeRestart → String Source # | |
newtype NodeRestarts Source #
Which nodes are scheduled to restart in each slot
INVARIANT no element Map is empty
Constructors
| NodeRestarts (Map SlotNo (Map CoreNodeId NodeRestart)) |
Instances
| Show NodeRestarts Source # | |
Defined in Test.ThreadNet.Util.NodeRestarts Methods showsPrec ∷ Int → NodeRestarts → ShowS # show ∷ NodeRestarts → String # showList ∷ [NodeRestarts] → ShowS # | |
| Eq NodeRestarts Source # | |
Defined in Test.ThreadNet.Util.NodeRestarts | |
| Condense NodeRestarts Source # | |
Defined in Test.ThreadNet.Util.NodeRestarts Methods | |
genNodeRestarts ∷ NodeJoinPlan → NumSlots → Gen NodeRestarts Source #
Generate a valid NodeRestarts
POSTCONDITION will not restart a node before it joins
POSTCONDITION will not restart a node when it's scheduled to lead *according* *to* *round-robin*
POSTCONDITION will not simultaneously restart all nodes that have previously joined