2018-10-11 05:26:00 +00:00
|
|
|
from __future__ import annotations
|
|
|
|
|
from typing import Any, Callable, Generic, TypeVar
|
|
|
|
|
|
2018-10-12 18:09:16 +00:00
|
|
|
from .applicative import Applicative
|
2018-10-11 05:26:00 +00:00
|
|
|
from .functor import Functor
|
|
|
|
|
|
|
|
|
|
T = TypeVar("T")
|
|
|
|
|
S = TypeVar("S")
|
|
|
|
|
|
|
|
|
|
|
2018-10-12 18:09:16 +00:00
|
|
|
class Monad(Applicative[T]):
|
2018-10-11 05:26:00 +00:00
|
|
|
# FIXME: Callable return type set to Any, as the proper value
|
|
|
|
|
# (Monad[S]) is reported as incompatible with subclass
|
|
|
|
|
# implementations due to a flaw in mypy:
|
|
|
|
|
# https://github.com/python/mypy/issues/1317
|
|
|
|
|
def bind(self, function: Callable[[T], Any]) -> Monad[S]:
|
|
|
|
|
raise NotImplementedError
|
