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
776 Dec 28, 2022
3 Oct 21, 2022
3 Feb 18, 2022
4 Dec 20, 2021
954 Dec 23, 2022
8 Oct 04, 2022
14 Sep 02, 2021
1.3k Jan 01, 2023
93 Dec 01, 2022
63 Dec 23, 2022
799 Jan 09, 2023
262 Nov 18, 2022
32 Sep 17, 2022
11 Feb 03, 2022
69 Jan 06, 2023
3 Dec 13, 2022
124 Dec 07, 2022
325 Dec 27, 2022