Update to python3.8 (#1669)

* Update to python3.8

* Fix CI

Author: sobolevn

README.md

@@ -207,7 +207,7 @@ def view(request: HttpRequest) -> HttpResponse:
 
 # Somewhere in your `words_app/logic.py`:
 
-from typing_extensions import Protocol
+from typing import Protocol
 from returns.context import RequiresContext
 
 class _Deps(Protocol):  # we rely on abstractions, not direct values or types

docs/pages/context.rst

@@ -119,7 +119,7 @@ Let's see how our code changes:
 
   # Somewhere in your `words_app/logic.py`:
 
-  from typing_extensions import Protocol
+  from typing import Protocol
   from returns.context import RequiresContext
 
   class _Deps(Protocol):  # we rely on abstractions, not direct values or types

docs/pages/contrib/hypothesis_plugins.rst

@@ -105,8 +105,7 @@ but with ``__init__`` defined:
 
 .. code:: python
 
-  from typing import Callable, TypeVar
-  from typing_extensions import final
+  from typing import Callable, TypeVar, final
   from returns.interfaces.mappable import Mappable1
   from returns.primitives.container import BaseContainer
   from returns.primitives.hkt import SupportsKind1

docs/pages/create-your-own-container.rst

@@ -83,8 +83,7 @@ Let's look at the result:
 
 .. code: python
 
-  >>> from typing_extensions import final
-  >>> from typing import Callable, TypeVar, Tuple
+  >>> from typing import Callable, TypeVar, Tuple, final
 
   >>> from returns.interfaces import bindable, equable, lashable, swappable
   >>> from returns.primitives.container import BaseContainer

docs/pages/pointfree.rst

@@ -215,7 +215,7 @@ This inverse syntax lets us easily compose functions in a pipeline
   ...     return exit_code * 2
 
   >>> def make_error_message(exit_code: int) -> str:
-  ...     return f'Badness level: {exit_code}'
+  ...     return 'Badness level: {0}'.format(exit_code)
 
   >>> assert flow(
   ...     '12345',

returns/context/requires_context.py

@@ -1,8 +1,6 @@
 from __future__ import annotations
 
-from typing import TYPE_CHECKING, Any, Callable, ClassVar, TypeVar
-
-from typing_extensions import final
+from typing import TYPE_CHECKING, Any, Callable, ClassVar, TypeVar, final
 
 from returns.functions import identity
 from returns.future import FutureResult
@@ -153,7 +151,7 @@ def map(
     def apply(
         self,
         container: Kind2[
-            'RequiresContext',
+            RequiresContext,
             Callable[[_ReturnType], _NewReturnType],
             _EnvType,
         ],
@@ -177,7 +175,7 @@ def bind(
         self,
         function: Callable[
             [_ReturnType],
-            Kind2['RequiresContext', _NewReturnType, _EnvType],
+            Kind2[RequiresContext, _NewReturnType, _EnvType],
         ],
     ) -> RequiresContext[_NewReturnType, _EnvType]:
         """
@@ -355,7 +353,7 @@ def from_context(
     @classmethod
     def from_requires_context_result(
         cls,
-        inner_value: 'RequiresContextResult[_ValueType, _ErrorType, _EnvType]',
+        inner_value: RequiresContextResult[_ValueType, _ErrorType, _EnvType],
     ) -> RequiresContext[Result[_ValueType, _ErrorType], _EnvType]:
         """
         Typecasts ``RequiresContextResult`` to ``RequiresContext`` instance.
@@ -381,7 +379,7 @@ def from_requires_context_result(
     def from_requires_context_ioresult(
         cls,
         inner_value:
-            'RequiresContextIOResult[_ValueType, _ErrorType, _EnvType]',
+            RequiresContextIOResult[_ValueType, _ErrorType, _EnvType],
     ) -> RequiresContext[IOResult[_ValueType, _ErrorType], _EnvType]:
         """
         Typecasts ``RequiresContextIOResult`` to ``RequiresContext`` instance.
@@ -406,8 +404,9 @@ def from_requires_context_ioresult(
     @classmethod
     def from_requires_context_future_result(
         cls,
-        inner_value:
-            'RequiresContextFutureResult[_ValueType, _ErrorType, _EnvType]',
+        inner_value: RequiresContextFutureResult[
+            _ValueType, _ErrorType, _EnvType,
+        ],
     ) -> RequiresContext[FutureResult[_ValueType, _ErrorType], _EnvType]:
         """
         Typecasts ``RequiresContextIOResult`` to ``RequiresContext`` instance.

returns/context/requires_context_future_result.py

@@ -1,8 +1,14 @@
 from __future__ import annotations
 
-from typing import TYPE_CHECKING, Any, Awaitable, Callable, ClassVar, TypeVar
-
-from typing_extensions import final
+from typing import (
+    TYPE_CHECKING,
+    Any,
+    Awaitable,
+    Callable,
+    ClassVar,
+    TypeVar,
+    final,
+)
 
 from returns._internal.futures import _reader_future_result
 from returns.context import NoDeps
@@ -434,7 +440,7 @@ def bind_context(
         self,
         function: Callable[
             [_ValueType],
-            'RequiresContext[_NewValueType, _EnvType]',
+            RequiresContext[_NewValueType, _EnvType],
         ],
     ) -> RequiresContextFutureResult[_NewValueType, _ErrorType, _EnvType]:
         """
@@ -474,7 +480,7 @@ def bind_context_result(
         self,
         function: Callable[
             [_ValueType],
-            'RequiresContextResult[_NewValueType, _ErrorType, _EnvType]',
+            RequiresContextResult[_NewValueType, _ErrorType, _EnvType],
         ],
     ) -> RequiresContextFutureResult[_NewValueType, _ErrorType, _EnvType]:
         """
@@ -517,7 +523,7 @@ def bind_context_ioresult(
         self,
         function: Callable[
             [_ValueType],
-            'RequiresContextIOResult[_NewValueType, _ErrorType, _EnvType]',
+            RequiresContextIOResult[_NewValueType, _ErrorType, _EnvType],
         ],
     ) -> RequiresContextFutureResult[_NewValueType, _ErrorType, _EnvType]:
         """
@@ -1180,8 +1186,9 @@ def from_future_result(
     @classmethod
     def from_typecast(
         cls,
-        inner_value: 'RequiresContext['
-            'FutureResult[_NewValueType, _NewErrorType], _EnvType]',
+        inner_value: RequiresContext[
+            FutureResult[_NewValueType, _NewErrorType], _EnvType,
+        ],
     ) -> RequiresContextFutureResult[_NewValueType, _NewErrorType, _EnvType]:
         """
         You might end up with ``RequiresContext[FutureResult]`` as a value.
@@ -1217,7 +1224,7 @@ def from_typecast(
 
     @classmethod
     def from_context(
-        cls, inner_value: 'RequiresContext[_NewValueType, _NewEnvType]',
+        cls, inner_value: RequiresContext[_NewValueType, _NewEnvType],
     ) -> RequiresContextFutureResult[_NewValueType, Any, _NewEnvType]:
         """
         Creates new container from ``RequiresContext`` as a success unit.
@@ -1242,7 +1249,7 @@ def from_context(
 
     @classmethod
     def from_failed_context(
-        cls, inner_value: 'RequiresContext[_NewValueType, _NewEnvType]',
+        cls, inner_value: RequiresContext[_NewValueType, _NewEnvType],
     ) -> RequiresContextFutureResult[Any, _NewValueType, _NewEnvType]:
         """
         Creates new container from ``RequiresContext`` as a failure unit.
@@ -1268,8 +1275,9 @@ def from_failed_context(
     @classmethod
     def from_result_context(
         cls,
-        inner_value:
-            'RequiresContextResult[_NewValueType, _NewErrorType, _NewEnvType]',
+        inner_value: RequiresContextResult[
+            _NewValueType, _NewErrorType, _NewEnvType,
+        ],
     ) -> ReaderFutureResult[_NewValueType, _NewErrorType, _NewEnvType]:
         """
         Creates new container from ``RequiresContextResult`` as a unit value.
@@ -1303,7 +1311,7 @@ def from_result_context(
     def from_ioresult_context(
         cls,
         inner_value:
-            'ReaderIOResult[_NewValueType, _NewErrorType, _NewEnvType]',
+            ReaderIOResult[_NewValueType, _NewErrorType, _NewEnvType],
     ) -> ReaderFutureResult[_NewValueType, _NewErrorType, _NewEnvType]:
         """
         Creates new container from ``RequiresContextIOResult`` as a unit value.

returns/context/requires_context_ioresult.py

@@ -1,8 +1,6 @@
 from __future__ import annotations
 
-from typing import TYPE_CHECKING, Any, Callable, ClassVar, TypeVar
-
-from typing_extensions import final
+from typing import TYPE_CHECKING, Any, Callable, ClassVar, TypeVar, final
 
 from returns.context import NoDeps
 from returns.interfaces.specific import reader_ioresult
@@ -329,7 +327,7 @@ def bind_context(
         self,
         function: Callable[
             [_ValueType],
-            'RequiresContext[_NewValueType, _EnvType]',
+            RequiresContext[_NewValueType, _EnvType],
         ],
     ) -> RequiresContextIOResult[_NewValueType, _ErrorType, _EnvType]:
         """
@@ -364,7 +362,7 @@ def bind_context_result(
         self,
         function: Callable[
             [_ValueType],
-            'RequiresContextResult[_NewValueType, _ErrorType, _EnvType]',
+            RequiresContextResult[_NewValueType, _ErrorType, _EnvType],
         ],
     ) -> RequiresContextIOResult[_NewValueType, _ErrorType, _EnvType]:
         """
@@ -756,8 +754,9 @@ def from_ioresult_context(
     @classmethod
     def from_typecast(
         cls,
-        inner_value:
-            'RequiresContext[IOResult[_NewValueType, _NewErrorType], _EnvType]',
+        inner_value: RequiresContext[
+            IOResult[_NewValueType, _NewErrorType], _EnvType,
+        ],
     ) -> RequiresContextIOResult[_NewValueType, _NewErrorType, _EnvType]:
         """
         You might end up with ``RequiresContext[IOResult]`` as a value.
@@ -785,7 +784,7 @@ def from_typecast(
 
     @classmethod
     def from_context(
-        cls, inner_value: 'RequiresContext[_NewValueType, _NewEnvType]',
+        cls, inner_value: RequiresContext[_NewValueType, _NewEnvType],
     ) -> RequiresContextIOResult[_NewValueType, Any, _NewEnvType]:
         """
         Creates new container from ``RequiresContext`` as a success unit.
@@ -806,7 +805,7 @@ def from_context(
 
     @classmethod
     def from_failed_context(
-        cls, inner_value: 'RequiresContext[_NewValueType, _NewEnvType]',
+        cls, inner_value: RequiresContext[_NewValueType, _NewEnvType],
     ) -> RequiresContextIOResult[Any, _NewValueType, _NewEnvType]:
         """
         Creates new container from ``RequiresContext`` as a failure unit.
@@ -828,8 +827,9 @@ def from_failed_context(
     @classmethod
     def from_result_context(
         cls,
-        inner_value:
-            'RequiresContextResult[_NewValueType, _NewErrorType, _NewEnvType]',
+        inner_value: RequiresContextResult[
+            _NewValueType, _NewErrorType, _NewEnvType,
+        ],
     ) -> RequiresContextIOResult[_NewValueType, _NewErrorType, _NewEnvType]:
         """
         Creates new container from ``RequiresContextResult`` as a unit value.

returns/context/requires_context_result.py

@@ -1,8 +1,6 @@
 from __future__ import annotations
 
-from typing import TYPE_CHECKING, Any, Callable, ClassVar, TypeVar
-
-from typing_extensions import final
+from typing import TYPE_CHECKING, Any, Callable, ClassVar, TypeVar, final
 
 from returns.context import NoDeps
 from returns.interfaces.specific import reader_result
@@ -307,7 +305,7 @@ def bind_context(
         self,
         function: Callable[
             [_ValueType],
-            'RequiresContext[_NewValueType, _EnvType]',
+            RequiresContext[_NewValueType, _EnvType],
         ],
     ) -> RequiresContextResult[_NewValueType, _ErrorType, _EnvType]:
         """
@@ -481,8 +479,9 @@ def from_result(
     @classmethod
     def from_typecast(
         cls,
-        inner_value:
-            'RequiresContext[Result[_NewValueType, _NewErrorType], _EnvType]',
+        inner_value: RequiresContext[
+            Result[_NewValueType, _NewErrorType], _EnvType,
+        ],
     ) -> RequiresContextResult[_NewValueType, _NewErrorType, _EnvType]:
         """
         You might end up with ``RequiresContext[Result[...]]`` as a value.
@@ -510,7 +509,7 @@ def from_typecast(
 
     @classmethod
     def from_context(
-        cls, inner_value: 'RequiresContext[_NewValueType, _NewEnvType]',
+        cls, inner_value: RequiresContext[_NewValueType, _NewEnvType],
     ) -> RequiresContextResult[_NewValueType, Any, _NewEnvType]:
         """
         Creates new container from ``RequiresContext`` as a success unit.
@@ -528,7 +527,7 @@ def from_context(
 
     @classmethod
     def from_failed_context(
-        cls, inner_value: 'RequiresContext[_NewValueType, _NewEnvType]',
+        cls, inner_value: RequiresContext[_NewValueType, _NewEnvType],
     ) -> RequiresContextResult[Any, _NewValueType, _NewEnvType]:
         """
         Creates new container from ``RequiresContext`` as a failure unit.
@@ -547,8 +546,9 @@ def from_failed_context(
     @classmethod
     def from_result_context(
         cls,
-        inner_value:
-            RequiresContextResult[_NewValueType, _NewErrorType, _NewEnvType],
+        inner_value: RequiresContextResult[
+            _NewValueType, _NewErrorType, _NewEnvType,
+        ],
     ) -> RequiresContextResult[_NewValueType, _NewErrorType, _NewEnvType]:
         """
         Creates ``RequiresContextResult`` from another instance of it.

returns/contrib/hypothesis/containers.py

@@ -1,6 +1,6 @@
 from __future__ import annotations
 
-from typing import TYPE_CHECKING, Any, Callable, List, Type, TypeVar
+from typing import TYPE_CHECKING, Any, Callable, TypeVar
 
 from hypothesis import strategies as st
 
@@ -9,7 +9,7 @@
 
 
 def strategy_from_container(
-    container_type: Type['Lawful'],
+    container_type: type[Lawful],
     *,
     use_init: bool = False,
 ) -> Callable[[type], st.SearchStrategy]:
@@ -37,7 +37,7 @@ def strategy_from_container(
     def factory(type_: type) -> st.SearchStrategy:
         value_type, error_type = _get_type_vars(type_)
 
-        strategies: List[st.SearchStrategy[Any]] = []
+        strategies: list[st.SearchStrategy[Any]] = []
         if use_init and getattr(container_type, '__init__', None):
             strategies.append(st.builds(container_type))
         if issubclass(container_type, ApplicativeN):

returns/contrib/hypothesis/laws.py

@@ -9,14 +9,14 @@
     Optional,
     Type,
     TypeVar,
+    final,
 )
 
 import pytest
 from hypothesis import given
 from hypothesis import settings as hypothesis_settings
 from hypothesis import strategies as st
 from hypothesis.strategies._internal import types
-from typing_extensions import final
 
 from returns.contrib.hypothesis.containers import strategy_from_container
 from returns.primitives.laws import Law, Lawful

returns/contrib/mypy/_consts.py

@@ -1,4 +1,4 @@
-from typing_extensions import Final
+from typing import Final
 
 # Constant fullnames for typechecking
 # ===================================

returns/contrib/mypy/_features/curry.py

@@ -1,13 +1,12 @@
 from itertools import groupby, product
 from operator import itemgetter
-from typing import Iterator, List, Optional, Tuple, cast
+from typing import Iterator, List, Optional, Tuple, cast, final
 
 from mypy.nodes import ARG_STAR, ARG_STAR2
 from mypy.plugin import FunctionContext
 from mypy.types import AnyType, CallableType, FunctionLike, Overloaded
 from mypy.types import Type as MypyType
 from mypy.types import TypeOfAny
-from typing_extensions import final
 
 from returns.contrib.mypy._structures.args import FuncArg
 from returns.contrib.mypy._typeops.transform_callable import (