types-bits 0.1.0__py3-none-any.whl

types_bits/__init__.py

@@ -0,0 +1,25 @@
+"""Rust-style sized integer types.
+
+``__init__.pyi`` shadows this module for type checkers; this is the runtime tier.
+"""
+
+from types_bits._spec import MAX_BITS
+
+__all__ = [  # pyright: ignore[reportUnsupportedDunderAll]
+    f"{prefix}{bits}" for prefix in ("u", "i") for bits in range(1, MAX_BITS + 1)
+]
+
+
+def __getattr__(name: str) -> object:
+    if name not in __all__:
+        msg = f"module {__name__!r} has no attribute {name!r}"
+        raise AttributeError(msg)
+
+    from typing import Annotated
+
+    from annotated_types import Ge, Le
+
+    from types_bits._generate import Signed, Unsigned
+
+    width = Unsigned(int(name[1:])) if name[0] == "u" else Signed(int(name[1:]))
+    return Annotated[int, Ge(width.lo), Le(width.hi)]

types_bits/__init__.pyi

@@ -0,0 +1,27 @@
+# Generated by types_bits._generate — do not edit.
+# variant=flat bits=10 kind=both
+
+from typing import Literal
+
+__all__ = ['u1', 'u2', 'u3', 'u4', 'u5', 'u6', 'u7', 'u8', 'u9', 'u10', 'i1', 'i2', 'i3', 'i4', 'i5', 'i6', 'i7', 'i8', 'i9', 'i10']
+
+type u1 = Literal[0, 1]
+type u2 = Literal[0, 1, 2, 3]
+type u3 = Literal[0, 1, 2, 3, 4, 5, 6, 7]
+type u4 = Literal[0, 1, 2, 3, 4, 5, 6, 7, 8, 9, 10, 11, 12, 13, 14, 15]
+type u5 = Literal[0, 1, 2, 3, 4, 5, 6, 7, 8, 9, 10, 11, 12, 13, 14, 15, 16, 17, 18, 19, 20, 21, 22, 23, 24, 25, 26, 27, 28, 29, 30, 31]
+type u6 = Literal[0, 1, 2, 3, 4, 5, 6, 7, 8, 9, 10, 11, 12, 13, 14, 15, 16, 17, 18, 19, 20, 21, 22, 23, 24, 25, 26, 27, 28, 29, 30, 31, 32, 33, 34, 35, 36, 37, 38, 39, 40, 41, 42, 43, 44, 45, 46, 47, 48, 49, 50, 51, 52, 53, 54, 55, 56, 57, 58, 59, 60, 61, 62, 63]
+type u7 = Literal[0, 1, 2, 3, 4, 5, 6, 7, 8, 9, 10, 11, 12, 13, 14, 15, 16, 17, 18, 19, 20, 21, 22, 23, 24, 25, 26, 27, 28, 29, 30, 31, 32, 33, 34, 35, 36, 37, 38, 39, 40, 41, 42, 43, 44, 45, 46, 47, 48, 49, 50, 51, 52, 53, 54, 55, 56, 57, 58, 59, 60, 61, 62, 63, 64, 65, 66, 67, 68, 69, 70, 71, 72, 73, 74, 75, 76, 77, 78, 79, 80, 81, 82, 83, 84, 85, 86, 87, 88, 89, 90, 91, 92, 93, 94, 95, 96, 97, 98, 99, 100, 101, 102, 103, 104, 105, 106, 107, 108, 109, 110, 111, 112, 113, 114, 115, 116, 117, 118, 119, 120, 121, 122, 123, 124, 125, 126, 127]
+type u8 = Literal[0, 1, 2, 3, 4, 5, 6, 7, 8, 9, 10, 11, 12, 13, 14, 15, 16, 17, 18, 19, 20, 21, 22, 23, 24, 25, 26, 27, 28, 29, 30, 31, 32, 33, 34, 35, 36, 37, 38, 39, 40, 41, 42, 43, 44, 45, 46, 47, 48, 49, 50, 51, 52, 53, 54, 55, 56, 57, 58, 59, 60, 61, 62, 63, 64, 65, 66, 67, 68, 69, 70, 71, 72, 73, 74, 75, 76, 77, 78, 79, 80, 81, 82, 83, 84, 85, 86, 87, 88, 89, 90, 91, 92, 93, 94, 95, 96, 97, 98, 99, 100, 101, 102, 103, 104, 105, 106, 107, 108, 109, 110, 111, 112, 113, 114, 115, 116, 117, 118, 119, 120, 121, 122, 123, 124, 125, 126, 127, 128, 129, 130, 131, 132, 133, 134, 135, 136, 137, 138, 139, 140, 141, 142, 143, 144, 145, 146, 147, 148, 149, 150, 151, 152, 153, 154, 155, 156, 157, 158, 159, 160, 161, 162, 163, 164, 165, 166, 167, 168, 169, 170, 171, 172, 173, 174, 175, 176, 177, 178, 179, 180, 181, 182, 183, 184, 185, 186, 187, 188, 189, 190, 191, 192, 193, 194, 195, 196, 197, 198, 199, 200, 201, 202, 203, 204, 205, 206, 207, 208, 209, 210, 211, 212, 213, 214, 215, 216, 217, 218, 219, 220, 221, 222, 223, 224, 225, 226, 227, 228, 229, 230, 231, 232, 233, 234, 235, 236, 237, 238, 239, 240, 241, 242, 243, 244, 245, 246, 247, 248, 249, 250, 251, 252, 253, 254, 255]
+type u9 = Literal[0, 1, 2, 3, 4, 5, 6, 7, 8, 9, 10, 11, 12, 13, 14, 15, 16, 17, 18, 19, 20, 21, 22, 23, 24, 25, 26, 27, 28, 29, 30, 31, 32, 33, 34, 35, 36, 37, 38, 39, 40, 41, 42, 43, 44, 45, 46, 47, 48, 49, 50, 51, 52, 53, 54, 55, 56, 57, 58, 59, 60, 61, 62, 63, 64, 65, 66, 67, 68, 69, 70, 71, 72, 73, 74, 75, 76, 77, 78, 79, 80, 81, 82, 83, 84, 85, 86, 87, 88, 89, 90, 91, 92, 93, 94, 95, 96, 97, 98, 99, 100, 101, 102, 103, 104, 105, 106, 107, 108, 109, 110, 111, 112, 113, 114, 115, 116, 117, 118, 119, 120, 121, 122, 123, 124, 125, 126, 127, 128, 129, 130, 131, 132, 133, 134, 135, 136, 137, 138, 139, 140, 141, 142, 143, 144, 145, 146, 147, 148, 149, 150, 151, 152, 153, 154, 155, 156, 157, 158, 159, 160, 161, 162, 163, 164, 165, 166, 167, 168, 169, 170, 171, 172, 173, 174, 175, 176, 177, 178, 179, 180, 181, 182, 183, 184, 185, 186, 187, 188, 189, 190, 191, 192, 193, 194, 195, 196, 197, 198, 199, 200, 201, 202, 203, 204, 205, 206, 207, 208, 209, 210, 211, 212, 213, 214, 215, 216, 217, 218, 219, 220, 221, 222, 223, 224, 225, 226, 227, 228, 229, 230, 231, 232, 233, 234, 235, 236, 237, 238, 239, 240, 241, 242, 243, 244, 245, 246, 247, 248, 249, 250, 251, 252, 253, 254, 255, 256, 257, 258, 259, 260, 261, 262, 263, 264, 265, 266, 267, 268, 269, 270, 271, 272, 273, 274, 275, 276, 277, 278, 279, 280, 281, 282, 283, 284, 285, 286, 287, 288, 289, 290, 291, 292, 293, 294, 295, 296, 297, 298, 299, 300, 301, 302, 303, 304, 305, 306, 307, 308, 309, 310, 311, 312, 313, 314, 315, 316, 317, 318, 319, 320, 321, 322, 323, 324, 325, 326, 327, 328, 329, 330, 331, 332, 333, 334, 335, 336, 337, 338, 339, 340, 341, 342, 343, 344, 345, 346, 347, 348, 349, 350, 351, 352, 353, 354, 355, 356, 357, 358, 359, 360, 361, 362, 363, 364, 365, 366, 367, 368, 369, 370, 371, 372, 373, 374, 375, 376, 377, 378, 379, 380, 381, 382, 383, 384, 385, 386, 387, 388, 389, 390, 391, 392, 393, 394, 395, 396, 397, 398, 399, 400, 401, 402, 403, 404, 405, 406, 407, 408, 409, 410, 411, 412, 413, 414, 415, 416, 417, 418, 419, 420, 421, 422, 423, 424, 425, 426, 427, 428, 429, 430, 431, 432, 433, 434, 435, 436, 437, 438, 439, 440, 441, 442, 443, 444, 445, 446, 447, 448, 449, 450, 451, 452, 453, 454, 455, 456, 457, 458, 459, 460, 461, 462, 463, 464, 465, 466, 467, 468, 469, 470, 471, 472, 473, 474, 475, 476, 477, 478, 479, 480, 481, 482, 483, 484, 485, 486, 487, 488, 489, 490, 491, 492, 493, 494, 495, 496, 497, 498, 499, 500, 501, 502, 503, 504, 505, 506, 507, 508, 509, 510, 511]
+type u10 = Literal[0, 1, 2, 3, 4, 5, 6, 7, 8, 9, 10, 11, 12, 13, 14, 15, 16, 17, 18, 19, 20, 21, 22, 23, 24, 25, 26, 27, 28, 29, 30, 31, 32, 33, 34, 35, 36, 37, 38, 39, 40, 41, 42, 43, 44, 45, 46, 47, 48, 49, 50, 51, 52, 53, 54, 55, 56, 57, 58, 59, 60, 61, 62, 63, 64, 65, 66, 67, 68, 69, 70, 71, 72, 73, 74, 75, 76, 77, 78, 79, 80, 81, 82, 83, 84, 85, 86, 87, 88, 89, 90, 91, 92, 93, 94, 95, 96, 97, 98, 99, 100, 101, 102, 103, 104, 105, 106, 107, 108, 109, 110, 111, 112, 113, 114, 115, 116, 117, 118, 119, 120, 121, 122, 123, 124, 125, 126, 127, 128, 129, 130, 131, 132, 133, 134, 135, 136, 137, 138, 139, 140, 141, 142, 143, 144, 145, 146, 147, 148, 149, 150, 151, 152, 153, 154, 155, 156, 157, 158, 159, 160, 161, 162, 163, 164, 165, 166, 167, 168, 169, 170, 171, 172, 173, 174, 175, 176, 177, 178, 179, 180, 181, 182, 183, 184, 185, 186, 187, 188, 189, 190, 191, 192, 193, 194, 195, 196, 197, 198, 199, 200, 201, 202, 203, 204, 205, 206, 207, 208, 209, 210, 211, 212, 213, 214, 215, 216, 217, 218, 219, 220, 221, 222, 223, 224, 225, 226, 227, 228, 229, 230, 231, 232, 233, 234, 235, 236, 237, 238, 239, 240, 241, 242, 243, 244, 245, 246, 247, 248, 249, 250, 251, 252, 253, 254, 255, 256, 257, 258, 259, 260, 261, 262, 263, 264, 265, 266, 267, 268, 269, 270, 271, 272, 273, 274, 275, 276, 277, 278, 279, 280, 281, 282, 283, 284, 285, 286, 287, 288, 289, 290, 291, 292, 293, 294, 295, 296, 297, 298, 299, 300, 301, 302, 303, 304, 305, 306, 307, 308, 309, 310, 311, 312, 313, 314, 315, 316, 317, 318, 319, 320, 321, 322, 323, 324, 325, 326, 327, 328, 329, 330, 331, 332, 333, 334, 335, 336, 337, 338, 339, 340, 341, 342, 343, 344, 345, 346, 347, 348, 349, 350, 351, 352, 353, 354, 355, 356, 357, 358, 359, 360, 361, 362, 363, 364, 365, 366, 367, 368, 369, 370, 371, 372, 373, 374, 375, 376, 377, 378, 379, 380, 381, 382, 383, 384, 385, 386, 387, 388, 389, 390, 391, 392, 393, 394, 395, 396, 397, 398, 399, 400, 401, 402, 403, 404, 405, 406, 407, 408, 409, 410, 411, 412, 413, 414, 415, 416, 417, 418, 419, 420, 421, 422, 423, 424, 425, 426, 427, 428, 429, 430, 431, 432, 433, 434, 435, 436, 437, 438, 439, 440, 441, 442, 443, 444, 445, 446, 447, 448, 449, 450, 451, 452, 453, 454, 455, 456, 457, 458, 459, 460, 461, 462, 463, 464, 465, 466, 467, 468, 469, 470, 471, 472, 473, 474, 475, 476, 477, 478, 479, 480, 481, 482, 483, 484, 485, 486, 487, 488, 489, 490, 491, 492, 493, 494, 495, 496, 497, 498, 499, 500, 501, 502, 503, 504, 505, 506, 507, 508, 509, 510, 511, 512, 513, 514, 515, 516, 517, 518, 519, 520, 521, 522, 523, 524, 525, 526, 527, 528, 529, 530, 531, 532, 533, 534, 535, 536, 537, 538, 539, 540, 541, 542, 543, 544, 545, 546, 547, 548, 549, 550, 551, 552, 553, 554, 555, 556, 557, 558, 559, 560, 561, 562, 563, 564, 565, 566, 567, 568, 569, 570, 571, 572, 573, 574, 575, 576, 577, 578, 579, 580, 581, 582, 583, 584, 585, 586, 587, 588, 589, 590, 591, 592, 593, 594, 595, 596, 597, 598, 599, 600, 601, 602, 603, 604, 605, 606, 607, 608, 609, 610, 611, 612, 613, 614, 615, 616, 617, 618, 619, 620, 621, 622, 623, 624, 625, 626, 627, 628, 629, 630, 631, 632, 633, 634, 635, 636, 637, 638, 639, 640, 641, 642, 643, 644, 645, 646, 647, 648, 649, 650, 651, 652, 653, 654, 655, 656, 657, 658, 659, 660, 661, 662, 663, 664, 665, 666, 667, 668, 669, 670, 671, 672, 673, 674, 675, 676, 677, 678, 679, 680, 681, 682, 683, 684, 685, 686, 687, 688, 689, 690, 691, 692, 693, 694, 695, 696, 697, 698, 699, 700, 701, 702, 703, 704, 705, 706, 707, 708, 709, 710, 711, 712, 713, 714, 715, 716, 717, 718, 719, 720, 721, 722, 723, 724, 725, 726, 727, 728, 729, 730, 731, 732, 733, 734, 735, 736, 737, 738, 739, 740, 741, 742, 743, 744, 745, 746, 747, 748, 749, 750, 751, 752, 753, 754, 755, 756, 757, 758, 759, 760, 761, 762, 763, 764, 765, 766, 767, 768, 769, 770, 771, 772, 773, 774, 775, 776, 777, 778, 779, 780, 781, 782, 783, 784, 785, 786, 787, 788, 789, 790, 791, 792, 793, 794, 795, 796, 797, 798, 799, 800, 801, 802, 803, 804, 805, 806, 807, 808, 809, 810, 811, 812, 813, 814, 815, 816, 817, 818, 819, 820, 821, 822, 823, 824, 825, 826, 827, 828, 829, 830, 831, 832, 833, 834, 835, 836, 837, 838, 839, 840, 841, 842, 843, 844, 845, 846, 847, 848, 849, 850, 851, 852, 853, 854, 855, 856, 857, 858, 859, 860, 861, 862, 863, 864, 865, 866, 867, 868, 869, 870, 871, 872, 873, 874, 875, 876, 877, 878, 879, 880, 881, 882, 883, 884, 885, 886, 887, 888, 889, 890, 891, 892, 893, 894, 895, 896, 897, 898, 899, 900, 901, 902, 903, 904, 905, 906, 907, 908, 909, 910, 911, 912, 913, 914, 915, 916, 917, 918, 919, 920, 921, 922, 923, 924, 925, 926, 927, 928, 929, 930, 931, 932, 933, 934, 935, 936, 937, 938, 939, 940, 941, 942, 943, 944, 945, 946, 947, 948, 949, 950, 951, 952, 953, 954, 955, 956, 957, 958, 959, 960, 961, 962, 963, 964, 965, 966, 967, 968, 969, 970, 971, 972, 973, 974, 975, 976, 977, 978, 979, 980, 981, 982, 983, 984, 985, 986, 987, 988, 989, 990, 991, 992, 993, 994, 995, 996, 997, 998, 999, 1000, 1001, 1002, 1003, 1004, 1005, 1006, 1007, 1008, 1009, 1010, 1011, 1012, 1013, 1014, 1015, 1016, 1017, 1018, 1019, 1020, 1021, 1022, 1023]
+type i1 = Literal[-1, 0]
+type i2 = Literal[-2, -1, 0, 1]
+type i3 = Literal[-4, -3, -2, -1, 0, 1, 2, 3]
+type i4 = Literal[-8, -7, -6, -5, -4, -3, -2, -1, 0, 1, 2, 3, 4, 5, 6, 7]
+type i5 = Literal[-16, -15, -14, -13, -12, -11, -10, -9, -8, -7, -6, -5, -4, -3, -2, -1, 0, 1, 2, 3, 4, 5, 6, 7, 8, 9, 10, 11, 12, 13, 14, 15]
+type i6 = Literal[-32, -31, -30, -29, -28, -27, -26, -25, -24, -23, -22, -21, -20, -19, -18, -17, -16, -15, -14, -13, -12, -11, -10, -9, -8, -7, -6, -5, -4, -3, -2, -1, 0, 1, 2, 3, 4, 5, 6, 7, 8, 9, 10, 11, 12, 13, 14, 15, 16, 17, 18, 19, 20, 21, 22, 23, 24, 25, 26, 27, 28, 29, 30, 31]
+type i7 = Literal[-64, -63, -62, -61, -60, -59, -58, -57, -56, -55, -54, -53, -52, -51, -50, -49, -48, -47, -46, -45, -44, -43, -42, -41, -40, -39, -38, -37, -36, -35, -34, -33, -32, -31, -30, -29, -28, -27, -26, -25, -24, -23, -22, -21, -20, -19, -18, -17, -16, -15, -14, -13, -12, -11, -10, -9, -8, -7, -6, -5, -4, -3, -2, -1, 0, 1, 2, 3, 4, 5, 6, 7, 8, 9, 10, 11, 12, 13, 14, 15, 16, 17, 18, 19, 20, 21, 22, 23, 24, 25, 26, 27, 28, 29, 30, 31, 32, 33, 34, 35, 36, 37, 38, 39, 40, 41, 42, 43, 44, 45, 46, 47, 48, 49, 50, 51, 52, 53, 54, 55, 56, 57, 58, 59, 60, 61, 62, 63]
+type i8 = Literal[-128, -127, -126, -125, -124, -123, -122, -121, -120, -119, -118, -117, -116, -115, -114, -113, -112, -111, -110, -109, -108, -107, -106, -105, -104, -103, -102, -101, -100, -99, -98, -97, -96, -95, -94, -93, -92, -91, -90, -89, -88, -87, -86, -85, -84, -83, -82, -81, -80, -79, -78, -77, -76, -75, -74, -73, -72, -71, -70, -69, -68, -67, -66, -65, -64, -63, -62, -61, -60, -59, -58, -57, -56, -55, -54, -53, -52, -51, -50, -49, -48, -47, -46, -45, -44, -43, -42, -41, -40, -39, -38, -37, -36, -35, -34, -33, -32, -31, -30, -29, -28, -27, -26, -25, -24, -23, -22, -21, -20, -19, -18, -17, -16, -15, -14, -13, -12, -11, -10, -9, -8, -7, -6, -5, -4, -3, -2, -1, 0, 1, 2, 3, 4, 5, 6, 7, 8, 9, 10, 11, 12, 13, 14, 15, 16, 17, 18, 19, 20, 21, 22, 23, 24, 25, 26, 27, 28, 29, 30, 31, 32, 33, 34, 35, 36, 37, 38, 39, 40, 41, 42, 43, 44, 45, 46, 47, 48, 49, 50, 51, 52, 53, 54, 55, 56, 57, 58, 59, 60, 61, 62, 63, 64, 65, 66, 67, 68, 69, 70, 71, 72, 73, 74, 75, 76, 77, 78, 79, 80, 81, 82, 83, 84, 85, 86, 87, 88, 89, 90, 91, 92, 93, 94, 95, 96, 97, 98, 99, 100, 101, 102, 103, 104, 105, 106, 107, 108, 109, 110, 111, 112, 113, 114, 115, 116, 117, 118, 119, 120, 121, 122, 123, 124, 125, 126, 127]
+type i9 = Literal[-256, -255, -254, -253, -252, -251, -250, -249, -248, -247, -246, -245, -244, -243, -242, -241, -240, -239, -238, -237, -236, -235, -234, -233, -232, -231, -230, -229, -228, -227, -226, -225, -224, -223, -222, -221, -220, -219, -218, -217, -216, -215, -214, -213, -212, -211, -210, -209, -208, -207, -206, -205, -204, -203, -202, -201, -200, -199, -198, -197, -196, -195, -194, -193, -192, -191, -190, -189, -188, -187, -186, -185, -184, -183, -182, -181, -180, -179, -178, -177, -176, -175, -174, -173, -172, -171, -170, -169, -168, -167, -166, -165, -164, -163, -162, -161, -160, -159, -158, -157, -156, -155, -154, -153, -152, -151, -150, -149, -148, -147, -146, -145, -144, -143, -142, -141, -140, -139, -138, -137, -136, -135, -134, -133, -132, -131, -130, -129, -128, -127, -126, -125, -124, -123, -122, -121, -120, -119, -118, -117, -116, -115, -114, -113, -112, -111, -110, -109, -108, -107, -106, -105, -104, -103, -102, -101, -100, -99, -98, -97, -96, -95, -94, -93, -92, -91, -90, -89, -88, -87, -86, -85, -84, -83, -82, -81, -80, -79, -78, -77, -76, -75, -74, -73, -72, -71, -70, -69, -68, -67, -66, -65, -64, -63, -62, -61, -60, -59, -58, -57, -56, -55, -54, -53, -52, -51, -50, -49, -48, -47, -46, -45, -44, -43, -42, -41, -40, -39, -38, -37, -36, -35, -34, -33, -32, -31, -30, -29, -28, -27, -26, -25, -24, -23, -22, -21, -20, -19, -18, -17, -16, -15, -14, -13, -12, -11, -10, -9, -8, -7, -6, -5, -4, -3, -2, -1, 0, 1, 2, 3, 4, 5, 6, 7, 8, 9, 10, 11, 12, 13, 14, 15, 16, 17, 18, 19, 20, 21, 22, 23, 24, 25, 26, 27, 28, 29, 30, 31, 32, 33, 34, 35, 36, 37, 38, 39, 40, 41, 42, 43, 44, 45, 46, 47, 48, 49, 50, 51, 52, 53, 54, 55, 56, 57, 58, 59, 60, 61, 62, 63, 64, 65, 66, 67, 68, 69, 70, 71, 72, 73, 74, 75, 76, 77, 78, 79, 80, 81, 82, 83, 84, 85, 86, 87, 88, 89, 90, 91, 92, 93, 94, 95, 96, 97, 98, 99, 100, 101, 102, 103, 104, 105, 106, 107, 108, 109, 110, 111, 112, 113, 114, 115, 116, 117, 118, 119, 120, 121, 122, 123, 124, 125, 126, 127, 128, 129, 130, 131, 132, 133, 134, 135, 136, 137, 138, 139, 140, 141, 142, 143, 144, 145, 146, 147, 148, 149, 150, 151, 152, 153, 154, 155, 156, 157, 158, 159, 160, 161, 162, 163, 164, 165, 166, 167, 168, 169, 170, 171, 172, 173, 174, 175, 176, 177, 178, 179, 180, 181, 182, 183, 184, 185, 186, 187, 188, 189, 190, 191, 192, 193, 194, 195, 196, 197, 198, 199, 200, 201, 202, 203, 204, 205, 206, 207, 208, 209, 210, 211, 212, 213, 214, 215, 216, 217, 218, 219, 220, 221, 222, 223, 224, 225, 226, 227, 228, 229, 230, 231, 232, 233, 234, 235, 236, 237, 238, 239, 240, 241, 242, 243, 244, 245, 246, 247, 248, 249, 250, 251, 252, 253, 254, 255]
+type i10 = Literal[-512, -511, -510, -509, -508, -507, -506, -505, -504, -503, -502, -501, -500, -499, -498, -497, -496, -495, -494, -493, -492, -491, -490, -489, -488, -487, -486, -485, -484, -483, -482, -481, -480, -479, -478, -477, -476, -475, -474, -473, -472, -471, -470, -469, -468, -467, -466, -465, -464, -463, -462, -461, -460, -459, -458, -457, -456, -455, -454, -453, -452, -451, -450, -449, -448, -447, -446, -445, -444, -443, -442, -441, -440, -439, -438, -437, -436, -435, -434, -433, -432, -431, -430, -429, -428, -427, -426, -425, -424, -423, -422, -421, -420, -419, -418, -417, -416, -415, -414, -413, -412, -411, -410, -409, -408, -407, -406, -405, -404, -403, -402, -401, -400, -399, -398, -397, -396, -395, -394, -393, -392, -391, -390, -389, -388, -387, -386, -385, -384, -383, -382, -381, -380, -379, -378, -377, -376, -375, -374, -373, -372, -371, -370, -369, -368, -367, -366, -365, -364, -363, -362, -361, -360, -359, -358, -357, -356, -355, -354, -353, -352, -351, -350, -349, -348, -347, -346, -345, -344, -343, -342, -341, -340, -339, -338, -337, -336, -335, -334, -333, -332, -331, -330, -329, -328, -327, -326, -325, -324, -323, -322, -321, -320, -319, -318, -317, -316, -315, -314, -313, -312, -311, -310, -309, -308, -307, -306, -305, -304, -303, -302, -301, -300, -299, -298, -297, -296, -295, -294, -293, -292, -291, -290, -289, -288, -287, -286, -285, -284, -283, -282, -281, -280, -279, -278, -277, -276, -275, -274, -273, -272, -271, -270, -269, -268, -267, -266, -265, -264, -263, -262, -261, -260, -259, -258, -257, -256, -255, -254, -253, -252, -251, -250, -249, -248, -247, -246, -245, -244, -243, -242, -241, -240, -239, -238, -237, -236, -235, -234, -233, -232, -231, -230, -229, -228, -227, -226, -225, -224, -223, -222, -221, -220, -219, -218, -217, -216, -215, -214, -213, -212, -211, -210, -209, -208, -207, -206, -205, -204, -203, -202, -201, -200, -199, -198, -197, -196, -195, -194, -193, -192, -191, -190, -189, -188, -187, -186, -185, -184, -183, -182, -181, -180, -179, -178, -177, -176, -175, -174, -173, -172, -171, -170, -169, -168, -167, -166, -165, -164, -163, -162, -161, -160, -159, -158, -157, -156, -155, -154, -153, -152, -151, -150, -149, -148, -147, -146, -145, -144, -143, -142, -141, -140, -139, -138, -137, -136, -135, -134, -133, -132, -131, -130, -129, -128, -127, -126, -125, -124, -123, -122, -121, -120, -119, -118, -117, -116, -115, -114, -113, -112, -111, -110, -109, -108, -107, -106, -105, -104, -103, -102, -101, -100, -99, -98, -97, -96, -95, -94, -93, -92, -91, -90, -89, -88, -87, -86, -85, -84, -83, -82, -81, -80, -79, -78, -77, -76, -75, -74, -73, -72, -71, -70, -69, -68, -67, -66, -65, -64, -63, -62, -61, -60, -59, -58, -57, -56, -55, -54, -53, -52, -51, -50, -49, -48, -47, -46, -45, -44, -43, -42, -41, -40, -39, -38, -37, -36, -35, -34, -33, -32, -31, -30, -29, -28, -27, -26, -25, -24, -23, -22, -21, -20, -19, -18, -17, -16, -15, -14, -13, -12, -11, -10, -9, -8, -7, -6, -5, -4, -3, -2, -1, 0, 1, 2, 3, 4, 5, 6, 7, 8, 9, 10, 11, 12, 13, 14, 15, 16, 17, 18, 19, 20, 21, 22, 23, 24, 25, 26, 27, 28, 29, 30, 31, 32, 33, 34, 35, 36, 37, 38, 39, 40, 41, 42, 43, 44, 45, 46, 47, 48, 49, 50, 51, 52, 53, 54, 55, 56, 57, 58, 59, 60, 61, 62, 63, 64, 65, 66, 67, 68, 69, 70, 71, 72, 73, 74, 75, 76, 77, 78, 79, 80, 81, 82, 83, 84, 85, 86, 87, 88, 89, 90, 91, 92, 93, 94, 95, 96, 97, 98, 99, 100, 101, 102, 103, 104, 105, 106, 107, 108, 109, 110, 111, 112, 113, 114, 115, 116, 117, 118, 119, 120, 121, 122, 123, 124, 125, 126, 127, 128, 129, 130, 131, 132, 133, 134, 135, 136, 137, 138, 139, 140, 141, 142, 143, 144, 145, 146, 147, 148, 149, 150, 151, 152, 153, 154, 155, 156, 157, 158, 159, 160, 161, 162, 163, 164, 165, 166, 167, 168, 169, 170, 171, 172, 173, 174, 175, 176, 177, 178, 179, 180, 181, 182, 183, 184, 185, 186, 187, 188, 189, 190, 191, 192, 193, 194, 195, 196, 197, 198, 199, 200, 201, 202, 203, 204, 205, 206, 207, 208, 209, 210, 211, 212, 213, 214, 215, 216, 217, 218, 219, 220, 221, 222, 223, 224, 225, 226, 227, 228, 229, 230, 231, 232, 233, 234, 235, 236, 237, 238, 239, 240, 241, 242, 243, 244, 245, 246, 247, 248, 249, 250, 251, 252, 253, 254, 255, 256, 257, 258, 259, 260, 261, 262, 263, 264, 265, 266, 267, 268, 269, 270, 271, 272, 273, 274, 275, 276, 277, 278, 279, 280, 281, 282, 283, 284, 285, 286, 287, 288, 289, 290, 291, 292, 293, 294, 295, 296, 297, 298, 299, 300, 301, 302, 303, 304, 305, 306, 307, 308, 309, 310, 311, 312, 313, 314, 315, 316, 317, 318, 319, 320, 321, 322, 323, 324, 325, 326, 327, 328, 329, 330, 331, 332, 333, 334, 335, 336, 337, 338, 339, 340, 341, 342, 343, 344, 345, 346, 347, 348, 349, 350, 351, 352, 353, 354, 355, 356, 357, 358, 359, 360, 361, 362, 363, 364, 365, 366, 367, 368, 369, 370, 371, 372, 373, 374, 375, 376, 377, 378, 379, 380, 381, 382, 383, 384, 385, 386, 387, 388, 389, 390, 391, 392, 393, 394, 395, 396, 397, 398, 399, 400, 401, 402, 403, 404, 405, 406, 407, 408, 409, 410, 411, 412, 413, 414, 415, 416, 417, 418, 419, 420, 421, 422, 423, 424, 425, 426, 427, 428, 429, 430, 431, 432, 433, 434, 435, 436, 437, 438, 439, 440, 441, 442, 443, 444, 445, 446, 447, 448, 449, 450, 451, 452, 453, 454, 455, 456, 457, 458, 459, 460, 461, 462, 463, 464, 465, 466, 467, 468, 469, 470, 471, 472, 473, 474, 475, 476, 477, 478, 479, 480, 481, 482, 483, 484, 485, 486, 487, 488, 489, 490, 491, 492, 493, 494, 495, 496, 497, 498, 499, 500, 501, 502, 503, 504, 505, 506, 507, 508, 509, 510, 511]

