summaryrefslogtreecommitdiffstats
path: root/src/act4e_solutions/sets_product.py
diff options
context:
space:
mode:
Diffstat (limited to 'src/act4e_solutions/sets_product.py')
-rw-r--r--src/act4e_solutions/sets_product.py15
1 files changed, 4 insertions, 11 deletions
diff --git a/src/act4e_solutions/sets_product.py b/src/act4e_solutions/sets_product.py
index f81f3fe..bdba104 100644
--- a/src/act4e_solutions/sets_product.py
+++ b/src/act4e_solutions/sets_product.py
@@ -1,18 +1,11 @@
-from typing import Any, overload, Sequence, TypeVar
+from typing import Any, Sequence, TypeVar
import act4e_interfaces as I
X = TypeVar("X")
-class SolMakeSetProduct(I.MakeSetProduct):
- @overload
- def product(self, components: Sequence[I.FiniteSet[X]]) -> I.FiniteSetProduct[X, Any]:
- ... # this is just a type declaration - do not implement
-
- @overload
- def product(self, components: Sequence[I.Setoid[X]]) -> I.SetProduct[X, Any]:
- ... # this is just a type declaration - do not implement
+class SolFiniteMakeSetProduct(I.FiniteMakeSetProduct):
- def product(self, components: Sequence[I.Setoid[X]]) -> I.SetProduct[X, Any]:
- raise NotImplementedError() # implement here
+ def product(self, components: Sequence[I.FiniteSet[X]]) -> I.FiniteSetProduct[X, Any]:
+ raise NotImplementedError() # implement here