github/typesafe-monads
1
0
Fork 0
mirror of https://github.com/correl/typesafe-monads.git synced 2025-04-05 09:12:36 -09:00
Code Issues Projects Releases Packages Wiki Activity

maybe it is ok

Browse source
This commit is contained in:
Samuele Reghenzi 2020-12-15 12:47:24 +01:00
parent ebf480b06a
commit 07cd9a1237
1 changed files with 5 additions and 2 deletions

7
monads/maybe.py
View file

@ -46,7 +46,8 @@ class Maybe(Monad[T]):
def mcons(acc: Maybe[List[T]], x: Maybe[T]) -> Maybe[List[T]]:
return acc.bind(lambda acc_: x.map(lambda x_: acc_ + [x_]))
empty: Maybe[List[T]] = cls.pure([])
empty_list: List[T] = []
empty: Maybe[List[T]] = Just(empty_list)
return functools.reduce(mcons, xs, empty)
def withDefault(self, default: T) -> T:
@ -85,8 +86,10 @@ class Maybe(Monad[T]):
else:
return Nothing()
def __and__(self, other: Maybe[Callable[[T], S]]) -> Maybe[S]: # pragma: no cover
return Maybe.apply(self, other)
__rshift__ = bind
__and__ = lambda other, self: Maybe.apply(self, other)
__mul__ = __rmul__ = map