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

Add drop_none

Browse source
This commit is contained in:
Emi Simpson 2023-03-05 21:45:02 -05:00
parent db2f9710dd
commit b8cb7d864c
Signed by: Emi
GPG key ID: A12F2C2FFDC3D847
1 changed files with 9 additions and 0 deletions
Show stats Download patch file Download diff file Expand all files Collapse all files

9
emis_funky_funktions.py
View file

@ -589,6 +589,15 @@ def unwrap_opt(r: Option[A]) -> A:
case None: case None:
raise AssertionError('Tried to unwrap a None value') raise AssertionError('Tried to unwrap a None value')
def drop_none(l: Iterable[Option[A]]) -> Sequence[A]:
"""
Drop every instance of `None` from a list, unwraping the rest
>>> drop_none([Some(1), None, Some(2), None, Some(3)])
[1, 2, 3]
"""
return [o.val for o in l if o is not None]
# Results! # Results!
@dataclass(frozen=True) @dataclass(frozen=True)
class Ok(Generic[A, B]): class Ok(Generic[A, B]):