Emi
/
JSON-Lang
1
0
Fork 0
Code Issues Pull Requests Packages Projects Releases Wiki Activity

Ignore some unhelpful type errors

This commit is contained in:
Emi Simpson 2023-03-05 19:21:19 -05:00
parent eacf7542e5
commit 4b4f9037cf
Signed by: Emi
GPG Key ID: A12F2C2FFDC3D847
1 changed files with 5 additions and 5 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

10
emis_funky_funktions.py
View File

@ -611,7 +611,7 @@ class Err(Generic[A, B]):
>>> my_result <<(lambda x: Ok(x + 1))
Err('oh noes!')
"""
return self
return self #type:ignore
Result = Ok[A, B] | Err[A, B]
"A Result datatype, aka Either"
def map_res(f: Callable[[A], C], r: Result[A, B]) -> Result[C, B]:
@ -628,7 +628,7 @@ def map_res(f: Callable[[A], C], r: Result[A, B]) -> Result[C, B]:
case Ok(val):
return Ok(f(val))
case not_okay:
return not_okay
return not_okay #type:ignore
def bind_res(f: Callable[[A], Result[C, B]], r: Result[A, B]) -> Result[C, B]:
"""
Perform an fallible operation for successful results.
@ -650,7 +650,7 @@ def bind_res(f: Callable[[A], Result[C, B]], r: Result[A, B]) -> Result[C, B]:
case Ok(val):
return f(val)
case not_okay:
return not_okay
return not_okay #type:ignore
def map_err(f: Callable[[B], C], r: Result[A, B]) -> Result[A, C]:
"""
Map the error value of a result
@ -665,7 +665,7 @@ def map_err(f: Callable[[B], C], r: Result[A, B]) -> Result[A, C]:
case Err(e):
return Err(f(e))
case oki_doke:
return oki_doke
return oki_doke #type:ignore
def hush(r: Result[A, Any]) -> Option[A]:
"""
Convert a `Result` to an `Option` by converting any errors to `None`
@ -776,7 +776,7 @@ def sequence(s: Sequence[Result[A, B]]) -> Result[Sequence[A], B]:
else:
o = next(filter(not_, s))
assert isinstance(o, Err)
return o
return o #type:ignore
def trace(x: A) -> A:
"""