more precise timer summary (#113)

* fix: use all timers in summary

* fix: lint

* chore: lint

Author: banteg

devtools/timer.py

@@ -1,10 +1,10 @@
-from time import time
+from time import perf_counter
 
 __all__ = ('Timer',)
 
 MYPY = False
 if MYPY:
-    from typing import Any, List, Optional, Set
+    from typing import Any, List, Optional
 
 # required for type hinting because I (stupidly) added methods called `str`
 StrType = str
@@ -15,10 +15,10 @@ def __init__(self, name: 'Optional[str]' = None, verbose: bool = True) -> None:
         self._name = name
         self.verbose = verbose
         self.finish: 'Optional[float]' = None
-        self.start = time()
+        self.start = perf_counter()
 
     def capture(self) -> None:
-        self.finish = time()
+        self.finish = perf_counter()
 
     def elapsed(self) -> float:
         if self.finish:
@@ -66,14 +66,14 @@ def capture(self, verbose: 'Optional[bool]' = None) -> 'TimerResult':
             print(r.str(self.dp), file=self.file, flush=True)
         return r
 
-    def summary(self, verbose: bool = False) -> 'Set[float]':
-        times = set()
+    def summary(self, verbose: bool = False) -> 'List[float]':
+        times = []
         for r in self.results:
             if not r.finish:
                 r.capture()
             if verbose:
                 print(f'    {r.str(self.dp)}', file=self.file)
-            times.add(r.elapsed())
+            times.append(r.elapsed())
 
         if times:
             from statistics import mean, stdev