@@ -71,7 +71,7 @@ emptyPerasWeightSnapshot = PerasWeightSnapshot Map.empty
71
71
--
72
72
-- >>> snap = mkPerasWeightSnapshot weights
73
73
-- >>> snap
74
- -- [(Origin,PerasWeight 3),(At (Block {blockPointSlot = SlotNo 2, blockPointHash = "foo"}),PerasWeight 4),(At (Block {blockPointSlot = SlotNo 3, blockPointHash = "bar"}),PerasWeight 2)]
74
+ -- [(Point Origin,PerasWeight 3),(Point ( At (Block {blockPointSlot = SlotNo 2, blockPointHash = "foo"})) ,PerasWeight 4),(Point ( At (Block {blockPointSlot = SlotNo 3, blockPointHash = "bar"}) ),PerasWeight 2)]
75
75
mkPerasWeightSnapshot ::
76
76
StandardHash blk =>
77
77
[(Point blk , PerasWeight )] ->
@@ -96,7 +96,7 @@ mkPerasWeightSnapshot =
96
96
--
97
97
-- >>> snap = mkPerasWeightSnapshot weights
98
98
-- >>> perasWeightSnapshotToList snap
99
- -- [(Origin,PerasWeight 3),(At (Block {blockPointSlot = SlotNo 2, blockPointHash = "foo"}),PerasWeight 4),(At (Block {blockPointSlot = SlotNo 3, blockPointHash = "bar"}),PerasWeight 2)]
99
+ -- [(Point Origin,PerasWeight 3),(Point ( At (Block {blockPointSlot = SlotNo 2, blockPointHash = "foo"})) ,PerasWeight 4),(Point ( At (Block {blockPointSlot = SlotNo 3, blockPointHash = "bar"}) ),PerasWeight 2)]
100
100
perasWeightSnapshotToList :: PerasWeightSnapshot blk -> [(Point blk , PerasWeight )]
101
101
perasWeightSnapshotToList = Map. toAscList . getPerasWeightSnapshot
102
102
@@ -113,15 +113,15 @@ perasWeightSnapshotToList = Map.toAscList . getPerasWeightSnapshot
113
113
--
114
114
-- >>> snap0 = mkPerasWeightSnapshot weights
115
115
-- >>> snap0
116
- -- [(Origin,PerasWeight 3),(At (Block {blockPointSlot = SlotNo 2, blockPointHash = "foo"}),PerasWeight 2)]
116
+ -- [(Point Origin,PerasWeight 3),(Point ( At (Block {blockPointSlot = SlotNo 2, blockPointHash = "foo"}) ),PerasWeight 2)]
117
117
--
118
118
-- >>> snap1 = addToPerasWeightSnapshot (BlockPoint 3 "bar") (PerasWeight 2) snap0
119
119
-- >>> snap1
120
- -- [(Origin,PerasWeight 3),(At (Block {blockPointSlot = SlotNo 2, blockPointHash = "foo"}),PerasWeight 2),(At (Block {blockPointSlot = SlotNo 3, blockPointHash = "bar"}),PerasWeight 2)]
120
+ -- [(Point Origin,PerasWeight 3),(Point ( At (Block {blockPointSlot = SlotNo 2, blockPointHash = "foo"})) ,PerasWeight 2),(Point ( At (Block {blockPointSlot = SlotNo 3, blockPointHash = "bar"}) ),PerasWeight 2)]
121
121
--
122
122
-- >>> snap2 = addToPerasWeightSnapshot (BlockPoint 2 "foo") (PerasWeight 2) snap1
123
123
-- >>> snap2
124
- -- [(Origin,PerasWeight 3),(At (Block {blockPointSlot = SlotNo 2, blockPointHash = "foo"}),PerasWeight 4),(At (Block {blockPointSlot = SlotNo 3, blockPointHash = "bar"}),PerasWeight 2)]
124
+ -- [(Point Origin,PerasWeight 3),(Point ( At (Block {blockPointSlot = SlotNo 2, blockPointHash = "foo"})) ,PerasWeight 4),(Point ( At (Block {blockPointSlot = SlotNo 3, blockPointHash = "bar"}) ),PerasWeight 2)]
125
125
addToPerasWeightSnapshot ::
126
126
StandardHash blk =>
127
127
Point blk ->
@@ -150,10 +150,10 @@ addToPerasWeightSnapshot pt weight =
150
150
-- >>> snap = mkPerasWeightSnapshot weights
151
151
--
152
152
-- >>> prunePerasWeightSnapshot (SlotNo 2) snap
153
- -- [(At (Block {blockPointSlot = SlotNo 2, blockPointHash = "foo"}),PerasWeight 4),(At (Block {blockPointSlot = SlotNo 3, blockPointHash = "bar"}),PerasWeight 2)]
153
+ -- [(Point ( At (Block {blockPointSlot = SlotNo 2, blockPointHash = "foo"})) ,PerasWeight 4),(Point ( At (Block {blockPointSlot = SlotNo 3, blockPointHash = "bar"}) ),PerasWeight 2)]
154
154
--
155
155
-- >>> prunePerasWeightSnapshot (SlotNo 3) snap
156
- -- [(At (Block {blockPointSlot = SlotNo 3, blockPointHash = "bar"}),PerasWeight 2)]
156
+ -- [(Point ( At (Block {blockPointSlot = SlotNo 3, blockPointHash = "bar"}) ),PerasWeight 2)]
157
157
prunePerasWeightSnapshot ::
158
158
SlotNo ->
159
159
PerasWeightSnapshot blk ->
0 commit comments