| Safe Haskell | None |
|---|---|
| Language | Haskell2010 |
Test.ThreadNet.Util.NodeRestarts
Synopsis
- data NodeRestart
- newtype NodeRestarts = NodeRestarts (Map SlotNo (Map CoreNodeId NodeRestart))
- genNodeRestarts ∷ NodeJoinPlan → NumSlots → Gen NodeRestarts
- noRestarts ∷ NodeRestarts
- shrinkNodeRestarts ∷ NodeRestarts → [NodeRestarts]
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
| Eq NodeRestart Source # | |
Defined in Test.ThreadNet.Util.NodeRestarts Methods (==) ∷ NodeRestart → NodeRestart → Bool Source # (/=) ∷ NodeRestart → NodeRestart → Bool Source # | |
| Ord NodeRestart Source # | |
Defined in Test.ThreadNet.Util.NodeRestarts Methods compare ∷ NodeRestart → NodeRestart → Ordering Source # (<) ∷ NodeRestart → NodeRestart → Bool Source # (<=) ∷ NodeRestart → NodeRestart → Bool Source # (>) ∷ NodeRestart → NodeRestart → Bool Source # (>=) ∷ NodeRestart → NodeRestart → Bool Source # max ∷ NodeRestart → NodeRestart → NodeRestart Source # min ∷ NodeRestart → NodeRestart → NodeRestart Source # | |
| Show NodeRestart Source # | |
Defined in Test.ThreadNet.Util.NodeRestarts | |
| 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
| Eq NodeRestarts Source # | |
Defined in Test.ThreadNet.Util.NodeRestarts Methods (==) ∷ NodeRestarts → NodeRestarts → Bool Source # (/=) ∷ NodeRestarts → NodeRestarts → Bool Source # | |
| Show 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