Version 0.5.2

Tried to make mypy less unhappy.

Author: chrilves

conda/env.yml

@@ -10,5 +10,7 @@ dependencies:
   - conda-build
   - black
   - pip
+  - lxml
+  - mypy
   - pip:
     - strip-hints

conda/raffiot/meta.yaml

@@ -1,5 +1,5 @@
 {% set name = "raffiot" %}
-{% set version = "0.5.1" %}
+{% set version = "0.5.2" %}
 
 package:
   name: "{{ name|lower }}"

docs/api/index.html

@@ -35,7 +35,7 @@ <h1 class="title">Module <code>raffiot.result</code></h1>
 
 from collections import abc
 from dataclasses import dataclass
-from typing import TypeVar, Generic, Callable, Any, List, Iterable, Tuple
+from typing import TypeVar, Generic, Callable, Any, List, Iterable, Union
 
 from typing_extensions import final
 
@@ -146,7 +146,7 @@ <h1 class="title">Module <code>raffiot.result</code></h1>
             return on_error(self.errors)
         if isinstance(self, Panic):
             return on_panic(self.exceptions, self.errors)
-        raise on_panic([MatchError(f&#34;{self} should be a Result&#34;)])
+        raise on_panic([MatchError(f&#34;{self} should be a Result&#34;)], [])
 
     @final
     @safe
@@ -220,7 +220,7 @@ <h1 class="title">Module <code>raffiot.result</code></h1>
         &#34;&#34;&#34;
         if isinstance(self, Ok):
             return f(self.success)
-        return self
+        return self  # type: ignore
 
     @final
     @safe
@@ -306,7 +306,7 @@ <h1 class="title">Module <code>raffiot.result</code></h1>
         &#34;&#34;&#34;
         if isinstance(self, Ok):
             return Ok(f(self.success))
-        return self
+        return self  # type: ignore
 
     @final
     @safe
@@ -319,15 +319,15 @@ <h1 class="title">Module <code>raffiot.result</code></h1>
         return self.unsafe_map(f)
 
     @final
-    def zip(self: Result[E, A], *arg: Result[E, X]) -&gt; Result[E, List[A]]:
+    def zip(self: Result[E, A], *arg: Result[E, A]) -&gt; Result[E, List[A]]:
         &#34;&#34;&#34;
         Transform a list of Result (including self) into a Result of list.
 
         Is Ok is all results are Ok.
         Is Errors some are Ok, but at least one is an errors but no panics.
         Is Panic is there is at least one panic.
         &#34;&#34;&#34;
-        return zip((self, *arg))
+        return zip((self, *arg))  # type: ignore
 
     @final
     def unsafe_ap(
@@ -340,7 +340,7 @@ <h1 class="title">Module <code>raffiot.result</code></h1>
         and arg represent a computation returning a value `x1: X1`,...,`xn: Xn`, then
         `self.ap(arg)` represents the computation returning `f(x1,...,xn): A`.
         &#34;&#34;&#34;
-        return zip((self, *arg)).unsafe_map(lambda l: l[0](*l[1:]))
+        return zip((self, *arg)).unsafe_map(lambda l: l[0](*l[1:]))  # type: ignore
 
     @final
     @safe
@@ -352,7 +352,7 @@ <h1 class="title">Module <code>raffiot.result</code></h1>
         and arg represent computations returning values `x1: X1`,...,`xn: Xn` then
         `self.ap(arg)` represents the computation returning `f(x1,...,xn): A`.
         &#34;&#34;&#34;
-        return self.unsafe_ap(*arg)
+        return self.unsafe_ap(*arg)  # type: ignore
 
     @final
     def flatten(self: Result[E, Result[E, A]]) -&gt; Result[E, A]:
@@ -361,7 +361,7 @@ <h1 class="title">Module <code>raffiot.result</code></h1>
         &#34;&#34;&#34;
         if isinstance(self, Ok):
             return self.success
-        return self
+        return self  # type: ignore
 
     @final
     def unsafe_map_error(self, f: Callable[[E], E2]) -&gt; Result[E2, A]:
@@ -398,7 +398,7 @@ <h1 class="title">Module <code>raffiot.result</code></h1>
 
     @final
     @safe
-    def catch(self, handler: Callable[[E], Result[List[E], A]]) -&gt; Result[E, A]:
+    def catch(self, handler: Callable[[List[E]], Result[E, A]]) -&gt; Result[E, A]:
         &#34;&#34;&#34;
         React to errors (the except part of a try-except).
 
@@ -579,7 +579,7 @@ <h1 class="title">Module <code>raffiot.result</code></h1>
     return Panic(exceptions=list(exceptions), errors=list(errors) if errors else [])
 
 
-def zip(*l: Iterable[Result[E, A]]) -&gt; Result[E, List[A]]:
+def zip(*l: Result[E, A]) -&gt; Result[E, List[A]]:
     &#34;&#34;&#34;
     Combine a list of `Result`.
 
@@ -618,7 +618,7 @@ <h1 class="title">Module <code>raffiot.result</code></h1>
     return Ok(values)
 
 
-def sequence(*l: Iterable[Result[E, A]]) -&gt; Result[List[E], A]:
+def sequence(*l: Union[Iterable[Result[E, A]], Result[E, A]]) -&gt; Result[E, A]:
     &#34;&#34;&#34;
     Combine a list of `Result`.
 
@@ -632,7 +632,7 @@ <h1 class="title">Module <code>raffiot.result</code></h1>
     else:
         args = l
 
-    value = None
+    value: A = None
     errs = []
     exceptions = []
 
@@ -859,7 +859,7 @@ <h2 class="section-title" id="header-functions">Functions</h2>
 </details>
 </dd>
 <dt id="raffiot.result.sequence"><code class="name flex">
-<span>def <span class="ident">sequence</span></span>(<span>*l: Iterable[<a title="raffiot.result.Result" href="#raffiot.result.Result">Result</a>[E, A]]) ‑> <a title="raffiot.result.Result" href="#raffiot.result.Result">Result</a>[typing.List[~E], ~A]</span>
+<span>def <span class="ident">sequence</span></span>(<span>*l: Union[Iterable[<a title="raffiot.result.Result" href="#raffiot.result.Result">Result</a>[E, A]], <a title="raffiot.result.Result" href="#raffiot.result.Result">Result</a>[E, A]]) ‑> <a title="raffiot.result.Result" href="#raffiot.result.Result">Result</a>[~E, ~A]</span>
 </code></dt>
 <dd>
 <div class="desc"><p>Combine a list of <code><a title="raffiot.result.Result" href="#raffiot.result.Result">Result</a></code>.</p>
@@ -871,7 +871,7 @@ <h2 class="section-title" id="header-functions">Functions</h2>
 <summary>
 <span>Expand source code</span>
 </summary>
-<pre><code class="python">def sequence(*l: Iterable[Result[E, A]]) -&gt; Result[List[E], A]:
+<pre><code class="python">def sequence(*l: Union[Iterable[Result[E, A]], Result[E, A]]) -&gt; Result[E, A]:
     &#34;&#34;&#34;
     Combine a list of `Result`.
 
@@ -885,7 +885,7 @@ <h2 class="section-title" id="header-functions">Functions</h2>
     else:
         args = l
 
-    value = None
+    value: A = None
     errs = []
     exceptions = []
 
@@ -945,7 +945,7 @@ <h2 class="section-title" id="header-functions">Functions</h2>
 </details>
 </dd>
 <dt id="raffiot.result.zip"><code class="name flex">
-<span>def <span class="ident">zip</span></span>(<span>*l: Iterable[<a title="raffiot.result.Result" href="#raffiot.result.Result">Result</a>[E, A]]) ‑> <a title="raffiot.result.Result" href="#raffiot.result.Result">Result</a>[~E, typing.List[~A]]</span>
+<span>def <span class="ident">zip</span></span>(<span>*l: <a title="raffiot.result.Result" href="#raffiot.result.Result">Result</a>[E, A]) ‑> <a title="raffiot.result.Result" href="#raffiot.result.Result">Result</a>[~E, typing.List[~A]]</span>
 </code></dt>
 <dd>
 <div class="desc"><p>Combine a list of <code><a title="raffiot.result.Result" href="#raffiot.result.Result">Result</a></code>.</p>
@@ -959,7 +959,7 @@ <h2 class="section-title" id="header-functions">Functions</h2>
 <summary>
 <span>Expand source code</span>
 </summary>
-<pre><code class="python">def zip(*l: Iterable[Result[E, A]]) -&gt; Result[E, List[A]]:
+<pre><code class="python">def zip(*l: Result[E, A]) -&gt; Result[E, List[A]]:
     &#34;&#34;&#34;
     Combine a list of `Result`.
 
@@ -1279,7 +1279,7 @@ <h3>Inherited members</h3>
             return on_error(self.errors)
         if isinstance(self, Panic):
             return on_panic(self.exceptions, self.errors)
-        raise on_panic([MatchError(f&#34;{self} should be a Result&#34;)])
+        raise on_panic([MatchError(f&#34;{self} should be a Result&#34;)], [])
 
     @final
     @safe
@@ -1353,7 +1353,7 @@ <h3>Inherited members</h3>
         &#34;&#34;&#34;
         if isinstance(self, Ok):
             return f(self.success)
-        return self
+        return self  # type: ignore
 
     @final
     @safe
@@ -1439,7 +1439,7 @@ <h3>Inherited members</h3>
         &#34;&#34;&#34;
         if isinstance(self, Ok):
             return Ok(f(self.success))
-        return self
+        return self  # type: ignore
 
     @final
     @safe
@@ -1452,15 +1452,15 @@ <h3>Inherited members</h3>
         return self.unsafe_map(f)
 
     @final
-    def zip(self: Result[E, A], *arg: Result[E, X]) -&gt; Result[E, List[A]]:
+    def zip(self: Result[E, A], *arg: Result[E, A]) -&gt; Result[E, List[A]]:
         &#34;&#34;&#34;
         Transform a list of Result (including self) into a Result of list.
 
         Is Ok is all results are Ok.
         Is Errors some are Ok, but at least one is an errors but no panics.
         Is Panic is there is at least one panic.
         &#34;&#34;&#34;
-        return zip((self, *arg))
+        return zip((self, *arg))  # type: ignore
 
     @final
     def unsafe_ap(
@@ -1473,7 +1473,7 @@ <h3>Inherited members</h3>
         and arg represent a computation returning a value `x1: X1`,...,`xn: Xn`, then
         `self.ap(arg)` represents the computation returning `f(x1,...,xn): A`.
         &#34;&#34;&#34;
-        return zip((self, *arg)).unsafe_map(lambda l: l[0](*l[1:]))
+        return zip((self, *arg)).unsafe_map(lambda l: l[0](*l[1:]))  # type: ignore
 
     @final
     @safe
@@ -1485,7 +1485,7 @@ <h3>Inherited members</h3>
         and arg represent computations returning values `x1: X1`,...,`xn: Xn` then
         `self.ap(arg)` represents the computation returning `f(x1,...,xn): A`.
         &#34;&#34;&#34;
-        return self.unsafe_ap(*arg)
+        return self.unsafe_ap(*arg)  # type: ignore
 
     @final
     def flatten(self: Result[E, Result[E, A]]) -&gt; Result[E, A]:
@@ -1494,7 +1494,7 @@ <h3>Inherited members</h3>
         &#34;&#34;&#34;
         if isinstance(self, Ok):
             return self.success
-        return self
+        return self  # type: ignore
 
     @final
     def unsafe_map_error(self, f: Callable[[E], E2]) -&gt; Result[E2, A]:
@@ -1531,7 +1531,7 @@ <h3>Inherited members</h3>
 
     @final
     @safe
-    def catch(self, handler: Callable[[E], Result[List[E], A]]) -&gt; Result[E, A]:
+    def catch(self, handler: Callable[[List[E]], Result[E, A]]) -&gt; Result[E, A]:
         &#34;&#34;&#34;
         React to errors (the except part of a try-except).
 
@@ -1698,7 +1698,7 @@ <h3>Methods</h3>
     &#34;&#34;&#34;
     if isinstance(self, Ok):
         return self.success
-    return self</code></pre>
+    return self  # type: ignore</code></pre>
 </details>
 </dd>
 <dt id="raffiot.result.Result.fold"><code class="name flex">
@@ -1932,7 +1932,7 @@ <h3>Methods</h3>
     and arg represent a computation returning a value `x1: X1`,...,`xn: Xn`, then
     `self.ap(arg)` represents the computation returning `f(x1,...,xn): A`.
     &#34;&#34;&#34;
-    return zip((self, *arg)).unsafe_map(lambda l: l[0](*l[1:]))</code></pre>
+    return zip((self, *arg)).unsafe_map(lambda l: l[0](*l[1:]))  # type: ignore</code></pre>
 </details>
 </dd>
 <dt id="raffiot.result.Result.unsafe_catch"><code class="name flex">
@@ -1991,7 +1991,7 @@ <h3>Methods</h3>
     &#34;&#34;&#34;
     if isinstance(self, Ok):
         return f(self.success)
-    return self</code></pre>
+    return self  # type: ignore</code></pre>
 </details>
 </dd>
 <dt id="raffiot.result.Result.unsafe_fold"><code class="name flex">
@@ -2027,7 +2027,7 @@ <h3>Methods</h3>
         return on_error(self.errors)
     if isinstance(self, Panic):
         return on_panic(self.exceptions, self.errors)
-    raise on_panic([MatchError(f&#34;{self} should be a Result&#34;)])</code></pre>
+    raise on_panic([MatchError(f&#34;{self} should be a Result&#34;)], [])</code></pre>
 </details>
 </dd>
 <dt id="raffiot.result.Result.unsafe_fold_raise"><code class="name flex">
@@ -2115,7 +2115,7 @@ <h3>Methods</h3>
     &#34;&#34;&#34;
     if isinstance(self, Ok):
         return Ok(f(self.success))
-    return self</code></pre>
+    return self  # type: ignore</code></pre>
 </details>
 </dd>
 <dt id="raffiot.result.Result.unsafe_map_error"><code class="name flex">
@@ -2221,7 +2221,7 @@ <h3>Methods</h3>
 </details>
 </dd>
 <dt id="raffiot.result.Result.zip"><code class="name flex">
-<span>def <span class="ident">zip</span></span>(<span>self: <a title="raffiot.result.Result" href="#raffiot.result.Result">Result</a>[E, A], *arg: <a title="raffiot.result.Result" href="#raffiot.result.Result">Result</a>[E, X]) ‑> <a title="raffiot.result.Result" href="#raffiot.result.Result">Result</a>[~E, typing.List[~A]]</span>
+<span>def <span class="ident">zip</span></span>(<span>self: <a title="raffiot.result.Result" href="#raffiot.result.Result">Result</a>[E, A], *arg: <a title="raffiot.result.Result" href="#raffiot.result.Result">Result</a>[E, A]) ‑> <a title="raffiot.result.Result" href="#raffiot.result.Result">Result</a>[~E, typing.List[~A]]</span>
 </code></dt>
 <dd>
 <div class="desc"><p>Transform a list of Result (including self) into a Result of list.</p>
@@ -2233,15 +2233,15 @@ <h3>Methods</h3>
 <span>Expand source code</span>
 </summary>
 <pre><code class="python">@final
-def zip(self: Result[E, A], *arg: Result[E, X]) -&gt; Result[E, List[A]]:
+def zip(self: Result[E, A], *arg: Result[E, A]) -&gt; Result[E, List[A]]:
     &#34;&#34;&#34;
     Transform a list of Result (including self) into a Result of list.
 
     Is Ok is all results are Ok.
     Is Errors some are Ok, but at least one is an errors but no panics.
     Is Panic is there is at least one panic.
     &#34;&#34;&#34;
-    return zip((self, *arg))</code></pre>
+    return zip((self, *arg))  # type: ignore</code></pre>
 </details>
 </dd>
 </dl>