types_bits/__main__.py

@@ -0,0 +1,39 @@
+"""``python -m types_bits`` -- materialize a stub."""
+
+from __future__ import annotations
+
+import argparse
+from pathlib import Path
+from typing import TYPE_CHECKING, cast
+
+from types_bits._generate import KINDS, VARIANTS, write
+from types_bits._spec import MAX_BITS
+
+if TYPE_CHECKING:
+    from collections.abc import Sequence
+
+    from types_bits._generate import Kind, Variant
+
+DEFAULT_OUT = Path(__file__).with_name("__init__.pyi")
+
+
+def main(argv: Sequence[str] | None = None) -> int:
+    parser = argparse.ArgumentParser(prog="python -m types_bits", description=__doc__)
+    parser.add_argument("--bits", type=int, default=MAX_BITS)
+    parser.add_argument("--variant", choices=VARIANTS, default="flat")
+    parser.add_argument("--kind", choices=KINDS, default="both")
+    parser.add_argument("--out", type=Path, default=DEFAULT_OUT)
+    args = parser.parse_args(argv)
+
+    path = write(
+        cast("Path", args.out),
+        cast("int", args.bits),
+        cast("Variant", args.variant),
+        cast("Kind", args.kind),
+    )
+    print(f"wrote {path} ({path.stat().st_size:,} bytes)")  # noqa: T201
+    return 0
+
+
+if __name__ == "__main__":
+    raise SystemExit(main())

