"Result" monad's "Left" and "Right" types are reversed
mikepii opened this issue · 3 comments
mikepii commented
Result is defined as:
jsonrpcserver/jsonrpcserver/result.py
Line 34 in f489ed8
However, the runtime values are reversed:
jsonrpcserver/jsonrpcserver/dispatcher.py
Lines 105 to 114 in f489ed8
Therefore mypy complains if users type their methods with -> Result.
bcb commented
Are you able to send a PR for this?
bcb commented
Otherwise I can do it later today.
Thanks for reporting by the way.
mikepii commented
sure, I'll send a PR