Emi
/
ai-lab-one
1
0
Fork 0
Code Issues Pull Requests Packages Projects Releases Wiki Activity

Change sequence() to return a list

This commit is contained in:
Emi Simpson 2023-02-12 11:07:58 -05:00
parent 96e7a51ccc
commit 2665f8ff98
Signed by: Emi
GPG Key ID: A12F2C2FFDC3D847
1 changed files with 3 additions and 3 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

6
emis_funky_funktions.py
View File

@ -707,7 +707,7 @@ def unwrap_r(r: Result[A, Any]) -> A:
return val
case Err(e):
raise AssertionError(f'Tried to unwrap an error: ', e)
def sequence(s: Sequence[Result[A, B]]) -> Result[Iterator[A], B]:
def sequence(s: Sequence[Result[A, B]]) -> Result[Sequence[A], B]:
"""
Convert a list of results into a result of a list.
@ -716,14 +716,14 @@ def sequence(s: Sequence[Result[A, B]]) -> Result[Iterator[A], B]:
errors, proccessing of the sequence is immediately stopped, and the first error
encountered is returned.
>>> map_res(list, sequence([Ok(1), Ok(2), Ok(3)]))
>>> sequence([Ok(1), Ok(2), Ok(3)])
Ok([1, 2, 3])
>>> sequence([Ok(1), Err('Oops!'), Err('Aw man!')])
Err('Oops!')
"""
if all(s):
return Ok(map(unwrap_r, s))
return Ok(list(map(unwrap_r, s)))
else:
o = next(filter(not_, s))
assert isinstance(o, Err)