Path 1: 17 calls (0.34)

[22, 17, 5] (3) [22, 17, 5, 10] (3) [3, 2, 1] (1) [6, 0, 0] (1) [11, 0, 0] (1) [16, 0, 0] (1) [21, 0, 0] (1) [22, 2, 2] (1) [22, 5, 4] (1) [22, 9, 5] ...

'head' (17)

True (17)

'┡━━━━━━━━━━━━━━━━━━━━━━╇━━━━━━━━━━━━━━━━━╇━━━━━┩' (3) '┡━━━━━━━━━━━━━━━━━━━━━━╇━━━━━━━━━━━━━━━━━╇━━━━━╇━━━━━━━━━━┩' (3) '╠═══╬══╬═╣' (1) '┡━━━━━━╇╇┩'...

1def get_row(
2        self,
3        widths: Iterable[int],
4        level: Literal["head", "row", "foot", "mid"] = "row",
5        edge: bool = True,
6    ) -> str:
7        """Get the top of a simple box.
8
9        Args:
10            width (List[int]): Widths of columns.
11
12        Returns:
13            str: A string of box characters.
14        """
15        if level == "head":
16            left = self.head_row_left
17            horizontal = self.head_row_horizontal
18            cross = self.head_row_cross
19            right = self.head_row_right
20        elif level == "row":
21            left = self.row_left
22            horizontal = self.row_horizontal
23            cross = self.row_cross
24            right = self.row_right
25        elif level == "mid":
26            left = self.mid_left
27            horizontal = " "
28            cross = self.mid_vertical
29            right = self.mid_right
30        elif level == "foot":
31            left = self.foot_row_left
32            horizontal = self.foot_row_horizontal
33            cross = self.foot_row_cross
34            right = self.foot_row_right
35        else:
36            raise ValueError("level must be 'head', 'row' or 'foot'")
37
38        parts: List[str] = []
39        append = parts.append
40        if edge:
41            append(left)
42        for last, width in loop_last(widths):
43            append(horizontal * width)
44            if not last:
45                append(cross)
46        if edge:
47            append(right)
48        return "".join(parts)

Path 2: 8 calls (0.16)

[22, 17, 5, 10] (4) [17, 0, 0, 0] (2) [10, 9, 0, 0] (2)

'row' (8)

False (8)

'──────────────────────┼─────────────────┼─────┼──────────' (4) '─────────────────┼┼┼' (2) '──────────┼─────────┼┼' (2) 

1def get_row(
2        self,
3        widths: Iterable[int],
4        level: Literal["head", "row", "foot", "mid"] = "row",
5        edge: bool = True,
6    ) -> str:
7        """Get the top of a simple box.
8
9        Args:
10            width (List[int]): Widths of columns.
11
12        Returns:
13            str: A string of box characters.
14        """
15        if level == "head":
16            left = self.head_row_left
17            horizontal = self.head_row_horizontal
18            cross = self.head_row_cross
19            right = self.head_row_right
20        elif level == "row":
21            left = self.row_left
22            horizontal = self.row_horizontal
23            cross = self.row_cross
24            right = self.row_right
25        elif level == "mid":
26            left = self.mid_left
27            horizontal = " "
28            cross = self.mid_vertical
29            right = self.mid_right
30        elif level == "foot":
31            left = self.foot_row_left
32            horizontal = self.foot_row_horizontal
33            cross = self.foot_row_cross
34            right = self.foot_row_right
35        else:
36            raise ValueError("level must be 'head', 'row' or 'foot'")
37
38        parts: List[str] = []
39        append = parts.append
40        if edge:
41            append(left)
42        for last, width in loop_last(widths):
43            append(horizontal * width)
44            if not last:
45                append(cross)
46        if edge:
47            append(right)
48        return "".join(parts)

Path 3: 6 calls (0.12)

[22, 17, 5, 10] (2) [14, 33, 19, 16] (1) [17, 0, 0, 0] (1) [10, 9, 0, 0] (1) [25, 19, 4, 9] (1)

'head' (6)

False (6)

