From 3bb42870c19a5c80925219e2a410eb99d5eabab1 Mon Sep 17 00:00:00 2001 From: Andrea Censi Date: Tue, 22 Feb 2022 20:01:52 +0100 Subject: more comments --- src/act4e_solutions/maps.py | 8 +++++--- 1 file changed, 5 insertions(+), 3 deletions(-) (limited to 'src/act4e_solutions/maps.py') diff --git a/src/act4e_solutions/maps.py b/src/act4e_solutions/maps.py index 4984eef..acba84e 100644 --- a/src/act4e_solutions/maps.py +++ b/src/act4e_solutions/maps.py @@ -10,14 +10,16 @@ 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() + raise NotImplementedError() # implement here + + # def compose(self, f: I.FiniteMap[A, B], g: I.FiniteMap[B, C]) -> I.FiniteMap[A, C]: raise NotImplementedError() -- cgit v1.2.1