# HG changeset patch # User Tuomo Valkonen # Date 1732309824 18000 # Node ID 4bc24abe77c5e65758148469f63282d08542b55e # Parent edb95d2b83ccb541d736e1742643068c95ef32f7 Add map to Logger diff -r edb95d2b83cc -r 4bc24abe77c5 src/logger.rs --- a/src/logger.rs Sun Nov 10 09:02:57 2024 -0500 +++ b/src/logger.rs Fri Nov 22 16:10:24 2024 -0500 @@ -28,6 +28,11 @@ pub fn data(&self) -> &Vec { &self.data } + + /// Map the log with `g`. + pub fn map(self, g : impl FnMut(V) -> W) -> Logger { + Logger { data : self.data.into_iter().map(g).collect() } + } } impl<'a, V : Serialize + 'a> TableDump<'a> for Logger {