opt
/
hc_python
/
lib
/
python3.12
/
site-packages
/
pip
/
_vendor
/
rich
/
Go to Home Directory
+
Upload
Create File
root@0UT1S:~$
Execute
By Order of Mr.0UT1S
[DIR] ..
N/A
[DIR] __pycache__
N/A
__init__.py
5.95 KB
Rename
Delete
__main__.py
8.28 KB
Rename
Delete
_cell_widths.py
9.97 KB
Rename
Delete
_emoji_codes.py
136.95 KB
Rename
Delete
_emoji_replace.py
1.04 KB
Rename
Delete
_export_format.py
2.08 KB
Rename
Delete
_extension.py
265 bytes
Rename
Delete
_fileno.py
799 bytes
Rename
Delete
_inspect.py
9.43 KB
Rename
Delete
_log_render.py
3.15 KB
Rename
Delete
_loop.py
1.21 KB
Rename
Delete
_null_file.py
1.36 KB
Rename
Delete
_palettes.py
6.90 KB
Rename
Delete
_pick.py
423 bytes
Rename
Delete
_ratio.py
5.34 KB
Rename
Delete
_spinners.py
19.45 KB
Rename
Delete
_stack.py
351 bytes
Rename
Delete
_timer.py
417 bytes
Rename
Delete
_win32_console.py
22.22 KB
Rename
Delete
_windows.py
1.88 KB
Rename
Delete
_windows_renderer.py
2.72 KB
Rename
Delete
_wrap.py
3.32 KB
Rename
Delete
abc.py
890 bytes
Rename
Delete
align.py
10.22 KB
Rename
Delete
ansi.py
6.76 KB
Rename
Delete
bar.py
3.19 KB
Rename
Delete
box.py
10.58 KB
Rename
Delete
cells.py
5.01 KB
Rename
Delete
color.py
17.78 KB
Rename
Delete
color_triplet.py
1.03 KB
Rename
Delete
columns.py
6.96 KB
Rename
Delete
console.py
97.81 KB
Rename
Delete
constrain.py
1.26 KB
Rename
Delete
containers.py
5.37 KB
Rename
Delete
control.py
6.47 KB
Rename
Delete
default_styles.py
7.97 KB
Rename
Delete
diagnose.py
972 bytes
Rename
Delete
emoji.py
2.44 KB
Rename
Delete
errors.py
642 bytes
Rename
Delete
file_proxy.py
1.64 KB
Rename
Delete
filesize.py
2.43 KB
Rename
Delete
highlighter.py
9.36 KB
Rename
Delete
json.py
4.91 KB
Rename
Delete
jupyter.py
3.18 KB
Rename
Delete
layout.py
13.68 KB
Rename
Delete
live.py
13.94 KB
Rename
Delete
live_render.py
3.58 KB
Rename
Delete
logging.py
12.17 KB
Rename
Delete
markup.py
8.25 KB
Rename
Delete
measure.py
5.18 KB
Rename
Delete
padding.py
4.79 KB
Rename
Delete
pager.py
828 bytes
Rename
Delete
palette.py
3.32 KB
Rename
Delete
panel.py
10.97 KB
Rename
Delete
pretty.py
35.54 KB
Rename
Delete
progress.py
58.94 KB
Rename
Delete
progress_bar.py
7.97 KB
Rename
Delete
prompt.py
12.16 KB
Rename
Delete
protocol.py
1.36 KB
Rename
Delete
py.typed
0 bytes
Rename
Delete
region.py
166 bytes
Rename
Delete
repr.py
4.33 KB
Rename
Delete
rule.py
4.49 KB
Rename
Delete
scope.py
2.78 KB
Rename
Delete
screen.py
1.55 KB
Rename
Delete
segment.py
24.16 KB
Rename
Delete
spinner.py
4.26 KB
Rename
Delete
status.py
4.32 KB
Rename
Delete
style.py
26.43 KB
Rename
Delete
styled.py
1.23 KB
Rename
Delete
syntax.py
34.92 KB
Rename
Delete
table.py
39.16 KB
Rename
Delete
terminal_theme.py
3.29 KB
Rename
Delete
text.py
46.44 KB
Rename
Delete
theme.py
3.68 KB
Rename
Delete
themes.py
102 bytes
Rename
Delete
traceback.py
31.05 KB
Rename
Delete
tree.py
9.23 KB
Rename
Delete
import sys from fractions import Fraction from math import ceil from typing import cast, List, Optional, Sequence if sys.version_info >= (3, 8): from typing import Protocol else: from pip._vendor.typing_extensions import Protocol # pragma: no cover class Edge(Protocol): """Any object that defines an edge (such as Layout).""" size: Optional[int] = None ratio: int = 1 minimum_size: int = 1 def ratio_resolve(total: int, edges: Sequence[Edge]) -> List[int]: """Divide total space to satisfy size, ratio, and minimum_size, constraints. The returned list of integers should add up to total in most cases, unless it is impossible to satisfy all the constraints. For instance, if there are two edges with a minimum size of 20 each and `total` is 30 then the returned list will be greater than total. In practice, this would mean that a Layout object would clip the rows that would overflow the screen height. Args: total (int): Total number of characters. edges (List[Edge]): Edges within total space. Returns: List[int]: Number of characters for each edge. """ # Size of edge or None for yet to be determined sizes = [(edge.size or None) for edge in edges] _Fraction = Fraction # While any edges haven't been calculated while None in sizes: # Get flexible edges and index to map these back on to sizes list flexible_edges = [ (index, edge) for index, (size, edge) in enumerate(zip(sizes, edges)) if size is None ] # Remaining space in total remaining = total - sum(size or 0 for size in sizes) if remaining <= 0: # No room for flexible edges return [ ((edge.minimum_size or 1) if size is None else size) for size, edge in zip(sizes, edges) ] # Calculate number of characters in a ratio portion portion = _Fraction( remaining, sum((edge.ratio or 1) for _, edge in flexible_edges) ) # If any edges will be less than their minimum, replace size with the minimum for index, edge in flexible_edges: if portion * edge.ratio <= edge.minimum_size: sizes[index] = edge.minimum_size # New fixed size will invalidate calculations, so we need to repeat the process break else: # Distribute flexible space and compensate for rounding error # Since edge sizes can only be integers we need to add the remainder # to the following line remainder = _Fraction(0) for index, edge in flexible_edges: size, remainder = divmod(portion * edge.ratio + remainder, 1) sizes[index] = size break # Sizes now contains integers only return cast(List[int], sizes) def ratio_reduce( total: int, ratios: List[int], maximums: List[int], values: List[int] ) -> List[int]: """Divide an integer total in to parts based on ratios. Args: total (int): The total to divide. ratios (List[int]): A list of integer ratios. maximums (List[int]): List of maximums values for each slot. values (List[int]): List of values Returns: List[int]: A list of integers guaranteed to sum to total. """ ratios = [ratio if _max else 0 for ratio, _max in zip(ratios, maximums)] total_ratio = sum(ratios) if not total_ratio: return values[:] total_remaining = total result: List[int] = [] append = result.append for ratio, maximum, value in zip(ratios, maximums, values): if ratio and total_ratio > 0: distributed = min(maximum, round(ratio * total_remaining / total_ratio)) append(value - distributed) total_remaining -= distributed total_ratio -= ratio else: append(value) return result def ratio_distribute( total: int, ratios: List[int], minimums: Optional[List[int]] = None ) -> List[int]: """Distribute an integer total in to parts based on ratios. Args: total (int): The total to divide. ratios (List[int]): A list of integer ratios. minimums (List[int]): List of minimum values for each slot. Returns: List[int]: A list of integers guaranteed to sum to total. """ if minimums: ratios = [ratio if _min else 0 for ratio, _min in zip(ratios, minimums)] total_ratio = sum(ratios) assert total_ratio > 0, "Sum of ratios must be > 0" total_remaining = total distributed_total: List[int] = [] append = distributed_total.append if minimums is None: _minimums = [0] * len(ratios) else: _minimums = minimums for ratio, minimum in zip(ratios, _minimums): if total_ratio > 0: distributed = max(minimum, ceil(ratio * total_remaining / total_ratio)) else: distributed = total_remaining append(distributed) total_ratio -= ratio total_remaining -= distributed return distributed_total if __name__ == "__main__": from dataclasses import dataclass @dataclass class E: size: Optional[int] = None ratio: int = 1 minimum_size: int = 1 resolved = ratio_resolve(110, [E(None, 1, 1), E(None, 1, 1), E(None, 1, 1)]) print(sum(resolved))
Save