types_bits/_generate.py

@@ -0,0 +1,216 @@
+"""Render exhaustive ``Literal`` stubs for Rust-style sized integer types.
+
+Imported lazily by the runtime tier for the width algebra; never eagerly.
+See ``python -m types_bits --help``.
+"""
+
+from __future__ import annotations
+
+import os
+from typing import TYPE_CHECKING, Final, Literal, NamedTuple, assert_never
+
+from types_bits._spec import MAX_BITS
+
+if TYPE_CHECKING:
+    from collections.abc import Iterable
+    from pathlib import Path
+
+
+class Unsigned(NamedTuple):
+    """A ``uN`` width.
+
+    >>> Unsigned(8).name, Unsigned(8).lo, Unsigned(8).hi
+    ('u8', 0, 255)
+    >>> Unsigned(4) == Signed(4)
+    False
+    """
+
+    bits: int
+    signed: Literal[False] = False
+
+    @property
+    def name(self) -> str:
+        return f"u{self.bits}"
+
+    @property
+    def lo(self) -> int:
+        return 0
+
+    @property
+    def hi(self) -> int:
+        return (1 << self.bits) - 1
+
+
+class Signed(NamedTuple):
+    """An ``iN`` width, two's complement.
+
+    >>> Signed(8).name, Signed(8).lo, Signed(8).hi
+    ('i8', -128, 127)
+    >>> Signed(1).lo, Signed(1).hi
+    (-1, 0)
+    """
+
+    bits: int
+    signed: Literal[True] = True
+
+    @property
+    def name(self) -> str:
+        return f"i{self.bits}"
+
+    @property
+    def lo(self) -> int:
+        return -(1 << (self.bits - 1))
+
+    @property
+    def hi(self) -> int:
+        return (1 << (self.bits - 1)) - 1
+
+
+type Width = Unsigned | Signed
+
+type Variant = Literal["flat", "nested", "union", "annotated", "opaque"]
+type Kind = Literal["both", "u", "i"]
+
+VARIANTS: Final[tuple[Variant, ...]] = ("flat", "nested", "union", "annotated", "opaque")
+KINDS: Final[tuple[Kind, ...]] = ("both", "u", "i")
+
+BANNER: Final = "# Generated by types_bits._generate — do not edit."
+
+
+def members(width: Width) -> range:
+    """Every value the width can hold.
+
+    >>> tuple(members(Signed(2)))
+    (-2, -1, 0, 1)
+    """
+    return range(width.lo, width.hi + 1)
+
+
+def narrower(width: Width) -> Width | None:
+    """Step down one bit, keeping the signedness; ``None`` at the floor.
+
+    >>> narrower(Unsigned(3)), narrower(Unsigned(1))
+    (Unsigned(bits=2, signed=False), None)
+    """
+    if width.bits == 1:
+        return None
+    match width:
+        case Unsigned():
+            return Unsigned(width.bits - 1)
+        case Signed():
+            return Signed(width.bits - 1)
+        case _ as unreachable:  # pyright: ignore[reportUnnecessaryComparison]
+            assert_never(unreachable)
+
+
+def added(width: Width) -> tuple[int, ...]:
+    """Take the members a width contributes over the next-narrower one.
+
+    >>> added(Unsigned(3))
+    (4, 5, 6, 7)
+    >>> added(Signed(3))
+    (-4, -3, 2, 3)
+    """
+    prev = narrower(width)
+    if prev is None:
+        return tuple(members(width))
+    return tuple(value for value in members(width) if value not in members(prev))
+
+
+def widths(bits: int, kind: Kind = "both") -> tuple[Width, ...]:
+    """Widen from one bit up to ``bits``, unsigned before signed.
+
+    >>> tuple(w.name for w in widths(2))
+    ('u1', 'u2', 'i1', 'i2')
+    """
+    unsigned = tuple(Unsigned(n) for n in range(1, bits + 1))
+    signed = tuple(Signed(n) for n in range(1, bits + 1))
+    match kind:
+        case "both":
+            return unsigned + signed
+        case "u":
+            return unsigned
+        case "i":
+            return signed
+
+
+def _literal(values: Iterable[int]) -> str:
+    return f"Literal[{', '.join(map(str, values))}]"
+
+
+def _rhs(width: Width, variant: Variant) -> str:
+    prev = narrower(width)
+    match variant:
+        case "flat":
+            return _literal(members(width))
+        case "nested":
+            if prev is None:
+                return _literal(members(width))
+            return f"Literal[{prev.name}, {', '.join(map(str, added(width)))}]"
+        case "union":
+            if prev is None:
+                return _literal(members(width))
+            return f"{prev.name} | {_literal(added(width))}"
+        case "annotated":
+            return f"Annotated[{_literal(members(width))}, Ge({width.lo}), Le({width.hi})]"
+        case "opaque":
+            return "int"
+
+
+def alias(width: Width, variant: Variant) -> str:
+    """Render one PEP 695 alias statement.
+
+    >>> alias(Unsigned(2), "flat")
+    'type u2 = Literal[0, 1, 2, 3]'
+    >>> alias(Signed(2), "union")
+    'type i2 = i1 | Literal[-2, 1]'
+    >>> alias(Unsigned(1), "annotated")
+    'type u1 = Annotated[Literal[0, 1], Ge(0), Le(1)]'
+    """
+    return f"type {width.name} = {_rhs(width, variant)}"
+
+
+def _imports(variant: Variant) -> tuple[str, ...]:
+    match variant:
+        case "flat" | "nested" | "union":
+            return ("from typing import Literal",)
+        case "annotated":
+            return ("from typing import Annotated, Literal", "from annotated_types import Ge, Le")
+        case "opaque":
+            return ()
+
+
+def _dunder_all(names: Iterable[str]) -> str:
+    return f"__all__ = [{', '.join(f'{name!r}' for name in names)}]"
+
+
+def module(bits: int, variant: Variant = "flat", kind: Kind = "both") -> str:
+    """Render a whole stub module.
+
+    >>> print(module(1, kind="u"))
+    # Generated by types_bits._generate — do not edit.
+    # variant=flat bits=1 kind=u
+    <BLANKLINE>
+    from typing import Literal
+    <BLANKLINE>
+    __all__ = ['u1']
+    <BLANKLINE>
+    type u1 = Literal[0, 1]
+    <BLANKLINE>
+    """
+    selected = widths(bits, kind)
+    sections = (
+        (BANNER, f"# variant={variant} bits={bits} kind={kind}"),
+        _imports(variant),
+        (_dunder_all([width.name for width in selected]),),
+        tuple(alias(width, variant) for width in selected),
+    )
+    return "\n\n".join("\n".join(section) for section in sections if section) + "\n"
+
+
+def write(path: Path, bits: int = MAX_BITS, variant: Variant = "flat", kind: Kind = "both") -> Path:
+    path.parent.mkdir(parents=True, exist_ok=True)
+    scratch = path.with_name(f"{path.name}.{os.getpid()}.tmp")
+    scratch.write_text(module(bits, variant, kind), encoding="utf-8")
+    scratch.replace(path)
+    return path

