Closes #133

Author: sobolevn

CHANGELOG.md

@@ -20,6 +20,7 @@ See (0Ver)[https://0ver.org/].
 - Now all methods have doctests
 - Updates docs about `Success` and `_Success`, `Failure` and `_Failure`
 - Updates docs about `@pipeline`
+- Typechecks async functions and decorators inside `typesafety/` tests
 
 
 ## 0.10.0

typesafety/test_io_types/test_impure.yml

@@ -10,6 +10,18 @@
     reveal_type(test)  # N: Revealed type is 'def () -> returns.io.IO[builtins.int*]'
 
 
+- case: impure_async_decorator_no_params
+  disable_cache: true
+  main: |
+    from returns.io import impure
+
+    @impure
+    async def test() -> int:
+        return 1
+
+    reveal_type(test)  # N: Revealed type is 'def () -> typing.Coroutine[Any, Any, returns.io.IO[builtins.int*]]'
+
+
 - case: impure_composition_no_params
   disable_cache: true
   main: |

typesafety/test_maybe_types/test_maybe_decorator.yml

@@ -96,6 +96,19 @@
     reveal_type(test)  # N: Revealed type is 'def () -> returns.maybe.Maybe[builtins.int*]'
 
 
+- case: maybe_async_decorator_with_optional
+  disable_cache: true
+  main: |
+    from typing import Optional
+    from returns.maybe import maybe
+
+    @maybe
+    async def test() -> Optional[int]:
+        return 1
+
+    reveal_type(test)  # N: Revealed type is 'def () -> typing.Coroutine[Any, Any, returns.maybe.Maybe[builtins.int*]]'
+
+
 - case: maybe_multiple_decorators
   disable_cache: true
   main: |

typesafety/test_pipeline/test_pipeline.yml

@@ -11,6 +11,19 @@
     reveal_type(returns_result("a"))  # N: Revealed type is 'returns.result.Result[builtins.int, builtins.str]'
 
 
+- case: result_async_pipeline
+  disable_cache: true
+  main: |
+    from returns.pipeline import pipeline
+    from returns.result import Result
+
+    @pipeline
+    async def returns_result(arg: str) -> Result[int, str]:
+        ...
+
+    reveal_type(returns_result("a"))  # N: Revealed type is 'typing.Coroutine[Any, Any, returns.result.Result[builtins.int, builtins.str]]'
+
+
 - case: maybe_pipeline
   disable_cache: true
   main: |
@@ -22,3 +35,16 @@
         ...
 
     reveal_type(returns_result("a"))  # N: Revealed type is 'returns.maybe.Maybe[builtins.int]'
+
+
+- case: maybe_async_pipeline
+  disable_cache: true
+  main: |
+    from returns.pipeline import pipeline
+    from returns.maybe import Maybe
+
+    @pipeline
+    async def returns_result(arg: str) -> Maybe[int]:
+        ...
+
+    reveal_type(returns_result("a"))  # N: Revealed type is 'typing.Coroutine[Any, Any, returns.maybe.Maybe[builtins.int]]'

typesafety/test_result/test_safe.yml

@@ -10,6 +10,18 @@
     reveal_type(test)  # N: Revealed type is 'def () -> returns.result.Result[builtins.int*, builtins.Exception]'
 
 
+- case: safe_async_decorator_no_params
+  disable_cache: true
+  main: |
+    from returns.result import safe
+
+    @safe
+    async def test() -> int:
+        return 1
+
+    reveal_type(test)  # N: Revealed type is 'def () -> typing.Coroutine[Any, Any, returns.result.Result[builtins.int*, builtins.Exception]]'
+
+
 - case: safe_composition_no_params
   disable_cache: true
   main: |