Instrument.Counter
data Counter Source #
newCounter :: IO Counter Source #
readCounter :: Counter -> IO Integer Source #
Reads current counter value
resetCounter :: Counter -> IO Integer Source #
Reset the counter while reading it
add :: Int -> Counter -> IO () Source #
increment :: Counter -> IO () Source #