summaryrefslogtreecommitdiffstats
path: root/src/act4e_solutions/maps.py
diff options
context:
space:
mode:
Diffstat (limited to 'src/act4e_solutions/maps.py')
-rw-r--r--src/act4e_solutions/maps.py13
1 files changed, 2 insertions, 11 deletions
diff --git a/src/act4e_solutions/maps.py b/src/act4e_solutions/maps.py
index 8f161f4..aff881f 100644
--- a/src/act4e_solutions/maps.py
+++ b/src/act4e_solutions/maps.py
@@ -1,4 +1,4 @@
-from typing import overload, TypeVar
+from typing import TypeVar
import act4e_interfaces as I
@@ -8,18 +8,9 @@ C = TypeVar("C")
class SolFiniteMapOperations(I.FiniteMapOperations):
- @overload
- def identity(self, s: I.FiniteSet[A]) -> I.FiniteMap[A, A]:
- ... # this is just a type declaration - do not implement
- @overload
def identity(self, s: I.Setoid[A]) -> I.Mapping[A, A]:
- ... # this is just a type declaration - do not implement
-
- def identity(self, s: I.Setoid[A]) -> I.Mapping[A, A]:
- raise NotImplementedError() # implement here
-
- #
+ raise NotImplementedError()
def compose(self, f: I.FiniteMap[A, B], g: I.FiniteMap[B, C]) -> I.FiniteMap[A, C]:
raise NotImplementedError()