types_bits/_spec.py

@@ -0,0 +1,6 @@
+"""Shared by both tiers.
+
+Annotation-free on purpose; ``tests/test_runtime.py`` pins why.
+"""
+
+MAX_BITS = 10

types_bits-0.1.0.dist-info/METADATA

@@ -0,0 +1,222 @@
+Metadata-Version: 2.4
+Name: types-bits
+Version: 0.1.0
+Summary: Sized integer types: exhaustive Literal unions statically, Annotated bounds at runtime
+Author-email: JP Hutchins <jphutchins@gmail.com>
+License-Expression: MIT
+License-File: LICENSE
+Requires-Python: >=3.12
+Provides-Extra: rt
+Requires-Dist: annotated-types>=0.7; extra == 'rt'
+Description-Content-Type: text/markdown
+
+# types-bits
+
+`u1`..`u10` and `i1`..`i10` as fully materialized `Literal` unions. Generated `.pyi`, zero
+runtime cost, exhaustively checked.
+
+```python
+from typing import TYPE_CHECKING
+
+if TYPE_CHECKING:
+    from types_bits import u4
+
+x: u4 = 15  # ok
+y: u4 = 16  # error, on every checker
+```
+
+`camas` runs the gate; `camas --list` enumerates it. CI fans the same tree out over a
+runner axis, with both matrix axes emitted from `tasks.py`. `camas bench` and
+`camas bench_shapes` regenerate everything below into `bench/results/`.
+
+## Runtime cost
+
+Zero. The stub is a [PEP 484][pep484] `.pyi` behind `TYPE_CHECKING`. `import types_bits`
+loads two modules and no stdlib (`tests/test_runtime.py`). Every number below is
+type-checker wall clock, per check run.
+
+## Check cost by width
+
+Seconds, cold, best of one, Python 3.14.1 / WSL2. Encoding `flat`
+(`type uN = Literal[0, ..., 2**N-1]`), declaring `u1..uN` (so a probe at N bits holds 2^(N+1)-2 literals) and widening each
+into the next.
+
+| bits | mypy | pyright | basedpyright | ty | pyrefly | zuban |
+|---:|---:|---:|---:|---:|---:|---:|
+| 8 | 2.30 | 0.68 | 0.71 | 0.08 | 0.32 | 0.10 |
+| 10 | 1.98 | 0.75 | 0.83 | 0.09 | 0.38 | 0.12 |
+| 12 | 2.22 | 0.79 | 0.85 | 0.11 | 0.31 | 0.33 |
+| 14 | 3.10 | 0.59 | 0.64 | 0.17 | 0.27 | 3.23 |
+| 16 | 3.85 | 0.70 | 0.79 | 0.41 | 0.46 | 51.26 |
+
+Shipped library (`u1..u10` + `i1..i10`): mypy 2.05, basedpyright 1.43,
+pyright 1.13, pyrefly 0.24, zuban 0.08, ty 0.06 — matching the `type uN = int` control.
+
+```mermaid
+xychart-beta
+    title "16 bits"
+    x-axis [zuban, mypy, basedpyright, pyright, pyrefly, ty]
+    y-axis "seconds" 0 --> 55
+    bar [51.26, 3.85, 0.79, 0.70, 0.46, 0.41]
+```
+
+zuban, same sweep — roughly 16x per extra 2 bits past 12:
+
+```mermaid
+xychart-beta
+    title "zuban vs width"
+    x-axis "bits" [8, 10, 12, 14, 16]
+    y-axis "seconds" 0 --> 55
+    line [0.10, 0.12, 0.33, 3.23, 51.26]
+```
+
+The other five, 0–4s axis. Rising line is mypy; flat cluster is pyright, basedpyright,
+pyrefly, ty:
+
+```mermaid
+xychart-beta
+    title "mypy, pyright, basedpyright, pyrefly, ty"
+    x-axis "bits" [8, 10, 12, 14, 16]
+    y-axis "seconds" 0 --> 4
+    line [2.30, 1.98, 2.22, 3.10, 3.85]
+    line [0.68, 0.75, 0.79, 0.59, 0.70]
+    line [0.71, 0.83, 0.85, 0.64, 0.79]
+    line [0.32, 0.38, 0.31, 0.27, 0.46]
+    line [0.08, 0.09, 0.11, 0.17, 0.41]
+```
+
+## Fixed vs marginal cost
+
+`u(N-1)` and `u(N)` declared in every row; only the use count varies. Italic rows are the
+`type uN = int` control.
+
+10 bits — indistinguishable from `int`:
+
+| uses | mypy | pyright | basedpyright | ty | pyrefly | zuban |
+|---|---:|---:|---:|---:|---:|---:|
+| declared, unused | 1.64 | 0.55 | 0.60 | 0.05 | 0.23 | 0.10 |
+| *control* | *1.64* | *0.60* | *0.59* | *0.06* | *0.23* | *0.08* |
+| 1 widening | 1.50 | 0.56 | 0.64 | 0.06 | 0.26 | 0.09 |
+| 10 widenings | 1.75 | 0.65 | 0.90 | 0.08 | 0.29 | 0.20 |
+
+16 bits — 98,304 literals:
+
+| uses | mypy | pyright | basedpyright | ty | pyrefly | zuban |
+|---|---:|---:|---:|---:|---:|---:|
+| declared, unused | 2.79 | 0.66 | 0.64 | 0.18 | 0.29 | 0.20 |
+| *control* | *1.57* | *0.62* | *0.59* | *0.05* | *0.28* | *0.08* |
+| 1 assignment | 2.77 | 0.62 | 0.65 | 0.19 | 0.33 | 0.21 |
+| 1 widening | 2.81 | 0.64 | 0.65 | 0.22 | 0.37 | **35.66** |
+| 10 widenings | 3.31 | 0.56 | 0.58 | 0.20 | 0.31 | **timeout (>180s)** |
+
+- Declaration: fixed per check run, ~linear in literals (~12 µs/literal on mypy). Not per
+  importing file, not per use.
+- Assignment: free. Enumerated membership is a hash lookup.
+- Widening: free except zuban at width.
+
+## Widening
+
+Cost tracks the *narrow* operand, not the wide one. Wide side fixed at `u16`, one widening:
+
+| narrow | zuban | mypy | ty |
+|---|---:|---:|---:|
+| u1 | 0.18 | 2.54 | 0.20 |
+| u4 | 0.18 | 2.46 | 0.15 |
+| u8 | 0.16 | 2.67 | 0.21 |
+| u12 | 0.76 | 2.50 | 0.17 |
+| u15 | 35.21 | 2.80 | 0.18 |
+
+Both operands must be large. At the 10-bit ceiling the worst case (`u9` → `u10`) is 0.09s.
+Annotating a boundary at one width, so callers assign literals rather than widen between
+adjacent wide aliases, avoids the shape entirely.
+
+## Encodings
+
+| encoding | form | result |
+|---|---|---|
+| `flat` | `Literal[0, ..., 2**N-1]` | shipped; fastest, portable |
+| `nested` | `Literal[u9, 512, ...]` | legal per [PEP 586][pep586]; pyrefly rejects past ~10 levels (`Invalid type inside literal, int`, 1 error at 10 bits → 7 at 16), ty at 16 |
+| `union` | `u9 \| Literal[512, ...]` | ty 44.24s at 14 bits vs 0.17s flat |
+| `annotated` | `Annotated[Literal[...], Ge, Le]` | tracks `flat` within noise to 14 bits |
+| `opaque` | `int` | control |
+
+```mermaid
+xychart-beta
+    title "ty at 14 bits by encoding"
+    x-axis [union, nested, annotated, flat]
+    y-axis "seconds" 0 --> 46
+    bar [44.24, 0.23, 0.22, 0.17]
+```
+
+## Runtime tier
+
+[PEP 562][pep562] module `__getattr__` resolves the same names to
+`Annotated[int, Ge(lo), Le(hi)]` ([PEP 593][pep593]), the shape
+[`annotated-types`][at] consumers read. `tests/test_runtime.py` pins it against the static
+bounds for all 20 widths. Needs the `rt` extra; `annotated_types` imports on first
+attribute access.
+
+```python
+from pydantic import TypeAdapter
+from types_bits import u8  # Annotated[int, Ge(0), Le(255)] at runtime
+
+TypeAdapter(u8).validate_python(256)  # ValidationError
+```
+
+## Prior art
+
+[`range-typed-integers`][rti] defines `u8 = NewType('u8', Annotated[int, ValueRange(0, 255)])`
+for the byte widths `u8`..`u64` / `i8`..`i64`.
+
+| | range-typed-integers | types-bits |
+|---|---|---|
+| carrier | `NewType` over `Annotated[int, ValueRange]` | `Literal` enumeration |
+| bound enforced by | runtime `u8_checked()` / `check_int()`, raising `IntegerBoundError` | the type checker |
+| `a: u8 = 12` | mypy error — `int` is not `u8`; requires `u8(12)` | ok |
+| `a: u8 = 900` | mypy error, *identical* to the line above | error, and distinguished |
+| `u8(900)` | accepted statically | n/a |
+| widths | u8..u64 | u1..u10 |
+
+Verified against every checker in the gate: mypy reports the same `Incompatible types in assignment
+(expression has type "int", variable has type "u8")` on the in-range and out-of-range
+lines alike. The range is metadata no checker reads ([PEP 746][pep746] would not change
+this). `ValueRange` is O(1) per type, so it reaches u64; enumeration is O(2^N), so it
+stops at u10.
+
+## PEPs
+
+No PEP provides bounded integers.
+
+| PEP | Status | Relevance |
+|---|---|---|
+| [586 – Literal Types][pep586] | Final | The mechanism. Calls `Literal` insufficient for numpy-style numeric code and defers integer generics. Permits the `nested` form pyrefly rejects. |
+| [593 – `Annotated`][pep593] | Final | Metadata channel for the runtime tier. |
+| [695 – Type Parameter Syntax][pep695] | Final | `type uN = ...` in the stub. |
+| [561 – Packaging Type Information][pep561] | Final | `py.typed`; why the stub ships in the wheel. |
+| [562 – Module `__getattr__`][pep562] | Final | One name, two tiers. |
+| [649][pep649] / [749][pep749] – Deferred Annotations | Final (3.14) | Guarded import gets cheaper. |
+| [746 – Type checking `Annotated` metadata][pep746] | Draft, targets 3.15 | Lets a checker verify metadata suits its type. Does not make any checker enforce `Ge`/`Le`. |
+
+- [python/typing#554, "Support for Range Types?"][i554] — closed. Requested an Ada-style
+  `RangeType`.
+- [discuss.python.org, "Use type hinting with bound constraints, e.g. `int[0:15]`"][thread]
+  — no resolution. Objections: most constraints are not statically validatable; ranges need
+  new type-system machinery; arithmetic is not closed. Landed on `Annotated` +
+  `annotated-types` with runtime validation.
+
+`fixtures/reject.py` covers the arithmetic case: every checker rejects `u4 + u4` where a
+`u4` is required. mypy widens the sum to `int`; ty and zuban widen it to `Literal[0, ..., 30]`.
+
+[pep484]: https://peps.python.org/pep-0484/
+[pep561]: https://peps.python.org/pep-0561/
+[pep562]: https://peps.python.org/pep-0562/
+[pep586]: https://peps.python.org/pep-0586/
+[pep593]: https://peps.python.org/pep-0593/
+[pep649]: https://peps.python.org/pep-0649/
+[pep695]: https://peps.python.org/pep-0695/
+[pep746]: https://peps.python.org/pep-0746/
+[pep749]: https://peps.python.org/pep-0749/
+[at]: https://github.com/annotated-types/annotated-types
+[i554]: https://github.com/python/typing/issues/554
+[thread]: https://discuss.python.org/t/use-type-hinting-with-bound-constraints-e-g-int-0-15/38820
+[rti]: https://github.com/theCapypara/range-typed-integers

types_bits-0.1.0.dist-info/RECORD

@@ -0,0 +1,10 @@
+types_bits/__init__.py,sha256=KWjhWzFBU_AlRFYmGX4Ivpj2Vetkjcp3lHC5vB1hiGM,735
+types_bits/__init__.pyi,sha256=fhsSIyAQ5WfQagJGnygKxLGMCeH8UrU58pJ3a6F4rk0,20513
+types_bits/__main__.py,sha256=capR_YPj4T2SphzQxaEOOu_zGMMD8jjwHOPuJzs8A8s,1178
+types_bits/_generate.py,sha256=toXd2w9rZjcXBoNkANdkdhzilCm9GJr36Iv9uP3jK9o,6006
+types_bits/_spec.py,sha256=IxO5nKnXEjBCJM_EAmxR0FjyKKJDS-h8whR6oGFisAY,109
+types_bits/py.typed,sha256=47DEQpj8HBSa-_TImW-5JCeuQeRkm5NMpJWZG3hSuFU,0
+types_bits-0.1.0.dist-info/METADATA,sha256=7GttperlGHPHYlWPmFntzAFfNDPleNdn_GkmEkWv1DA,8874
+types_bits-0.1.0.dist-info/WHEEL,sha256=lCkmxWfQsSc9CfIClYeavTdQeEX2toPqufh9gI35EQA,87
+types_bits-0.1.0.dist-info/licenses/LICENSE,sha256=WqlOTEeKt2qflqeLgs0Gl4FCfY0_mSc0BbwEbD8b8jM,1068
+types_bits-0.1.0.dist-info/RECORD,,

types_bits-0.1.0.dist-info/WHEEL

@@ -0,0 +1,4 @@
+Wheel-Version: 1.0
+Generator: hatchling 1.31.0
+Root-Is-Purelib: true
+Tag: py3-none-any

types_bits-0.1.0.dist-info/licenses/LICENSE

@@ -0,0 +1,21 @@
+MIT License
+
+Copyright (c) 2026 JP Hutchins
+
+Permission is hereby granted, free of charge, to any person obtaining a copy
+of this software and associated documentation files (the "Software"), to deal
+in the Software without restriction, including without limitation the rights
+to use, copy, modify, merge, publish, distribute, sublicense, and/or sell
+copies of the Software, and to permit persons to whom the Software is
+furnished to do so, subject to the following conditions:
+
+The above copyright notice and this permission notice shall be included in all
+copies or substantial portions of the Software.
+
+THE SOFTWARE IS PROVIDED "AS IS", WITHOUT WARRANTY OF ANY KIND, EXPRESS OR
+IMPLIED, INCLUDING BUT NOT LIMITED TO THE WARRANTIES OF MERCHANTABILITY,
+FITNESS FOR A PARTICULAR PURPOSE AND NONINFRINGEMENT. IN NO EVENT SHALL THE
+AUTHORS OR COPYRIGHT HOLDERS BE LIABLE FOR ANY CLAIM, DAMAGES OR OTHER
+LIABILITY, WHETHER IN AN ACTION OF CONTRACT, TORT OR OTHERWISE, ARISING FROM,
+OUT OF OR IN CONNECTION WITH THE SOFTWARE OR THE USE OR OTHER DEALINGS IN THE
+SOFTWARE.