mirror of
https://github.com/Dvorinka/swingmusic-extended.git
synced 2026-06-04 20:43:04 +00:00
a5634f267f
+ port: search
21 lines
436 B
Python
21 lines
436 B
Python
import locale
|
|
from typing import Iterable, TypeVar
|
|
|
|
T = TypeVar("T")
|
|
|
|
# Set to user's default locale:
|
|
locale.setlocale(locale.LC_ALL, "")
|
|
|
|
# Or set to a specific locale:
|
|
# locale.setlocale(locale.LC_ALL, 'en_US.UTF-8')
|
|
|
|
|
|
def format_number(number: float) -> str:
|
|
return locale.format_string("%d", number, grouping=True)
|
|
|
|
|
|
|
|
|
|
def flatten(list_: Iterable[list[T]]) -> list[T]:
|
|
return [item for sublist in list_ for item in sublist]
|