Svector
Svector (pronounced Swag-tor) provides extension methods to pyrsistent data structures. Easily chain your methods confidently with tons of additional methods. Leverage the latest mypy features to spot errors during coding.
pip install svector
Immutable list replacement for python. With postfix methods for easy functional programming.
Quick Start
With mypy installed, easily spot errors when you call the wrong methods on your sequence.
from svector import Svector
many_strings = Svector.of(["Lucy, Damion, Jon"]) # Svector[str]
many_strings.sum() # Mypy errors with 'Invalid self argument'. You can't sum a sequence of strings!
many_nums = Svector.of([1, 1.2])
assert many_nums.sum() == 2.2 # ok!
class CannotSortMe:
def __init__(self, value: int):
self.value: int = value
stuff = Svector.of([CannotSortMe(value=1), CannotSortMe(value=1)])
stuff.sort_by(lambda x: x) # Mypy errors with 'Cannot be "CannotSortMe"'. You can't sort by the class itself
stuff.sort_by(lambda x: x.value) # ok! You can sort by the value
Svector.of([{"i am a dict": "value"}]).distinct_by(
lambda x: x
) # Mypy errors with 'Cannot be Dict[str, str]. You can't hash a dict itself
Svector provides methods that you can chain easily for easier data processing.
from svector import Svector
Svector.of([-1, 0, 1]).map(
lambda x: x if x >= 0 else None).flatten_option() # Mypy infers Svector[int] correctly
result = (
Svector.of(i for i in range(5000))
.map(lambda x: (x % 3, x))
.filter(lambda x: x[0] == 0)
.for_each_enumerate(lambda idx, element: print(f"{idx}: {element}"))
.take(5)
)
1 Jan 31, 2022
72 Jan 1, 2023
3 Jan 22, 2022
0 Feb 13, 2022
2 Jan 9, 2022
23 Dec 1, 2022
1 Jan 27, 2022
20 Nov 7, 2022
2 Nov 15, 2021
2 Jun 1, 2022
13 Dec 1, 2022
93 Nov 6, 2022
17 Sep 29, 2021
572 Dec 28, 2022
115 Dec 12, 2022
7 Oct 23, 2022
8 Dec 1, 2022
3 Jul 9, 2021
25.1k Jan 2, 2023
21 Sep 26, 2022
450 Dec 21, 2022
2 Feb 02, 2022
1.3k Jan 01, 2023
4 Dec 20, 2021
173 Nov 28, 2022
14 Sep 02, 2021
7 Sep 17, 2022
7 Oct 20, 2022
7 Jul 10, 2022
3 Oct 21, 2022
86 Dec 25, 2022
12 Jan 01, 2023
3 May 18, 2022
0 Dec 01, 2021
1 Oct 30, 2021