'━━━━━━━━━━━━━━━━━━━━━━╇━━━━━━━━━━━━━━━━━╇━━━━━╇━━━━━━━━━━' (2) '─────────────────────────────────────────────────────────────────────────────────────...

1def get_row(
2        self,
3        widths: Iterable[int],
4        level: Literal["head", "row", "foot", "mid"] = "row",
5        edge: bool = True,
6    ) -> str:
7        """Get the top of a simple box.
8
9        Args:
10            width (List[int]): Widths of columns.
11
12        Returns:
13            str: A string of box characters.
14        """
15        if level == "head":
16            left = self.head_row_left
17            horizontal = self.head_row_horizontal
18            cross = self.head_row_cross
19            right = self.head_row_right
20        elif level == "row":
21            left = self.row_left
22            horizontal = self.row_horizontal
23            cross = self.row_cross
24            right = self.row_right
25        elif level == "mid":
26            left = self.mid_left
27            horizontal = " "
28            cross = self.mid_vertical
29            right = self.mid_right
30        elif level == "foot":
31            left = self.foot_row_left
32            horizontal = self.foot_row_horizontal
33            cross = self.foot_row_cross
34            right = self.foot_row_right
35        else:
36            raise ValueError("level must be 'head', 'row' or 'foot'")
37
38        parts: List[str] = []
39        append = parts.append
40        if edge:
41            append(left)
42        for last, width in loop_last(widths):
43            append(horizontal * width)
44            if not last:
45                append(cross)
46        if edge:
47            append(right)
48        return "".join(parts)

Path 4: 5 calls (0.1)

[22, 17, 5, 10] (4) [1, 2, 3] (1)

'row' (5)

True (5)

'├──────────────────────┼─────────────────┼─────┼──────────┤' (4) '|-+--+---|' (1) 

1def get_row(
2        self,
3        widths: Iterable[int],
4        level: Literal["head", "row", "foot", "mid"] = "row",
5        edge: bool = True,
6    ) -> str:
7        """Get the top of a simple box.
8
9        Args:
10            width (List[int]): Widths of columns.
11
12        Returns:
13            str: A string of box characters.
14        """
15        if level == "head":
16            left = self.head_row_left
17            horizontal = self.head_row_horizontal
18            cross = self.head_row_cross
19            right = self.head_row_right
20        elif level == "row":
21            left = self.row_left
22            horizontal = self.row_horizontal
23            cross = self.row_cross
24            right = self.row_right
25        elif level == "mid":
26            left = self.mid_left
27            horizontal = " "
28            cross = self.mid_vertical
29            right = self.mid_right
30        elif level == "foot":
31            left = self.foot_row_left
32            horizontal = self.foot_row_horizontal
33            cross = self.foot_row_cross
34            right = self.foot_row_right
35        else:
36            raise ValueError("level must be 'head', 'row' or 'foot'")
37
38        parts: List[str] = []
39        append = parts.append
40        if edge:
41            append(left)
42        for last, width in loop_last(widths):
43            append(horizontal * width)
44            if not last:
45                append(cross)
46        if edge:
47            append(right)
48        return "".join(parts)

Path 5: 5 calls (0.1)

[22, 17, 5, 10] (2) [17, 0, 0, 0] (1) [10, 9, 0, 0] (1) [25, 19, 4, 9] (1)

'foot' (5)

False (5)

'──────────────────────┼─────────────────┼─────┼──────────' (2) '─────────────────┼┼┼' (1) '──────────┼─────────┼┼' (1) '─────────────────────────┼───...

