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
954 Dec 23, 2022
5 Oct 22, 2022
262 Nov 18, 2022
3 Oct 21, 2022
63 Dec 23, 2022
8 Oct 04, 2022
11 Feb 03, 2022
0 Dec 01, 2021
3 Dec 13, 2022
1.9k Jan 08, 2023
21 Sep 26, 2022
0 Jan 01, 2022
7 Sep 17, 2022
59 Dec 19, 2022
182 Nov 21, 2022
3 Feb 18, 2022
1 Dec 16, 2021