tpy-lang 0.3.0.dev0__py3-none-any.whl
This diff represents the content of publicly available package versions that have been released to one of the supported registries. The information contained in this diff is provided for informational purposes only and reflects changes between package versions as they appear in their respective public registries.
- tpy_lang-0.3.0.dev0.dist-info/METADATA +151 -0
- tpy_lang-0.3.0.dev0.dist-info/RECORD +333 -0
- tpy_lang-0.3.0.dev0.dist-info/WHEEL +4 -0
- tpy_lang-0.3.0.dev0.dist-info/entry_points.txt +3 -0
- tpyc/__init__.py +104 -0
- tpyc/__main__.py +6 -0
- tpyc/_buildinfo.py +1 -0
- tpyc/_data/docs/LANGUAGE_FEATURES.md +6278 -0
- tpyc/_data/docs/STDLIB_ROADMAP.md +1258 -0
- tpyc/_data/docs/TPY_FOR_AGENTS.md +556 -0
- tpyc/_data/lib/tpy/_bindings/__init__.py +6 -0
- tpyc/_data/lib/tpy/_bindings/pcre2.py +173 -0
- tpyc/_data/lib/tpy/_bindings/posix_socket.py +161 -0
- tpyc/_data/lib/tpy/_functools_macros.py +80 -0
- tpyc/_data/lib/tpy/_macro_helpers.py +161 -0
- tpyc/_data/lib/tpy/argparse.py +2062 -0
- tpyc/_data/lib/tpy/asyncio/__init__.py +744 -0
- tpyc/_data/lib/tpy/asyncio/_executor.py +515 -0
- tpyc/_data/lib/tpy/base64.py +410 -0
- tpyc/_data/lib/tpy/bisect.py +39 -0
- tpyc/_data/lib/tpy/builtins.py +38 -0
- tpyc/_data/lib/tpy/dataclasses.py +354 -0
- tpyc/_data/lib/tpy/enum.py +23 -0
- tpyc/_data/lib/tpy/functools.py +33 -0
- tpyc/_data/lib/tpy/hashlib.py +206 -0
- tpyc/_data/lib/tpy/heapq.py +118 -0
- tpyc/_data/lib/tpy/io.py +395 -0
- tpyc/_data/lib/tpy/json.py +221 -0
- tpyc/_data/lib/tpy/math.py +406 -0
- tpyc/_data/lib/tpy/random.py +597 -0
- tpyc/_data/lib/tpy/re.py +467 -0
- tpyc/_data/lib/tpy/socket.py +379 -0
- tpyc/_data/lib/tpy/struct.py +178 -0
- tpyc/_data/lib/tpy/sys.py +40 -0
- tpyc/_data/lib/tpy/time.py +39 -0
- tpyc/_data/lib/tpy/tpy/__init__.py +78 -0
- tpyc/_data/lib/tpy/tpy/_bootstrap/__init__.py +10 -0
- tpyc/_data/lib/tpy/tpy/_bootstrap/_decorators.py +37 -0
- tpyc/_data/lib/tpy/tpy/_bootstrap/_extern.py +64 -0
- tpyc/_data/lib/tpy/tpy/_builtins/__init__.py +11 -0
- tpyc/_data/lib/tpy/tpy/_builtins/_bytes.py +378 -0
- tpyc/_data/lib/tpy/tpy/_builtins/_dict.py +151 -0
- tpyc/_data/lib/tpy/tpy/_builtins/_exceptions.py +125 -0
- tpyc/_data/lib/tpy/tpy/_builtins/_funcs.py +681 -0
- tpyc/_data/lib/tpy/tpy/_builtins/_io.py +97 -0
- tpyc/_data/lib/tpy/tpy/_builtins/_list.py +127 -0
- tpyc/_data/lib/tpy/tpy/_builtins/_range.py +52 -0
- tpyc/_data/lib/tpy/tpy/_builtins/_set.py +139 -0
- tpyc/_data/lib/tpy/tpy/_builtins/_super.py +11 -0
- tpyc/_data/lib/tpy/tpy/_builtins/_types.py +661 -0
- tpyc/_data/lib/tpy/tpy/_core/__init__.py +23 -0
- tpyc/_data/lib/tpy/tpy/_core/_bytes_view.py +129 -0
- tpyc/_data/lib/tpy/tpy/_core/_containers.py +137 -0
- tpyc/_data/lib/tpy/tpy/_core/_functions.py +40 -0
- tpyc/_data/lib/tpy/tpy/_core/_types.py +2061 -0
- tpyc/_data/lib/tpy/tpy/_typing/__init__.py +77 -0
- tpyc/_data/lib/tpy/tpy/_version.py +29 -0
- tpyc/_data/lib/tpy/tpy/bits.py +28 -0
- tpyc/_data/lib/tpy/tpy/coro/__init__.py +127 -0
- tpyc/_data/lib/tpy/tpy/extern.py +8 -0
- tpyc/_data/lib/tpy/tpy/mem.py +49 -0
- tpyc/_data/lib/tpy/tpy/unsafe.py +195 -0
- tpyc/_data/lib/tpy/tpy/version.py +21 -0
- tpyc/_data/lib/tpy/typing.py +13 -0
- tpyc/_data/runtime/cpp/include/tpy/any.hpp +461 -0
- tpyc/_data/runtime/cpp/include/tpy/as_ostream.hpp +117 -0
- tpyc/_data/runtime/cpp/include/tpy/async.hpp +76 -0
- tpyc/_data/runtime/cpp/include/tpy/bigint.hpp +1343 -0
- tpyc/_data/runtime/cpp/include/tpy/builtins.hpp +400 -0
- tpyc/_data/runtime/cpp/include/tpy/bytes_ops.hpp +469 -0
- tpyc/_data/runtime/cpp/include/tpy/container_ops.hpp +487 -0
- tpyc/_data/runtime/cpp/include/tpy/copy_iter.hpp +82 -0
- tpyc/_data/runtime/cpp/include/tpy/core.hpp +558 -0
- tpyc/_data/runtime/cpp/include/tpy/dict_ops.hpp +289 -0
- tpyc/_data/runtime/cpp/include/tpy/dunder.hpp +750 -0
- tpyc/_data/runtime/cpp/include/tpy/dynamic.hpp +44 -0
- tpyc/_data/runtime/cpp/include/tpy/enum.hpp +40 -0
- tpyc/_data/runtime/cpp/include/tpy/file.hpp +245 -0
- tpyc/_data/runtime/cpp/include/tpy/fixed_int.hpp +317 -0
- tpyc/_data/runtime/cpp/include/tpy/format.hpp +954 -0
- tpyc/_data/runtime/cpp/include/tpy/frame_slot.hpp +120 -0
- tpyc/_data/runtime/cpp/include/tpy/generator.hpp +47 -0
- tpyc/_data/runtime/cpp/include/tpy/iterable_ops.hpp +122 -0
- tpyc/_data/runtime/cpp/include/tpy/itertools.hpp +749 -0
- tpyc/_data/runtime/cpp/include/tpy/next_iter.hpp +82 -0
- tpyc/_data/runtime/cpp/include/tpy/ordered_map.hpp +518 -0
- tpyc/_data/runtime/cpp/include/tpy/ordered_set.hpp +337 -0
- tpyc/_data/runtime/cpp/include/tpy/own_iter.hpp +54 -0
- tpyc/_data/runtime/cpp/include/tpy/pascal_graph_sdl.hpp +192 -0
- tpyc/_data/runtime/cpp/include/tpy/printing.hpp +302 -0
- tpyc/_data/runtime/cpp/include/tpy/protocols.hpp +61 -0
- tpyc/_data/runtime/cpp/include/tpy/range.hpp +115 -0
- tpyc/_data/runtime/cpp/include/tpy/ranges.hpp +212 -0
- tpyc/_data/runtime/cpp/include/tpy/set_ops.hpp +265 -0
- tpyc/_data/runtime/cpp/include/tpy/slice.hpp +47 -0
- tpyc/_data/runtime/cpp/include/tpy/span_iter.hpp +42 -0
- tpyc/_data/runtime/cpp/include/tpy/stdlib/math.hpp +41 -0
- tpyc/_data/runtime/cpp/include/tpy/stdlib/pcre2_h.hpp +96 -0
- tpyc/_data/runtime/cpp/include/tpy/stdlib/random.hpp +25 -0
- tpyc/_data/runtime/cpp/include/tpy/stdlib/socket_h.hpp +145 -0
- tpyc/_data/runtime/cpp/include/tpy/stdlib/time.hpp +62 -0
- tpyc/_data/runtime/cpp/include/tpy/system.hpp +121 -0
- tpyc/_data/runtime/cpp/include/tpy/throwable.hpp +55 -0
- tpyc/_data/runtime/cpp/include/tpy/tpy.hpp +156 -0
- tpyc/_data/runtime/cpp/include/tpy/type_name.hpp +77 -0
- tpyc/_data/runtime/cpp/include/tpy/type_traits.hpp +240 -0
- tpyc/_data/runtime/cpp/include/tpy/uninit_array_storage.hpp +250 -0
- tpyc/_data/runtime/cpp/include/tpy/uninit_heap_storage.hpp +277 -0
- tpyc/_data/runtime/cpp/include/tpy/varargs.hpp +174 -0
- tpyc/_data/runtime/cpp/include/tpy/variant_ref.hpp +118 -0
- tpyc/_data/runtime/cpp/src/stdlib/socket_impl.cpp +104 -0
- tpyc/_data/runtime/cpp/third_party/README.md +58 -0
- tpyc/_data/runtime/cpp/third_party/pcre2/AUTHORS +36 -0
- tpyc/_data/runtime/cpp/third_party/pcre2/CMakeLists.txt +1233 -0
- tpyc/_data/runtime/cpp/third_party/pcre2/COPYING +5 -0
- tpyc/_data/runtime/cpp/third_party/pcre2/ChangeLog +3097 -0
- tpyc/_data/runtime/cpp/third_party/pcre2/HACKING +853 -0
- tpyc/_data/runtime/cpp/third_party/pcre2/INSTALL +368 -0
- tpyc/_data/runtime/cpp/third_party/pcre2/LICENCE +94 -0
- tpyc/_data/runtime/cpp/third_party/pcre2/NEWS +492 -0
- tpyc/_data/runtime/cpp/third_party/pcre2/NON-AUTOTOOLS-BUILD +430 -0
- tpyc/_data/runtime/cpp/third_party/pcre2/README +956 -0
- tpyc/_data/runtime/cpp/third_party/pcre2/cmake/COPYING-CMAKE-SCRIPTS +22 -0
- tpyc/_data/runtime/cpp/third_party/pcre2/cmake/FindEditline.cmake +16 -0
- tpyc/_data/runtime/cpp/third_party/pcre2/cmake/FindPackageHandleStandardArgs.cmake +58 -0
- tpyc/_data/runtime/cpp/third_party/pcre2/cmake/FindReadline.cmake +29 -0
- tpyc/_data/runtime/cpp/third_party/pcre2/cmake/pcre2-config-version.cmake.in +15 -0
- tpyc/_data/runtime/cpp/third_party/pcre2/cmake/pcre2-config.cmake.in +148 -0
- tpyc/_data/runtime/cpp/third_party/pcre2/config-cmake.h.in +56 -0
- tpyc/_data/runtime/cpp/third_party/pcre2/libpcre2-16.pc.in +13 -0
- tpyc/_data/runtime/cpp/third_party/pcre2/libpcre2-32.pc.in +13 -0
- tpyc/_data/runtime/cpp/third_party/pcre2/libpcre2-8.pc.in +13 -0
- tpyc/_data/runtime/cpp/third_party/pcre2/libpcre2-posix.pc.in +13 -0
- tpyc/_data/runtime/cpp/third_party/pcre2/pcre2-config.in +121 -0
- tpyc/_data/runtime/cpp/third_party/pcre2/src/config.h +483 -0
- tpyc/_data/runtime/cpp/third_party/pcre2/src/config.h.generic +483 -0
- tpyc/_data/runtime/cpp/third_party/pcre2/src/config.h.in +460 -0
- tpyc/_data/runtime/cpp/third_party/pcre2/src/pcre2.h +1010 -0
- tpyc/_data/runtime/cpp/third_party/pcre2/src/pcre2.h.generic +1010 -0
- tpyc/_data/runtime/cpp/third_party/pcre2/src/pcre2.h.in +1010 -0
- tpyc/_data/runtime/cpp/third_party/pcre2/src/pcre2_auto_possess.c +1371 -0
- tpyc/_data/runtime/cpp/third_party/pcre2/src/pcre2_chartables.c +196 -0
- tpyc/_data/runtime/cpp/third_party/pcre2/src/pcre2_chartables.c.dist +196 -0
- tpyc/_data/runtime/cpp/third_party/pcre2/src/pcre2_chkdint.c +96 -0
- tpyc/_data/runtime/cpp/third_party/pcre2/src/pcre2_compile.c +11001 -0
- tpyc/_data/runtime/cpp/third_party/pcre2/src/pcre2_config.c +252 -0
- tpyc/_data/runtime/cpp/third_party/pcre2/src/pcre2_context.c +510 -0
- tpyc/_data/runtime/cpp/third_party/pcre2/src/pcre2_convert.c +1189 -0
- tpyc/_data/runtime/cpp/third_party/pcre2/src/pcre2_dfa_match.c +4119 -0
- tpyc/_data/runtime/cpp/third_party/pcre2/src/pcre2_dftables.c +297 -0
- tpyc/_data/runtime/cpp/third_party/pcre2/src/pcre2_error.c +345 -0
- tpyc/_data/runtime/cpp/third_party/pcre2/src/pcre2_extuni.c +162 -0
- tpyc/_data/runtime/cpp/third_party/pcre2/src/pcre2_find_bracket.c +219 -0
- tpyc/_data/runtime/cpp/third_party/pcre2/src/pcre2_fuzzsupport.c +792 -0
- tpyc/_data/runtime/cpp/third_party/pcre2/src/pcre2_internal.h +2084 -0
- tpyc/_data/runtime/cpp/third_party/pcre2/src/pcre2_intmodedep.h +940 -0
- tpyc/_data/runtime/cpp/third_party/pcre2/src/pcre2_jit_compile.c +14972 -0
- tpyc/_data/runtime/cpp/third_party/pcre2/src/pcre2_jit_match.c +200 -0
- tpyc/_data/runtime/cpp/third_party/pcre2/src/pcre2_jit_misc.c +234 -0
- tpyc/_data/runtime/cpp/third_party/pcre2/src/pcre2_jit_neon_inc.h +354 -0
- tpyc/_data/runtime/cpp/third_party/pcre2/src/pcre2_jit_simd_inc.h +2355 -0
- tpyc/_data/runtime/cpp/third_party/pcre2/src/pcre2_jit_test.c +2528 -0
- tpyc/_data/runtime/cpp/third_party/pcre2/src/pcre2_maketables.c +165 -0
- tpyc/_data/runtime/cpp/third_party/pcre2/src/pcre2_match.c +7777 -0
- tpyc/_data/runtime/cpp/third_party/pcre2/src/pcre2_match_data.c +185 -0
- tpyc/_data/runtime/cpp/third_party/pcre2/src/pcre2_newline.c +243 -0
- tpyc/_data/runtime/cpp/third_party/pcre2/src/pcre2_ord2utf.c +120 -0
- tpyc/_data/runtime/cpp/third_party/pcre2/src/pcre2_pattern_info.c +432 -0
- tpyc/_data/runtime/cpp/third_party/pcre2/src/pcre2_printint.c +886 -0
- tpyc/_data/runtime/cpp/third_party/pcre2/src/pcre2_script_run.c +344 -0
- tpyc/_data/runtime/cpp/third_party/pcre2/src/pcre2_serialize.c +286 -0
- tpyc/_data/runtime/cpp/third_party/pcre2/src/pcre2_string_utils.c +237 -0
- tpyc/_data/runtime/cpp/third_party/pcre2/src/pcre2_study.c +1915 -0
- tpyc/_data/runtime/cpp/third_party/pcre2/src/pcre2_substitute.c +1009 -0
- tpyc/_data/runtime/cpp/third_party/pcre2/src/pcre2_substring.c +550 -0
- tpyc/_data/runtime/cpp/third_party/pcre2/src/pcre2_tables.c +234 -0
- tpyc/_data/runtime/cpp/third_party/pcre2/src/pcre2_ucd.c +5460 -0
- tpyc/_data/runtime/cpp/third_party/pcre2/src/pcre2_ucp.h +396 -0
- tpyc/_data/runtime/cpp/third_party/pcre2/src/pcre2_ucptables.c +1533 -0
- tpyc/_data/runtime/cpp/third_party/pcre2/src/pcre2_valid_utf.c +398 -0
- tpyc/_data/runtime/cpp/third_party/pcre2/src/pcre2_xclass.c +308 -0
- tpyc/_data/runtime/cpp/third_party/pcre2/src/pcre2demo.c +497 -0
- tpyc/_data/runtime/cpp/third_party/pcre2/src/pcre2grep.c +4606 -0
- tpyc/_data/runtime/cpp/third_party/pcre2/src/pcre2posix.c +425 -0
- tpyc/_data/runtime/cpp/third_party/pcre2/src/pcre2posix.h +187 -0
- tpyc/_data/runtime/cpp/third_party/pcre2/src/pcre2posix_test.c +209 -0
- tpyc/_data/runtime/cpp/third_party/pcre2/src/pcre2test.c +9708 -0
- tpyc/_data/runtime/cpp/third_party/pcre2/src/sljit/allocator_src/sljitExecAllocatorApple.c +137 -0
- tpyc/_data/runtime/cpp/third_party/pcre2/src/sljit/allocator_src/sljitExecAllocatorCore.c +327 -0
- tpyc/_data/runtime/cpp/third_party/pcre2/src/sljit/allocator_src/sljitExecAllocatorFreeBSD.c +89 -0
- tpyc/_data/runtime/cpp/third_party/pcre2/src/sljit/allocator_src/sljitExecAllocatorPosix.c +62 -0
- tpyc/_data/runtime/cpp/third_party/pcre2/src/sljit/allocator_src/sljitExecAllocatorWindows.c +40 -0
- tpyc/_data/runtime/cpp/third_party/pcre2/src/sljit/allocator_src/sljitProtExecAllocatorNetBSD.c +72 -0
- tpyc/_data/runtime/cpp/third_party/pcre2/src/sljit/allocator_src/sljitProtExecAllocatorPosix.c +172 -0
- tpyc/_data/runtime/cpp/third_party/pcre2/src/sljit/allocator_src/sljitWXExecAllocatorPosix.c +141 -0
- tpyc/_data/runtime/cpp/third_party/pcre2/src/sljit/allocator_src/sljitWXExecAllocatorWindows.c +102 -0
- tpyc/_data/runtime/cpp/third_party/pcre2/src/sljit/sljitConfig.h +142 -0
- tpyc/_data/runtime/cpp/third_party/pcre2/src/sljit/sljitConfigCPU.h +188 -0
- tpyc/_data/runtime/cpp/third_party/pcre2/src/sljit/sljitConfigInternal.h +907 -0
- tpyc/_data/runtime/cpp/third_party/pcre2/src/sljit/sljitLir.c +3561 -0
- tpyc/_data/runtime/cpp/third_party/pcre2/src/sljit/sljitLir.h +2466 -0
- tpyc/_data/runtime/cpp/third_party/pcre2/src/sljit/sljitNativeARM_32.c +4636 -0
- tpyc/_data/runtime/cpp/third_party/pcre2/src/sljit/sljitNativeARM_64.c +3491 -0
- tpyc/_data/runtime/cpp/third_party/pcre2/src/sljit/sljitNativeARM_T2_32.c +4302 -0
- tpyc/_data/runtime/cpp/third_party/pcre2/src/sljit/sljitNativeLOONGARCH_64.c +3765 -0
- tpyc/_data/runtime/cpp/third_party/pcre2/src/sljit/sljitNativeMIPS_32.c +472 -0
- tpyc/_data/runtime/cpp/third_party/pcre2/src/sljit/sljitNativeMIPS_64.c +387 -0
- tpyc/_data/runtime/cpp/third_party/pcre2/src/sljit/sljitNativeMIPS_common.c +4259 -0
- tpyc/_data/runtime/cpp/third_party/pcre2/src/sljit/sljitNativePPC_32.c +485 -0
- tpyc/_data/runtime/cpp/third_party/pcre2/src/sljit/sljitNativePPC_64.c +719 -0
- tpyc/_data/runtime/cpp/third_party/pcre2/src/sljit/sljitNativePPC_common.c +3161 -0
- tpyc/_data/runtime/cpp/third_party/pcre2/src/sljit/sljitNativeRISCV_32.c +142 -0
- tpyc/_data/runtime/cpp/third_party/pcre2/src/sljit/sljitNativeRISCV_64.c +222 -0
- tpyc/_data/runtime/cpp/third_party/pcre2/src/sljit/sljitNativeRISCV_common.c +3121 -0
- tpyc/_data/runtime/cpp/third_party/pcre2/src/sljit/sljitNativeS390X.c +4526 -0
- tpyc/_data/runtime/cpp/third_party/pcre2/src/sljit/sljitNativeX86_32.c +1685 -0
- tpyc/_data/runtime/cpp/third_party/pcre2/src/sljit/sljitNativeX86_64.c +1398 -0
- tpyc/_data/runtime/cpp/third_party/pcre2/src/sljit/sljitNativeX86_common.c +5001 -0
- tpyc/_data/runtime/cpp/third_party/pcre2/src/sljit/sljitSerialize.c +516 -0
- tpyc/_data/runtime/cpp/third_party/pcre2/src/sljit/sljitUtils.c +344 -0
- tpyc/_data/runtime/cpp/third_party/pcre2.sources.txt +54 -0
- tpyc/_data/runtime/cpp/third_party/pcre2.vendor.json +7 -0
- tpyc/build/__init__.py +7 -0
- tpyc/build/pcre2.py +122 -0
- tpyc/build/third_party.py +413 -0
- tpyc/cli.py +822 -0
- tpyc/codegen_cpp/__init__.py +18 -0
- tpyc/codegen_cpp/builtins.py +484 -0
- tpyc/codegen_cpp/context.py +2064 -0
- tpyc/codegen_cpp/expressions.py +5940 -0
- tpyc/codegen_cpp/functions.py +1913 -0
- tpyc/codegen_cpp/gen_async.py +3258 -0
- tpyc/codegen_cpp/gen_generators.py +657 -0
- tpyc/codegen_cpp/generator.py +2258 -0
- tpyc/codegen_cpp/match.py +1997 -0
- tpyc/codegen_cpp/param_const.py +172 -0
- tpyc/codegen_cpp/protocols.py +907 -0
- tpyc/codegen_cpp/records.py +1654 -0
- tpyc/codegen_cpp/resumable_cfg.py +1651 -0
- tpyc/codegen_cpp/statements.py +4963 -0
- tpyc/codegen_cpp/string_dispatch.py +76 -0
- tpyc/codegen_cpp/test_context.py +46 -0
- tpyc/codegen_cpp/test_param_const.py +113 -0
- tpyc/codegen_cpp/test_resumable_cfg.py +182 -0
- tpyc/codegen_cpp/type_resolution.py +53 -0
- tpyc/codegen_cpp/types.py +436 -0
- tpyc/codegen_cpp/variant_access.py +135 -0
- tpyc/coercions.py +749 -0
- tpyc/compilation_context.py +57 -0
- tpyc/compiler.py +3945 -0
- tpyc/cycle_detection.py +358 -0
- tpyc/diagnostics.py +135 -0
- tpyc/dump_types.py +353 -0
- tpyc/frontend_diagnostics.py +47 -0
- tpyc/frontend_ir/__init__.py +140 -0
- tpyc/frontend_ir/lower.py +1098 -0
- tpyc/frontend_ir/nodes.py +718 -0
- tpyc/frontend_ir/resolver_adapter.py +151 -0
- tpyc/frontend_plugin.py +209 -0
- tpyc/install_docs.py +81 -0
- tpyc/liveness.py +756 -0
- tpyc/macro_api.py +1724 -0
- tpyc/macro_loader.py +497 -0
- tpyc/module_names.py +64 -0
- tpyc/modules/__init__.py +31 -0
- tpyc/modules/defs.py +89 -0
- tpyc/modules/registry.py +36 -0
- tpyc/modules/resolver.py +192 -0
- tpyc/modules/type_resolution.py +629 -0
- tpyc/namespace.py +172 -0
- tpyc/parse/__init__.py +84 -0
- tpyc/parse/imports.py +490 -0
- tpyc/parse/nodes.py +1732 -0
- tpyc/parse/parser.py +4043 -0
- tpyc/parse/resolve_refs.py +466 -0
- tpyc/parse/type_resolver.py +1060 -0
- tpyc/prescan.py +254 -0
- tpyc/qnames.py +149 -0
- tpyc/repl.py +529 -0
- tpyc/repl_backends.py +848 -0
- tpyc/sema/__init__.py +21 -0
- tpyc/sema/analyzer.py +3625 -0
- tpyc/sema/bound_check.py +72 -0
- tpyc/sema/builder_trace.py +684 -0
- tpyc/sema/calls.py +5406 -0
- tpyc/sema/compatibility.py +2107 -0
- tpyc/sema/context.py +1243 -0
- tpyc/sema/expressions.py +3737 -0
- tpyc/sema/flow_facts.py +199 -0
- tpyc/sema/init_tracker.py +150 -0
- tpyc/sema/list_literals.py +69 -0
- tpyc/sema/literal_utils.py +27 -0
- tpyc/sema/local_deduction.py +1088 -0
- tpyc/sema/macros.py +179 -0
- tpyc/sema/match.py +1177 -0
- tpyc/sema/method_expansion.py +347 -0
- tpyc/sema/methods.py +2197 -0
- tpyc/sema/mutation_propagation.py +268 -0
- tpyc/sema/narrowing.py +857 -0
- tpyc/sema/numeric_lattice.py +160 -0
- tpyc/sema/operators.py +402 -0
- tpyc/sema/overloads.py +841 -0
- tpyc/sema/protocols.py +1209 -0
- tpyc/sema/reach_analysis.py +202 -0
- tpyc/sema/registration.py +3156 -0
- tpyc/sema/scope_tracker.py +193 -0
- tpyc/sema/statements.py +4426 -0
- tpyc/sema/type_ops.py +1879 -0
- tpyc/sema/value_range.py +181 -0
- tpyc/symbol_binding.py +259 -0
- tpyc/test_c3_mro.py +208 -0
- tpyc/test_cli_argv.py +52 -0
- tpyc/test_compiler.py +559 -0
- tpyc/test_contains_type_param.py +101 -0
- tpyc/test_cycle_detection.py +221 -0
- tpyc/test_dump_types.py +225 -0
- tpyc/test_install_docs.py +65 -0
- tpyc/test_local_cpp_form.py +135 -0
- tpyc/test_macro_loader.py +76 -0
- tpyc/test_method_expansion.py +254 -0
- tpyc/test_nominal_identity.py +182 -0
- tpyc/test_overloads.py +410 -0
- tpyc/test_parse.py +303 -0
- tpyc/test_parse_type_ref.py +506 -0
- tpyc/test_parse_version_info.py +58 -0
- tpyc/test_reach_analysis.py +72 -0
- tpyc/test_ref_type.py +216 -0
- tpyc/test_send_sync_substitution.py +276 -0
- tpyc/test_tuple_mutation_propagation.py +206 -0
- tpyc/test_type_def_registry.py +1729 -0
- tpyc/test_union_types.py +195 -0
- tpyc/type_def_registry.py +975 -0
- tpyc/typesys.py +5104 -0
|
@@ -0,0 +1,289 @@
|
|
|
1
|
+
/**
|
|
2
|
+
* TurboPython Runtime - Dict Operations
|
|
3
|
+
*
|
|
4
|
+
* Dict-specific helpers not covered by the generic dunder protocol:
|
|
5
|
+
* get (returns optional), pop (with and without default), and DictPrinter.
|
|
6
|
+
*
|
|
7
|
+
* Key arguments use a separate KeyArg template parameter (deduced from the
|
|
8
|
+
* argument) to accept e.g. string_view or const char* where K=std::string.
|
|
9
|
+
*/
|
|
10
|
+
|
|
11
|
+
#pragma once
|
|
12
|
+
|
|
13
|
+
#include <algorithm>
|
|
14
|
+
#include <cstdint>
|
|
15
|
+
#include <iostream>
|
|
16
|
+
#include <optional>
|
|
17
|
+
#include <ranges>
|
|
18
|
+
#include <sstream>
|
|
19
|
+
#include <tuple>
|
|
20
|
+
|
|
21
|
+
#include "core.hpp"
|
|
22
|
+
#include "next_iter.hpp"
|
|
23
|
+
#include "ordered_map.hpp"
|
|
24
|
+
|
|
25
|
+
namespace tpy {
|
|
26
|
+
|
|
27
|
+
// native_iterator is defined in dunder.hpp
|
|
28
|
+
|
|
29
|
+
// -- Constructors -----------------------------------------------------------
|
|
30
|
+
|
|
31
|
+
// dict(native_iterable) -- construct from range of tuples
|
|
32
|
+
template<typename K, typename V, std::ranges::input_range R>
|
|
33
|
+
ordered_map<K, V> dict_from_pairs(R&& range) {
|
|
34
|
+
ordered_map<K, V> result;
|
|
35
|
+
for (auto&& elem : range) {
|
|
36
|
+
result.insert_or_assign(std::get<0>(elem), std::get<1>(elem));
|
|
37
|
+
}
|
|
38
|
+
return result;
|
|
39
|
+
}
|
|
40
|
+
|
|
41
|
+
// dict(iterator) -- construct from user-defined iterator of tuples
|
|
42
|
+
template<typename K, typename V, typename Iter>
|
|
43
|
+
ordered_map<K, V> dict_collect_pairs(Iter&& iter) {
|
|
44
|
+
ordered_map<K, V> result;
|
|
45
|
+
for (;;) {
|
|
46
|
+
auto __r = iter.__next__();
|
|
47
|
+
if (!__r.has_value()) break;
|
|
48
|
+
auto&& __item = unwrap_ref_move(*__r);
|
|
49
|
+
result.insert_or_assign(std::get<0>(std::move(__item)), std::get<1>(std::move(__item)));
|
|
50
|
+
}
|
|
51
|
+
return result;
|
|
52
|
+
}
|
|
53
|
+
|
|
54
|
+
// dict_construct -- unified dict construction from any iterable of pairs.
|
|
55
|
+
// Uses begin/end for std::ranges::input_range, __next__() otherwise.
|
|
56
|
+
template<typename K, typename V, typename Arg>
|
|
57
|
+
ordered_map<K, V> dict_construct(Arg&& arg) {
|
|
58
|
+
if constexpr (std::ranges::input_range<std::remove_cvref_t<Arg>>) {
|
|
59
|
+
return dict_from_pairs<K, V>(std::forward<Arg>(arg));
|
|
60
|
+
} else {
|
|
61
|
+
return dict_collect_pairs<K, V>(std::forward<Arg>(arg));
|
|
62
|
+
}
|
|
63
|
+
}
|
|
64
|
+
|
|
65
|
+
// -- Methods ----------------------------------------------------------------
|
|
66
|
+
|
|
67
|
+
// d.get(key) -> V* (nullptr if missing, pointer into the map)
|
|
68
|
+
template<typename K, typename V, typename KeyArg>
|
|
69
|
+
V* dict_get(ordered_map<K, V>& m, const KeyArg& key) {
|
|
70
|
+
auto it = m.find(K(key));
|
|
71
|
+
if (it == m.items_end()) return nullptr;
|
|
72
|
+
return &((*it).second);
|
|
73
|
+
}
|
|
74
|
+
|
|
75
|
+
// const overload for readonly dict access
|
|
76
|
+
template<typename K, typename V, typename KeyArg>
|
|
77
|
+
const V* dict_get(const ordered_map<K, V>& m, const KeyArg& key) {
|
|
78
|
+
auto it = m.find(K(key));
|
|
79
|
+
if (it == m.items_end()) return nullptr;
|
|
80
|
+
return &((*it).second);
|
|
81
|
+
}
|
|
82
|
+
|
|
83
|
+
// d.pop(key) -> V (throws KeyError on missing)
|
|
84
|
+
template<typename K, typename V, typename KeyArg>
|
|
85
|
+
V dict_pop(ordered_map<K, V>& m, const KeyArg& key) {
|
|
86
|
+
auto it = m.find(K(key));
|
|
87
|
+
if (it == m.items_end()) {
|
|
88
|
+
raise_key_error("KeyError");
|
|
89
|
+
}
|
|
90
|
+
V result = std::move((*it).second);
|
|
91
|
+
m.erase(it);
|
|
92
|
+
return result;
|
|
93
|
+
}
|
|
94
|
+
|
|
95
|
+
// d.pop(key, default) -> V
|
|
96
|
+
template<typename K, typename V, typename KeyArg>
|
|
97
|
+
V dict_pop_default(ordered_map<K, V>& m, const KeyArg& key, V def) {
|
|
98
|
+
auto it = m.find(K(key));
|
|
99
|
+
if (it == m.items_end()) return def;
|
|
100
|
+
V result = std::move((*it).second);
|
|
101
|
+
m.erase(it);
|
|
102
|
+
return result;
|
|
103
|
+
}
|
|
104
|
+
|
|
105
|
+
// d.get(key, default) -> V
|
|
106
|
+
template<typename K, typename V, typename KeyArg>
|
|
107
|
+
V dict_get_default(const ordered_map<K, V>& m, const KeyArg& key, V def) {
|
|
108
|
+
auto it = m.find(K(key));
|
|
109
|
+
if (it == m.items_end()) return def;
|
|
110
|
+
return (*it).second;
|
|
111
|
+
}
|
|
112
|
+
|
|
113
|
+
// d.update(other)
|
|
114
|
+
template<typename K, typename V>
|
|
115
|
+
void dict_update(ordered_map<K, V>& m, const ordered_map<K, V>& other) {
|
|
116
|
+
for (auto it = other.items_begin(); it != other.items_end(); ++it) {
|
|
117
|
+
auto&& [k, v] = *it;
|
|
118
|
+
m.insert_or_assign(k, v);
|
|
119
|
+
}
|
|
120
|
+
}
|
|
121
|
+
|
|
122
|
+
// d.setdefault(key, default) -> V
|
|
123
|
+
template<typename K, typename V, typename KeyArg>
|
|
124
|
+
V dict_setdefault(ordered_map<K, V>& m, const KeyArg& key, V def) {
|
|
125
|
+
K k(key);
|
|
126
|
+
auto it = m.find(k);
|
|
127
|
+
if (it != m.items_end()) return (*it).second;
|
|
128
|
+
m.insert_or_assign(k, std::move(def));
|
|
129
|
+
return (*m.find(k)).second;
|
|
130
|
+
}
|
|
131
|
+
|
|
132
|
+
// -- Views (zero-allocation wrappers for keys/values/items iteration) -------
|
|
133
|
+
|
|
134
|
+
template<typename K, typename V>
|
|
135
|
+
struct dict_keys_view {
|
|
136
|
+
const ordered_map<K, V>* map_;
|
|
137
|
+
auto begin() const { return map_->begin(); }
|
|
138
|
+
auto end() const { return map_->end(); }
|
|
139
|
+
int32_t size() const { return map_->size(); }
|
|
140
|
+
bool contains(const K& key) const { return map_->contains(key); }
|
|
141
|
+
|
|
142
|
+
auto __iter__() const {
|
|
143
|
+
return native_iterator<decltype(begin()), K>{begin(), end()};
|
|
144
|
+
}
|
|
145
|
+
};
|
|
146
|
+
|
|
147
|
+
template<typename K, typename V>
|
|
148
|
+
struct dict_values_view {
|
|
149
|
+
const ordered_map<K, V>* map_;
|
|
150
|
+
auto begin() const { return map_->values_begin(); }
|
|
151
|
+
auto end() const { return map_->values_end(); }
|
|
152
|
+
int32_t size() const { return map_->size(); }
|
|
153
|
+
bool contains(const V& value) const { return std::find(begin(), end(), value) != end(); }
|
|
154
|
+
|
|
155
|
+
auto __iter__() const {
|
|
156
|
+
return native_iterator<decltype(begin()), V>{begin(), end()};
|
|
157
|
+
}
|
|
158
|
+
};
|
|
159
|
+
|
|
160
|
+
template<typename K, typename V>
|
|
161
|
+
struct dict_items_view {
|
|
162
|
+
const ordered_map<K, V>* map_;
|
|
163
|
+
auto begin() const { return map_->tuple_items_begin(); }
|
|
164
|
+
auto end() const { return map_->tuple_items_end(); }
|
|
165
|
+
int32_t size() const { return map_->size(); }
|
|
166
|
+
bool contains(const std::tuple<K, V>& item) const { return std::find(begin(), end(), item) != end(); }
|
|
167
|
+
|
|
168
|
+
auto __iter__() const {
|
|
169
|
+
return native_iterator<decltype(begin()), std::tuple<K, V>>{begin(), end()};
|
|
170
|
+
}
|
|
171
|
+
};
|
|
172
|
+
|
|
173
|
+
template<typename K, typename V>
|
|
174
|
+
dict_keys_view<K, V> dict_keys(const ordered_map<K, V>& m) { return {&m}; }
|
|
175
|
+
template<typename K, typename V>
|
|
176
|
+
dict_values_view<K, V> dict_values(const ordered_map<K, V>& m) { return {&m}; }
|
|
177
|
+
template<typename K, typename V>
|
|
178
|
+
dict_items_view<K, V> dict_items(const ordered_map<K, V>& m) { return {&m}; }
|
|
179
|
+
|
|
180
|
+
// -- ordered_map::__iter__() definition (deferred -- needs native_iterator) -
|
|
181
|
+
|
|
182
|
+
template<typename K, typename V>
|
|
183
|
+
auto ordered_map<K, V>::__iter__() const {
|
|
184
|
+
return native_iterator<const_iterator, K>{begin(), end()};
|
|
185
|
+
}
|
|
186
|
+
|
|
187
|
+
// -- View __len__ -----------------------------------------------------------
|
|
188
|
+
|
|
189
|
+
template<typename K, typename V>
|
|
190
|
+
int32_t __len__(const dict_keys_view<K, V>& v) { return v.size(); }
|
|
191
|
+
template<typename K, typename V>
|
|
192
|
+
int32_t __len__(const dict_values_view<K, V>& v) { return v.size(); }
|
|
193
|
+
template<typename K, typename V>
|
|
194
|
+
int32_t __len__(const dict_items_view<K, V>& v) { return v.size(); }
|
|
195
|
+
|
|
196
|
+
// -- Printing ---------------------------------------------------------------
|
|
197
|
+
|
|
198
|
+
namespace detail {
|
|
199
|
+
// Forward declaration -- defined in printing.hpp
|
|
200
|
+
template <typename T> void print_element(std::ostream& os, const T& elem);
|
|
201
|
+
} // namespace detail
|
|
202
|
+
|
|
203
|
+
template<typename K, typename V>
|
|
204
|
+
struct DictPrinter {
|
|
205
|
+
const ordered_map<K, V>& value;
|
|
206
|
+
explicit DictPrinter(const ordered_map<K, V>& v) : value(v) {}
|
|
207
|
+
};
|
|
208
|
+
|
|
209
|
+
template<typename K, typename V>
|
|
210
|
+
std::ostream& operator<<(std::ostream& os, const DictPrinter<K, V>& p) {
|
|
211
|
+
os << '{';
|
|
212
|
+
bool first = true;
|
|
213
|
+
for (auto it = p.value.items_begin(); it != p.value.items_end(); ++it) {
|
|
214
|
+
auto&& [k, v] = *it;
|
|
215
|
+
if (!first) os << ", ";
|
|
216
|
+
first = false;
|
|
217
|
+
detail::print_element(os, k);
|
|
218
|
+
os << ": ";
|
|
219
|
+
detail::print_element(os, v);
|
|
220
|
+
}
|
|
221
|
+
os << '}';
|
|
222
|
+
return os;
|
|
223
|
+
}
|
|
224
|
+
|
|
225
|
+
// Nested container support
|
|
226
|
+
namespace detail {
|
|
227
|
+
template<typename K, typename V>
|
|
228
|
+
void print_element(std::ostream& os, const ordered_map<K, V>& elem) {
|
|
229
|
+
os << DictPrinter<K, V>(elem);
|
|
230
|
+
}
|
|
231
|
+
} // namespace detail
|
|
232
|
+
|
|
233
|
+
// ValuePrinter specialization so dicts inside generic containers print correctly
|
|
234
|
+
template<typename K, typename V>
|
|
235
|
+
std::ostream& operator<<(std::ostream& os, const ValuePrinter<ordered_map<K, V>>& p) {
|
|
236
|
+
return os << DictPrinter<K, V>(p.value);
|
|
237
|
+
}
|
|
238
|
+
|
|
239
|
+
template<typename K, typename V>
|
|
240
|
+
std::string dict_to_str(const ordered_map<K, V>& m) {
|
|
241
|
+
std::ostringstream oss;
|
|
242
|
+
oss << DictPrinter<K, V>(m);
|
|
243
|
+
return oss.str();
|
|
244
|
+
}
|
|
245
|
+
|
|
246
|
+
// -- View printing ----------------------------------------------------------
|
|
247
|
+
|
|
248
|
+
template<typename K, typename V>
|
|
249
|
+
std::ostream& operator<<(std::ostream& os, const dict_keys_view<K, V>& v) {
|
|
250
|
+
os << "dict_keys([";
|
|
251
|
+
bool first = true;
|
|
252
|
+
for (auto it = v.begin(); it != v.end(); ++it) {
|
|
253
|
+
if (!first) os << ", ";
|
|
254
|
+
first = false;
|
|
255
|
+
detail::print_element(os, *it);
|
|
256
|
+
}
|
|
257
|
+
return os << "])";
|
|
258
|
+
}
|
|
259
|
+
|
|
260
|
+
template<typename K, typename V>
|
|
261
|
+
std::ostream& operator<<(std::ostream& os, const dict_values_view<K, V>& v) {
|
|
262
|
+
os << "dict_values([";
|
|
263
|
+
bool first = true;
|
|
264
|
+
for (auto it = v.begin(); it != v.end(); ++it) {
|
|
265
|
+
if (!first) os << ", ";
|
|
266
|
+
first = false;
|
|
267
|
+
detail::print_element(os, *it);
|
|
268
|
+
}
|
|
269
|
+
return os << "])";
|
|
270
|
+
}
|
|
271
|
+
|
|
272
|
+
template<typename K, typename V>
|
|
273
|
+
std::ostream& operator<<(std::ostream& os, const dict_items_view<K, V>& v) {
|
|
274
|
+
os << "dict_items([";
|
|
275
|
+
bool first = true;
|
|
276
|
+
for (auto it = v.begin(); it != v.end(); ++it) {
|
|
277
|
+
if (!first) os << ", ";
|
|
278
|
+
first = false;
|
|
279
|
+
auto&& [k, val] = *it;
|
|
280
|
+
os << '(';
|
|
281
|
+
detail::print_element(os, k);
|
|
282
|
+
os << ", ";
|
|
283
|
+
detail::print_element(os, val);
|
|
284
|
+
os << ')';
|
|
285
|
+
}
|
|
286
|
+
return os << "])";
|
|
287
|
+
}
|
|
288
|
+
|
|
289
|
+
} // namespace tpy
|