1def get_row(
2        self,
3        widths: Iterable[int],
4        level: Literal["head", "row", "foot", "mid"] = "row",
5        edge: bool = True,
6    ) -> str:
7        """Get the top of a simple box.
8
9        Args:
10            width (List[int]): Widths of columns.
11
12        Returns:
13            str: A string of box characters.
14        """
15        if level == "head":
16            left = self.head_row_left
17            horizontal = self.head_row_horizontal
18            cross = self.head_row_cross
19            right = self.head_row_right
20        elif level == "row":
21            left = self.row_left
22            horizontal = self.row_horizontal
23            cross = self.row_cross
24            right = self.row_right
25        elif level == "mid":
26            left = self.mid_left
27            horizontal = " "
28            cross = self.mid_vertical
29            right = self.mid_right
30        elif level == "foot":
31            left = self.foot_row_left
32            horizontal = self.foot_row_horizontal
33            cross = self.foot_row_cross
34            right = self.foot_row_right
35        else:
36            raise ValueError("level must be 'head', 'row' or 'foot'")
37
38        parts: List[str] = []
39        append = parts.append
40        if edge:
41            append(left)
42        for last, width in loop_last(widths):
43            append(horizontal * width)
44            if not last:
45                append(cross)
46        if edge:
47            append(right)
48        return "".join(parts)

Path 6: 2 calls (0.04)

[2, 1, 3] (1) [22, 17, 5, 10] (1)

'foot' (2)

True (2)

'├──┼─┼───┤' (1) '├──────────────────────┼─────────────────┼─────┼──────────┤' (1) 

1def get_row(
2        self,
3        widths: Iterable[int],
4        level: Literal["head", "row", "foot", "mid"] = "row",
5        edge: bool = True,
6    ) -> str:
7        """Get the top of a simple box.
8
9        Args:
10            width (List[int]): Widths of columns.
11
12        Returns:
13            str: A string of box characters.
14        """
15        if level == "head":
16            left = self.head_row_left
17            horizontal = self.head_row_horizontal
18            cross = self.head_row_cross
19            right = self.head_row_right
20        elif level == "row":
21            left = self.row_left
22            horizontal = self.row_horizontal
23            cross = self.row_cross
24            right = self.row_right
25        elif level == "mid":
26            left = self.mid_left
27            horizontal = " "
28            cross = self.mid_vertical
29            right = self.mid_right
30        elif level == "foot":
31            left = self.foot_row_left
32            horizontal = self.foot_row_horizontal
33            cross = self.foot_row_cross
34            right = self.foot_row_right
35        else:
36            raise ValueError("level must be 'head', 'row' or 'foot'")
37
38        parts: List[str] = []
39        append = parts.append
40        if edge:
41            append(left)
42        for last, width in loop_last(widths):
43            append(horizontal * width)
44            if not last:
45                append(cross)
46        if edge:
47            append(right)
48        return "".join(parts)

Path 7: 2 calls (0.04)

[25, 19, 4, 9] (2)

'mid' (2)

False (2)

' │ │ │ ' (2) 

1def get_row(
2        self,
3        widths: Iterable[int],
4        level: Literal["head", "row", "foot", "mid"] = "row",
5        edge: bool = True,
6    ) -> str:
7        """Get the top of a simple box.
8
9        Args:
10            width (List[int]): Widths of columns.
11
12        Returns:
13            str: A string of box characters.
14        """
15        if level == "head":
16            left = self.head_row_left
17            horizontal = self.head_row_horizontal
18            cross = self.head_row_cross
19            right = self.head_row_right
20        elif level == "row":
21            left = self.row_left
22            horizontal = self.row_horizontal
23            cross = self.row_cross
24            right = self.row_right
25        elif level == "mid":
26            left = self.mid_left
27            horizontal = " "
28            cross = self.mid_vertical
29            right = self.mid_right
30        elif level == "foot":
31            left = self.foot_row_left
32            horizontal = self.foot_row_horizontal
33            cross = self.foot_row_cross
34            right = self.foot_row_right
35        else:
36            raise ValueError("level must be 'head', 'row' or 'foot'")
37
38        parts: List[str] = []
39        append = parts.append
40        if edge:
41            append(left)
42        for last, width in loop_last(widths):
43            append(horizontal * width)
44            if not last:
45                append(cross)
46        if edge:
47            append(right)
48        return "".join(parts)

Path 8: 2 calls (0.04)

[28] (1) [6] (1)

'head' (2)

True (2)

'┡━━━━━━━━━━━━━━━━━━━━━━━━━━━━┩' (1) '┡━━━━━━┩' (1) 

