diff options
Diffstat (limited to 'src/act4e_solutions/sets_product.py')
-rw-r--r-- | src/act4e_solutions/sets_product.py | 15 |
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 |