System.Timer

Utilities for timing various IO actions and grouping the times by dynamically generate labels.

Abstract Datatype

data Timer

A Timer is a (reference to) a map from Tag to a Double representing the total time associated with that Tag.

Create a Timer

create :: MonadIO m => m Timer

Create a new timer

Time an action

time :: MonadIO m => Timer -> Tag -> m a -> m a

Time a single action

Show results

result :: MonadIO m => Timer -> m [(Tag, Time)]

Output current results