Small simplification of Resource.use

Author: chrilves

docs/api/resource.html

@@ -119,14 +119,11 @@ <h1 class="title">Module <code>raffiot.resource</code></h1>
 
         def safe_use(x: Tuple[A, IO[R, E, None]]) -&gt; IO[R, E, X]:
             a, close = x
-            try:
-                return (
-                    fun(a)
-                    .attempt()
-                    .flat_map(lambda r: close.attempt().then(io.from_result(r)))
-                )
-            except Exception as exception:
-                return close.attempt().then(io.panic(exception))
+            return (
+                io.defer_io(fun, a)
+                .attempt()
+                .flat_map(lambda r: close.attempt().then(io.from_result(r)))
+            )
 
         return self.create.flat_map(safe_use)
 
@@ -1257,14 +1254,11 @@ <h2 class="section-title" id="header-classes">Classes</h2>
 
         def safe_use(x: Tuple[A, IO[R, E, None]]) -&gt; IO[R, E, X]:
             a, close = x
-            try:
-                return (
-                    fun(a)
-                    .attempt()
-                    .flat_map(lambda r: close.attempt().then(io.from_result(r)))
-                )
-            except Exception as exception:
-                return close.attempt().then(io.panic(exception))
+            return (
+                io.defer_io(fun, a)
+                .attempt()
+                .flat_map(lambda r: close.attempt().then(io.from_result(r)))
+            )
 
         return self.create.flat_map(safe_use)
 
@@ -1857,14 +1851,11 @@ <h3>Methods</h3>
 
     def safe_use(x: Tuple[A, IO[R, E, None]]) -&gt; IO[R, E, X]:
         a, close = x
-        try:
-            return (
-                fun(a)
-                .attempt()
-                .flat_map(lambda r: close.attempt().then(io.from_result(r)))
-            )
-        except Exception as exception:
-            return close.attempt().then(io.panic(exception))
+        return (
+            io.defer_io(fun, a)
+            .attempt()
+            .flat_map(lambda r: close.attempt().then(io.from_result(r)))
+        )
 
     return self.create.flat_map(safe_use)</code></pre>
 </details>

docs/api/untyped/resource.html

@@ -107,14 +107,11 @@ <h1 class="title">Module <code>raffiot.untyped.resource</code></h1>
 
         def safe_use(x):
             a, close = x
-            try:
-                return (
-                    fun(a)
-                    .attempt()
-                    .flat_map(lambda r: close.attempt().then(io.from_result(r)))
-                )
-            except Exception as exception:
-                return close.attempt().then(io.panic(exception))
+            return (
+                io.defer_io(fun, a)
+                .attempt()
+                .flat_map(lambda r: close.attempt().then(io.from_result(r)))
+            )
 
         return self.create.flat_map(safe_use)
 
@@ -1208,14 +1205,11 @@ <h2 class="section-title" id="header-classes">Classes</h2>
 
         def safe_use(x):
             a, close = x
-            try:
-                return (
-                    fun(a)
-                    .attempt()
-                    .flat_map(lambda r: close.attempt().then(io.from_result(r)))
-                )
-            except Exception as exception:
-                return close.attempt().then(io.panic(exception))
+            return (
+                io.defer_io(fun, a)
+                .attempt()
+                .flat_map(lambda r: close.attempt().then(io.from_result(r)))
+            )
 
         return self.create.flat_map(safe_use)
 
@@ -1780,14 +1774,11 @@ <h3>Methods</h3>
 
     def safe_use(x):
         a, close = x
-        try:
-            return (
-                fun(a)
-                .attempt()
-                .flat_map(lambda r: close.attempt().then(io.from_result(r)))
-            )
-        except Exception as exception:
-            return close.attempt().then(io.panic(exception))
+        return (
+            io.defer_io(fun, a)
+            .attempt()
+            .flat_map(lambda r: close.attempt().then(io.from_result(r)))
+        )
 
     return self.create.flat_map(safe_use)</code></pre>
 </details>

raffiot/resource.py

@@ -88,14 +88,11 @@ def use(self, fun: Callable[[A], IO[R, E, X]]) -> IO[R, E, X]:
 
         def safe_use(x: Tuple[A, IO[R, E, None]]) -> IO[R, E, X]:
             a, close = x
-            try:
-                return (
-                    fun(a)
-                    .attempt()
-                    .flat_map(lambda r: close.attempt().then(io.from_result(r)))
-                )
-            except Exception as exception:
-                return close.attempt().then(io.panic(exception))
+            return (
+                io.defer_io(fun, a)
+                .attempt()
+                .flat_map(lambda r: close.attempt().then(io.from_result(r)))
+            )
 
         return self.create.flat_map(safe_use)