Stabilizes build

Author: sobolevn

.gitignore

@@ -199,3 +199,4 @@ fabric.properties
 ### Custom ###
 ex.py
 .vscode/tags
+.pyre

docs/pages/io.rst

@@ -338,6 +338,21 @@ If the value is fetched, input, received, selected, than use ``IO`` container.
 
 Most web applications are just covered with ``IO``.
 
+How to create unit object for IOResult?
+~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~
+
+*TLDR*: you need to explicitly annotate values like so:
+
+.. code:: python
+
+  >>> from returns.io import IOResult, IOSuccess, IOFailure
+  >>> first: IOResult[int, str] = IOSuccess(1)
+  >>> second: IOResult[float, int] = IOFailure(1)
+
+Otherwise, ``mypy`` won't be able to typecheck your code.
+
+See :ref:`result-units` for more details.
+
 Why IO should be at the top level of composition?
 ~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~
 

docs/pages/result.rst

@@ -90,6 +90,8 @@ This happens due to `mypy issue <https://github.com/python/mypy/issues/3157>`_.
 FAQ
 ---
 
+.. _result-units:
+
 How to create unit objects?
 ~~~~~~~~~~~~~~~~~~~~~~~~~~~
 

returns/io.py

@@ -588,7 +588,7 @@ def from_result(
 
     def __str__(self) -> str:
         """Custom ``str`` representation for better readability."""
-        return '<IOResult: {0}'.format(self._inner_value)
+        return '<IOResult: {0}>'.format(self._inner_value)
 
 
 @final
@@ -691,7 +691,7 @@ def IOFailure(  # noqa: N802
 
       >>> from returns.io import IOFailure
       >>> str(IOFailure(1))
-      '<IOResult: <Failure: 1>>'§
+      '<IOResult: <Failure: 1>>'
 
     """
     return _IOFailure(Failure(inner_value))

returns/result.py

@@ -335,7 +335,7 @@ def failure(self):
 
 
 @final
-class _Success(Result[_ValueType, Any]):
+class _Success(Result[_ValueType, _ErrorType]):
     """
     Represents a calculation which has succeeded and contains the result.
 

tests/test_io/test_ioresult_container/test_ioresult_bind.py

@@ -15,8 +15,6 @@ def factory(inner_value: int) -> IOResult[int, str]:
     bound: IOResult[int, str] = IOSuccess(input_value)
 
     assert bound.bind(factory) == factory(input_value)
-    assert IOSuccess(input_value).bind(factory) == factory(input_value)
-    assert IOSuccess('a').bind(factory) == factory('a')
     assert str(bound.bind(factory)) == '<IOResult: <Success: 10>>'
 
     input_value = 0
@@ -55,9 +53,13 @@ def factory(inner_value: int) -> Result[int, str]:
             return Success(inner_value + 1)
         return Failure('nope')
 
-    assert IOSuccess(1).bind_result(factory) == IOSuccess(2)
-    assert IOSuccess(0).bind_result(factory) == IOFailure('nope')
-    assert IOFailure('a').bind_result(factory) == IOFailure('a')
+    first: IOResult[int, str] = IOSuccess(1)
+    second: IOResult[int, str] = IOSuccess(0)
+    third: IOResult[int, str] = IOFailure('a')
+
+    assert first.bind_result(factory) == IOSuccess(2)
+    assert second.bind_result(factory) == IOFailure('nope')
+    assert third.bind_result(factory) == IOFailure('a')
 
 
 def test_rescue_success():

tests/test_result/test_result_bind.py

@@ -14,7 +14,6 @@ def factory(inner_value: int) -> Result[int, str]:
     bound: Result[int, str] = Success(input_value)
 
     assert bound.bind(factory) == factory(input_value)
-    assert Success(input_value) == factory(input_value)
     assert str(bound.bind(factory)) == '<Success: 10>'
 
     input_value = 0
@@ -55,6 +54,7 @@ def factory(inner_value: int) -> Result[int, int]:
     bound: Result[int, int] = Failure(input_value)
 
     assert bound.bind(factory) == Failure(input_value)
+    assert Failure(input_value).bind(factory) == Failure(5)
     assert bound.unify(factory) == Failure(input_value)
     assert str(bound) == '<Failure: 5>'
 
@@ -67,6 +67,7 @@ def factory(inner_value) -> Result[int, str]:
     bound = Success(5).rescue(factory)
 
     assert bound == Success(5)
+    assert Success(5).rescue(factory) == Success(5)
     assert str(bound) == '<Success: 5>'