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
5 Oct 22, 2022
7 Sep 17, 2022
643 Jan 07, 2023
173 Nov 28, 2022
69 Jan 06, 2023
4 Jan 14, 2022
325 Dec 27, 2022
86 Dec 25, 2022
1 Jan 09, 2022
3 Oct 22, 2021
182 Nov 21, 2022
262 Nov 18, 2022
27 Oct 29, 2022
954 Dec 23, 2022
1 Oct 30, 2021
799 Jan 09, 2023
2 Dec 12, 2021
1.3k Jan 01, 2023
1 Dec 15, 2021