diff options
author | Ben Gamari <ben@smart-cactus.org> | 2019-07-01 22:45:17 -0400 |
---|---|---|
committer | Ben Gamari <ben@well-typed.com> | 2019-07-18 20:55:11 -0400 |
commit | 272246bf137a30886f6bed676dc4edf9d0f493ba (patch) | |
tree | 851ccaafeaf5ee3c811c59988abdcf9bb2ca9e17 /testsuite/driver/my_typing.py | |
parent | d48da6fff8125ed5cbb5be7740556fed13fe1bb3 (diff) | |
download | haskell-272246bf137a30886f6bed676dc4edf9d0f493ba.tar.gz |
testsuite: More type checking fixes
Diffstat (limited to 'testsuite/driver/my_typing.py')
-rw-r--r-- | testsuite/driver/my_typing.py | 5 |
1 files changed, 5 insertions, 0 deletions
diff --git a/testsuite/driver/my_typing.py b/testsuite/driver/my_typing.py index aeedc0f33d..d444f11af1 100644 --- a/testsuite/driver/my_typing.py +++ b/testsuite/driver/my_typing.py @@ -43,3 +43,8 @@ GitHash = NewType("GitHash", str) GitRef = NewType("GitRef", str) TestEnv = NewType("TestEnv", str) MetricName = NewType("MetricName", str) + +MetricBaselineOracle = Callable[[WayName, GitHash], Optional[float]] +MetricDeviationOracle = Callable[[WayName, GitHash], Optional[float]] +MetricOracles = NamedTuple("MetricOracles", [("baseline", MetricBaselineOracle), + ("deviation", MetricDeviationOracle)]) |