1def get_row(
2        self,
3        widths: Iterable[int],
4        level: Literal["head", "row", "foot", "mid"] = "row",
5        edge: bool = True,
6    ) -> str:
7        """Get the top of a simple box.
8
9        Args:
10            width (List[int]): Widths of columns.
11
12        Returns:
13            str: A string of box characters.
14        """
15        if level == "head":
16            left = self.head_row_left
17            horizontal = self.head_row_horizontal
18            cross = self.head_row_cross
19            right = self.head_row_right
20        elif level == "row":
21            left = self.row_left
22            horizontal = self.row_horizontal
23            cross = self.row_cross
24            right = self.row_right
25        elif level == "mid":
26            left = self.mid_left
27            horizontal = " "
28            cross = self.mid_vertical
29            right = self.mid_right
30        elif level == "foot":
31            left = self.foot_row_left
32            horizontal = self.foot_row_horizontal
33            cross = self.foot_row_cross
34            right = self.foot_row_right
35        else:
36            raise ValueError("level must be 'head', 'row' or 'foot'")
37
38        parts: List[str] = []
39        append = parts.append
40        if edge:
41            append(left)
42        for last, width in loop_last(widths):
43            append(horizontal * width)
44            if not last:
45                append(cross)
46        if edge:
47            append(right)
48        return "".join(parts)

Path 9: 2 calls (0.04)

[6] (2)

'row' (2)

True (2)

'├──────┤' (2) 

1def get_row(
2        self,
3        widths: Iterable[int],
4        level: Literal["head", "row", "foot", "mid"] = "row",
5        edge: bool = True,
6    ) -> str:
7        """Get the top of a simple box.
8
9        Args:
10            width (List[int]): Widths of columns.
11
12        Returns:
13            str: A string of box characters.
14        """
15        if level == "head":
16            left = self.head_row_left
17            horizontal = self.head_row_horizontal
18            cross = self.head_row_cross
19            right = self.head_row_right
20        elif level == "row":
21            left = self.row_left
22            horizontal = self.row_horizontal
23            cross = self.row_cross
24            right = self.row_right
25        elif level == "mid":
26            left = self.mid_left
27            horizontal = " "
28            cross = self.mid_vertical
29            right = self.mid_right
30        elif level == "foot":
31            left = self.foot_row_left
32            horizontal = self.foot_row_horizontal
33            cross = self.foot_row_cross
34            right = self.foot_row_right
35        else:
36            raise ValueError("level must be 'head', 'row' or 'foot'")
37
38        parts: List[str] = []
39        append = parts.append
40        if edge:
41            append(left)
42        for last, width in loop_last(widths):
43            append(horizontal * width)
44            if not last:
45                append(cross)
46        if edge:
47            append(right)
48        return "".join(parts)

Path 10: 1 calls (0.02)

[1, 2, 3] (1)

'FOO' (1)

True (1)

ValueError (1) 

1def get_row(
2        self,
3        widths: Iterable[int],
4        level: Literal["head", "row", "foot", "mid"] = "row",
5        edge: bool = True,
6    ) -> str:
7        """Get the top of a simple box.
8
9        Args:
10            width (List[int]): Widths of columns.
11
12        Returns:
13            str: A string of box characters.
14        """
15        if level == "head":
16            left = self.head_row_left
17            horizontal = self.head_row_horizontal
18            cross = self.head_row_cross
19            right = self.head_row_right
20        elif level == "row":
21            left = self.row_left
22            horizontal = self.row_horizontal
23            cross = self.row_cross
24            right = self.row_right
25        elif level == "mid":
26            left = self.mid_left
27            horizontal = " "
28            cross = self.mid_vertical
29            right = self.mid_right
30        elif level == "foot":
31            left = self.foot_row_left
32            horizontal = self.foot_row_horizontal
33            cross = self.foot_row_cross
34            right = self.foot_row_right
35        else:
36            raise ValueError("level must be 'head', 'row' or 'foot'")
37
38        parts: List[str] = []
39        append = parts.append
40        if edge:
41            append(left)
42        for last, width in loop_last(widths):
43            append(horizontal * width)
44            if not last:
45                append(cross)
46        if edge:
47            append(right)
48        return "".join(parts)