nixd
All Classes Namespaces Files Functions Variables Typedefs Enumerations Enumerator Friends Macros Pages
support.py
Go to the documentation of this file.
1from functools import reduce
2from operator import add
3from typing import cast
4
5
6def lines(l: list[str]) -> str:
7 return cast(str, reduce(add, map(lambda x: x + "\n", l)))
8
9
10def indent(x: str, ch: str = " "):
11 return ch + x
str lines(list[str] l)
Definition support.py:6
indent(str x, str ch=" ")
Definition support.py:10