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
2 Feb 02, 2022
0 Jan 01, 2022
1 Jan 09, 2022
63 Dec 23, 2022
7 Oct 20, 2022
643 Jan 07, 2023
4 Jan 14, 2022
12 Jan 01, 2023
59 Dec 19, 2022
3 Dec 13, 2022
173 Nov 28, 2022
0 Dec 01, 2021
7 Sep 17, 2022
776 Dec 28, 2022