tpy-lang 0.3.0.dev0__py3-none-any.whl

tpyc/_data/lib/tpy/tpy/_builtins/_types.py

@@ -0,0 +1,661 @@
+# tpy: native_module
+# tpy: cpp_namespace("tpystd::builtins")
+from .._typing import overload, Sized, Iterator, Iterable
+from .._bootstrap._decorators import readonly, pure, error_return, Own
+from .._core._types import (
+    Int8, Int16, Int32, Int64, UInt8, UInt16, UInt32, UInt64,
+    Char, String, StrView, Float32, AnyFixedInt,
+    Hashable, Representable, Stringable, NativeIterable, Truthy, Comparable, Equatable,
+)
+from .._bootstrap._extern import native, cpp_template, builtin_type
+
+@builtin_type("builtins.bool")
+@native("bool")
+class bool(Equatable):
+    @overload
+    @cpp_template("false")
+    def __init__(self) -> None: ...
+    @overload
+    @cpp_template("{0}")
+    def __init__(self, x: bool) -> None: ...
+    @overload
+    @cpp_template("({0} != 0)")
+    def __init__(self, x: Int32) -> None: ...
+    @overload
+    @cpp_template("({0} != 0)")
+    def __init__(self, x: int) -> None: ...
+    @overload
+    @cpp_template("({0} != 0.0)")
+    def __init__(self, x: float) -> None: ...
+    @overload
+    @cpp_template("({0} != 0.0f)")
+    def __init__(self, x: Float32) -> None: ...
+    @overload
+    @cpp_template("(std::string_view({0}).size() != 0)")
+    def __init__(self, x: str) -> None: ...
+    @overload
+    @native("tpy::__bool__", function=True)
+    @readonly
+    @pure
+    def __init__(self, x: Truthy) -> None: ...
+
+    @cpp_template("{self}")
+    @readonly
+    @pure
+    def __bool__(self) -> bool: ...
+
+    @cpp_template("{self} == {0}")
+    @readonly
+    @pure
+    def __eq__(self, other: bool) -> bool: ...
+
+    @cpp_template("::tpy::__hash__({self})")
+    @readonly
+    @pure
+    def __hash__(self) -> UInt64: ...
+
+
+
+@builtin_type("builtins.int")
+@native("::tpy::BigInt")
+class int(Comparable, Equatable):
+    @overload
+    @cpp_template("::tpy::BigInt()")
+    def __init__(self) -> None: ...
+    @overload
+    @cpp_template("{0}")
+    def __init__(self, x: int) -> None: ...
+    @overload
+    @cpp_template("::tpy::BigInt(static_cast<int64_t>({0}))")
+    def __init__(self, x: Int8) -> None: ...
+    @overload
+    @cpp_template("::tpy::BigInt(static_cast<int64_t>({0}))")
+    def __init__(self, x: Int16) -> None: ...
+    @overload
+    @cpp_template("::tpy::BigInt(static_cast<int64_t>({0}))")
+    def __init__(self, x: Int32) -> None: ...
+    @overload
+    @cpp_template("::tpy::BigInt(static_cast<int64_t>({0}))")
+    def __init__(self, x: Int64) -> None: ...
+    @overload
+    @cpp_template("::tpy::BigInt(static_cast<uint64_t>({0}))")
+    def __init__(self, x: UInt8) -> None: ...
+    @overload
+    @cpp_template("::tpy::BigInt(static_cast<uint64_t>({0}))")
+    def __init__(self, x: UInt16) -> None: ...
+    @overload
+    @cpp_template("::tpy::BigInt(static_cast<uint64_t>({0}))")
+    def __init__(self, x: UInt32) -> None: ...
+    @overload
+    @cpp_template("::tpy::BigInt(static_cast<uint64_t>({0}))")
+    def __init__(self, x: UInt64) -> None: ...
+    @overload
+    @native("tpy::BigInt::from_float", function=True)
+    def __init__(self, x: float) -> None: ...
+    @overload
+    @native("tpy::BigInt::from_str", function=True)
+    def __init__(self, x: str) -> None: ...
+    @overload
+    @cpp_template("::tpy::BigInt(static_cast<int32_t>({0}))")
+    def __init__(self, x: bool) -> None: ...
+    @overload
+    @cpp_template("::tpy::BigInt(static_cast<int32_t>({0}))")
+    def __init__(self, x: Char) -> None: ...
+    @cpp_template("({self}) + ({0})")
+    def __add__(self, other: int) -> int: ...
+    @cpp_template("({self}) - ({0})")
+    def __sub__(self, other: int) -> int: ...
+    @cpp_template("({self}) * ({0})")
+    def __mul__(self, other: int) -> int: ...
+    @cpp_template("::tpy::truediv(static_cast<double>({self}), static_cast<double>({0}))")
+    def __truediv__(self, other: int) -> float: ...
+    @cpp_template("({self}) / ({0})")
+    def __floordiv__(self, other: int) -> int: ...
+    @cpp_template("({self}) % ({0})")
+    def __mod__(self, other: int) -> int: ...
+    @cpp_template("({self}).pow({0})")
+    def __pow__(self, other: int) -> int: ...
+    @cpp_template("({self}) << ({0})")
+    def __lshift__(self, other: int) -> int: ...
+    @cpp_template("({self}) >> ({0})")
+    def __rshift__(self, other: int) -> int: ...
+    @cpp_template("({self}) & ({0})")
+    def __and__(self, other: int) -> int: ...
+    @cpp_template("({self}) | ({0})")
+    def __or__(self, other: int) -> int: ...
+    @cpp_template("({self}) ^ ({0})")
+    def __xor__(self, other: int) -> int: ...
+    @cpp_template("({0}) + ({self})")
+    def __radd__(self, other: int) -> int: ...
+    @cpp_template("({0}) - ({self})")
+    def __rsub__(self, other: int) -> int: ...
+    @cpp_template("({0}) * ({self})")
+    def __rmul__(self, other: int) -> int: ...
+    @cpp_template("::tpy::truediv(static_cast<double>({0}), static_cast<double>({self}))")
+    def __rtruediv__(self, other: int) -> float: ...
+    @cpp_template("({0}) / ({self})")
+    def __rfloordiv__(self, other: int) -> int: ...
+    @cpp_template("({0}) % ({self})")
+    def __rmod__(self, other: int) -> int: ...
+    @cpp_template("({0}).pow({self})")
+    def __rpow__(self, other: int) -> int: ...
+    @cpp_template("({0}) << ({self})")
+    def __rlshift__(self, other: int) -> int: ...
+    @cpp_template("({0}) >> ({self})")
+    def __rrshift__(self, other: int) -> int: ...
+    @cpp_template("({0}) & ({self})")
+    def __rand__(self, other: int) -> int: ...
+    @cpp_template("({0}) | ({self})")
+    def __ror__(self, other: int) -> int: ...
+    @cpp_template("({0}) ^ ({self})")
+    def __rxor__(self, other: int) -> int: ...
+    @cpp_template("+({self})")
+    def __pos__(self) -> int: ...
+    @cpp_template("-({self})")
+    def __neg__(self) -> int: ...
+    @cpp_template("~({self})")
+    def __invert__(self) -> int: ...
+    @cpp_template("static_cast<bool>({self})")
+    @readonly
+    @pure
+    def __bool__(self) -> bool: ...
+    @cpp_template("::tpy::__hash__({self})")
+    @readonly
+    @pure
+    def __hash__(self) -> UInt64: ...
+    @cpp_template("{self} == {0}")
+    @readonly
+    @pure
+    def __eq__(self, other: int) -> bool: ...
+    @cpp_template("{self} < {0}")
+    @readonly
+    @pure
+    def __lt__(self, other: int) -> bool: ...
+    @cpp_template("({self}).bit_length()")
+    @readonly
+    @pure
+    def bit_length(self) -> Int32: ...
+
+
+@builtin_type("builtins.float")
+@native("double")
+class float(Comparable, Equatable):
+    @overload
+    @cpp_template("0.0")
+    def __init__(self) -> None: ...
+    @overload
+    @cpp_template("{0}")
+    def __init__(self, x: float) -> None: ...
+    @overload
+    @cpp_template("static_cast<double>({0})")
+    def __init__(self, x: Int32) -> None: ...
+    @overload
+    @cpp_template("static_cast<double>({0})")
+    def __init__(self, x: int) -> None: ...
+    @overload
+    @cpp_template("static_cast<double>({0})")
+    def __init__(self, x: bool) -> None: ...
+    @overload
+    @cpp_template("static_cast<double>({0})")
+    def __init__(self, x: Float32) -> None: ...
+    @overload
+    @cpp_template("static_cast<double>({0})")
+    def __init__(self, x: Int8) -> None: ...
+    @overload
+    @cpp_template("static_cast<double>({0})")
+    def __init__(self, x: Int16) -> None: ...
+    @overload
+    @cpp_template("static_cast<double>({0})")
+    def __init__(self, x: Int64) -> None: ...
+    @overload
+    @cpp_template("static_cast<double>({0})")
+    def __init__(self, x: UInt8) -> None: ...
+    @overload
+    @cpp_template("static_cast<double>({0})")
+    def __init__(self, x: UInt16) -> None: ...
+    @overload
+    @cpp_template("static_cast<double>({0})")
+    def __init__(self, x: UInt32) -> None: ...
+    @overload
+    @cpp_template("static_cast<double>({0})")
+    def __init__(self, x: UInt64) -> None: ...
+    @overload
+    @native("tpy::float_from_str", function=True)
+    def __init__(self, x: str) -> None: ...
+    @overload
+    @cpp_template("({self}) + ({0})")
+    def __add__(self, other: float) -> float: ...
+    @overload
+    @cpp_template("({self}) + static_cast<double>({0})")
+    def __add__(self, other: int) -> float: ...
+    @overload
+    @cpp_template("({self}) + static_cast<double>({0})")
+    def __add__(self, other: Int32) -> float: ...
+    @overload
+    @cpp_template("({self}) - ({0})")
+    def __sub__(self, other: float) -> float: ...
+    @overload
+    @cpp_template("({self}) - static_cast<double>({0})")
+    def __sub__(self, other: int) -> float: ...
+    @overload
+    @cpp_template("({self}) - static_cast<double>({0})")
+    def __sub__(self, other: Int32) -> float: ...
+    @overload
+    @cpp_template("({self}) * ({0})")
+    def __mul__(self, other: float) -> float: ...
+    @overload
+    @cpp_template("({self}) * static_cast<double>({0})")
+    def __mul__(self, other: int) -> float: ...
+    @overload
+    @cpp_template("({self}) * static_cast<double>({0})")
+    def __mul__(self, other: Int32) -> float: ...
+    @overload
+    @cpp_template("::tpy::truediv({self}, {0})")
+    def __truediv__(self, other: float) -> float: ...
+    @overload
+    @cpp_template("::tpy::truediv({self}, static_cast<double>({0}))")
+    def __truediv__(self, other: int) -> float: ...
+    @overload
+    @cpp_template("::tpy::truediv({self}, static_cast<double>({0}))")
+    def __truediv__(self, other: Int32) -> float: ...
+    @overload
+    @cpp_template("::tpy::floordiv({self}, {0})")
+    def __floordiv__(self, other: float) -> float: ...
+    @overload
+    @cpp_template("::tpy::floordiv({self}, static_cast<double>({0}))")
+    def __floordiv__(self, other: int) -> float: ...
+    @overload
+    @cpp_template("::tpy::floordiv({self}, static_cast<double>({0}))")
+    def __floordiv__(self, other: Int32) -> float: ...
+    @overload
+    @cpp_template("::tpy::fmod({self}, {0})")
+    def __mod__(self, other: float) -> float: ...
+    @overload
+    @cpp_template("::tpy::fmod({self}, static_cast<double>({0}))")
+    def __mod__(self, other: int) -> float: ...
+    @overload
+    @cpp_template("::tpy::fmod({self}, static_cast<double>({0}))")
+    def __mod__(self, other: Int32) -> float: ...
+    @overload
+    @cpp_template("std::pow({self}, {0})")
+    def __pow__(self, other: float) -> float: ...
+    @overload
+    @cpp_template("std::pow({self}, static_cast<double>({0}))")
+    def __pow__(self, other: int) -> float: ...
+    @overload
+    @cpp_template("std::pow({self}, static_cast<double>({0}))")
+    def __pow__(self, other: Int32) -> float: ...
+    @cpp_template("+({self})")
+    def __pos__(self) -> float: ...
+    @cpp_template("-({self})")
+    def __neg__(self) -> float: ...
+    @overload
+    @cpp_template("({0}) + ({self})")
+    def __radd__(self, other: float) -> float: ...
+    @overload
+    @cpp_template("static_cast<double>({0}) + ({self})")
+    def __radd__(self, other: int) -> float: ...
+    @overload
+    @cpp_template("static_cast<double>({0}) + ({self})")
+    def __radd__(self, other: Int32) -> float: ...
+    @overload
+    @cpp_template("({0}) - ({self})")
+    def __rsub__(self, other: float) -> float: ...
+    @overload
+    @cpp_template("static_cast<double>({0}) - ({self})")
+    def __rsub__(self, other: int) -> float: ...
+    @overload
+    @cpp_template("static_cast<double>({0}) - ({self})")
+    def __rsub__(self, other: Int32) -> float: ...
+    @overload
+    @cpp_template("({0}) * ({self})")
+    def __rmul__(self, other: float) -> float: ...
+    @overload
+    @cpp_template("static_cast<double>({0}) * ({self})")
+    def __rmul__(self, other: int) -> float: ...
+    @overload
+    @cpp_template("static_cast<double>({0}) * ({self})")
+    def __rmul__(self, other: Int32) -> float: ...
+    @overload
+    @cpp_template("::tpy::truediv({0}, {self})")
+    def __rtruediv__(self, other: float) -> float: ...
+    @overload
+    @cpp_template("::tpy::truediv(static_cast<double>({0}), {self})")
+    def __rtruediv__(self, other: int) -> float: ...
+    @overload
+    @cpp_template("::tpy::truediv(static_cast<double>({0}), {self})")
+    def __rtruediv__(self, other: Int32) -> float: ...
+    @overload
+    @cpp_template("::tpy::floordiv({0}, {self})")
+    def __rfloordiv__(self, other: float) -> float: ...
+    @overload
+    @cpp_template("::tpy::floordiv(static_cast<double>({0}), {self})")
+    def __rfloordiv__(self, other: int) -> float: ...
+    @overload
+    @cpp_template("::tpy::floordiv(static_cast<double>({0}), {self})")
+    def __rfloordiv__(self, other: Int32) -> float: ...
+    @overload
+    @cpp_template("::tpy::fmod({0}, {self})")
+    def __rmod__(self, other: float) -> float: ...
+    @overload
+    @cpp_template("::tpy::fmod(static_cast<double>({0}), {self})")
+    def __rmod__(self, other: int) -> float: ...
+    @overload
+    @cpp_template("::tpy::fmod(static_cast<double>({0}), {self})")
+    def __rmod__(self, other: Int32) -> float: ...
+    @overload
+    @cpp_template("std::pow({0}, {self})")
+    def __rpow__(self, other: float) -> float: ...
+    @overload
+    @cpp_template("std::pow(static_cast<double>({0}), {self})")
+    def __rpow__(self, other: int) -> float: ...
+    @overload
+    @cpp_template("std::pow(static_cast<double>({0}), {self})")
+    def __rpow__(self, other: Int32) -> float: ...
+    @cpp_template("({self} != 0.0)")
+    @readonly
+    @pure
+    def __bool__(self) -> bool: ...
+    @cpp_template("::tpy::__hash__({self})")
+    @readonly
+    @pure
+    def __hash__(self) -> UInt64: ...
+    @cpp_template("{self} == {0}")
+    @readonly
+    @pure
+    def __eq__(self, other: float) -> bool: ...
+    @cpp_template("{self} < {0}")
+    @readonly
+    @pure
+    def __lt__(self, other: float) -> bool: ...
+@builtin_type("builtins.str")
+@native("std::string")
+class str(NativeIterable[Char], Iterable[Char], Comparable, Equatable):
+    @overload
+    @cpp_template("std::string()")
+    def __init__(self) -> None: ...
+    @overload
+    @cpp_template("std::string({0})")
+    def __init__(self, x: str) -> None: ...
+    @overload
+    @cpp_template("std::string(::tpy::bool_to_str({0}))")
+    def __init__(self, x: bool) -> None: ...
+    @overload
+    @cpp_template("std::string(::tpy::char_to_str({0}))")
+    def __init__(self, x: Char) -> None: ...
+    @overload
+    @cpp_template("::tpy::fixed_to_str<int8_t>({0})")
+    def __init__(self, x: Int8) -> None: ...
+    @overload
+    @cpp_template("::tpy::fixed_to_str<int16_t>({0})")
+    def __init__(self, x: Int16) -> None: ...
+    @overload
+    @cpp_template("::tpy::fixed_to_str<int32_t>({0})")
+    def __init__(self, x: Int32) -> None: ...
+    @overload
+    @cpp_template("::tpy::fixed_to_str<int64_t>({0})")
+    def __init__(self, x: Int64) -> None: ...
+    @overload
+    @cpp_template("::tpy::fixed_to_str<uint8_t>({0})")
+    def __init__(self, x: UInt8) -> None: ...
+    @overload
+    @cpp_template("::tpy::fixed_to_str<uint16_t>({0})")
+    def __init__(self, x: UInt16) -> None: ...
+    @overload
+    @cpp_template("::tpy::fixed_to_str<uint32_t>({0})")
+    def __init__(self, x: UInt32) -> None: ...
+    @overload
+    @cpp_template("::tpy::fixed_to_str<uint64_t>({0})")
+    def __init__(self, x: UInt64) -> None: ...
+    @overload
+    @cpp_template("({0}).to_string()")
+    def __init__(self, x: int) -> None: ...
+    @overload
+    @native("tpy::float_to_str", function=True)
+    def __init__(self, x: float) -> None: ...
+    @overload
+    @cpp_template("::tpy::float_to_str(static_cast<double>({0}))")
+    def __init__(self, x: Float32) -> None: ...
+    @overload
+    @cpp_template("std::string(::tpy::__str__({0}))")
+    @readonly
+    @pure
+    def __init__(self, x: Stringable) -> None: ...
+
+    @cpp_template("::tpy::__iter__({self})")
+    @readonly
+    @pure
+    def __iter__(self) -> Iterator[Char]: ...
+
+    @cpp_template("static_cast<int32_t>({self}.size())")
+    @readonly
+    @pure
+    def __len__(self) -> Int32: ...
+
+    @overload
+    @cpp_template("::tpy::__getitem__({self}, {0})")
+    @readonly
+    @pure
+    def __getitem__(self, index: Int32) -> Char: ...
+
+    @overload
+    @cpp_template("::tpy::str_slice({self}, {0})")
+    @readonly
+    @pure
+    def __getitem__(self, index: basic_slice) -> StrView: ...
+
+    @overload
+    @cpp_template("::tpy::str_stepped_slice({self}, {0})")
+    @readonly
+    @pure
+    def __getitem__(self, index: slice) -> str: ...
+
+    @overload
+    @cpp_template("::tpy::str_concat({self}, {0})")
+    def __add__(self, other: str) -> String: ...
+    @overload
+    @cpp_template("::tpy::str_concat({self}, {0})")
+    def __add__(self, other: String) -> String: ...
+    @overload
+    @cpp_template("::tpy::str_concat({self}, {0})")
+    def __add__(self, other: StrView) -> String: ...
+    @overload
+    @cpp_template("::tpy::str_concat({self}, ::tpy::char_to_str({0}))")
+    def __add__(self, other: Char) -> String: ...
+
+    @cpp_template("::tpy::str_repeat({self}, {0})")
+    @readonly
+    @pure
+    def __mul__(self, n: Int32) -> str: ...
+
+    @cpp_template("::tpy::str_repeat({self}, {0})")
+    @readonly
+    @pure
+    def __rmul__(self, n: Int32) -> str: ...
+
+    @overload
+    @cpp_template("::tpy::str_split_whitespace({self})")
+    @readonly
+    @pure
+    def split(self) -> Own[list[str]]: ...
+    @overload
+    @cpp_template("::tpy::str_split({self}, {0})")
+    @readonly
+    @pure
+    def split(self, sep: str) -> Own[list[str]]: ...
+    @overload
+    @cpp_template("::tpy::str_split({self}, {0}, {1})")
+    @readonly
+    @pure
+    def split(self, sep: str, maxsplit: Int32) -> Own[list[str]]: ...
+
+    @cpp_template("::tpy::str_join({self}, {0})")
+    @readonly
+    @pure
+    def join(self, items: Iterable[str]) -> str: ...
+
+    @cpp_template("::tpy::str_strip({self})")
+    @readonly
+    @pure
+    def strip(self) -> StrView: ...
+
+    @cpp_template("::tpy::str_lstrip({self})")
+    @readonly
+    @pure
+    def lstrip(self) -> StrView: ...
+
+    @cpp_template("::tpy::str_rstrip({self})")
+    @readonly
+    @pure
+    def rstrip(self) -> StrView: ...
+
+    @cpp_template("::tpy::str_replace({self}, {0}, {1})")
+    @readonly
+    @pure
+    def replace(self, old: str, new: str) -> str: ...
+
+    @cpp_template("::tpy::str_find({self}, {0})")
+    @readonly
+    @pure
+    def find(self, sub: str) -> Int32: ...
+
+    @cpp_template("::tpy::str_rfind({self}, {0})")
+    @readonly
+    @pure
+    def rfind(self, sub: str) -> Int32: ...
+
+    @cpp_template("::tpy::str_index({self}, {0})")
+    @readonly
+    @pure
+    def index(self, sub: str) -> Int32: ...
+
+    @cpp_template("::tpy::str_startswith({self}, {0})")
+    @readonly
+    @pure
+    def startswith(self, prefix: str) -> bool: ...
+
+    @cpp_template("::tpy::str_endswith({self}, {0})")
+    @readonly
+    @pure
+    def endswith(self, suffix: str) -> bool: ...
+
+    @cpp_template("::tpy::str_upper({self})")
+    @readonly
+    @pure
+    def upper(self) -> str: ...
+
+    @cpp_template("::tpy::str_lower({self})")
+    @readonly
+    @pure
+    def lower(self) -> str: ...
+
+    @cpp_template("::tpy::str_count({self}, {0})")
+    @readonly
+    @pure
+    def count(self, sub: str) -> Int32: ...
+
+    @cpp_template("::tpy::str_isdigit({self})")
+    @readonly
+    @pure
+    def isdigit(self) -> bool: ...
+
+    @cpp_template("::tpy::str_isalpha({self})")
+    @readonly
+    @pure
+    def isalpha(self) -> bool: ...
+
+    @cpp_template("::tpy::str_isalnum({self})")
+    @readonly
+    @pure
+    def isalnum(self) -> bool: ...
+
+    @cpp_template("::tpy::str_isspace({self})")
+    @readonly
+    @pure
+    def isspace(self) -> bool: ...
+
+    @cpp_template("::tpy::str_isupper({self})")
+    @readonly
+    @pure
+    def isupper(self) -> bool: ...
+
+    @cpp_template("::tpy::str_islower({self})")
+    @readonly
+    @pure
+    def islower(self) -> bool: ...
+
+    @cpp_template("::tpy::str_capitalize({self})")
+    @readonly
+    @pure
+    def capitalize(self) -> str: ...
+
+    @cpp_template("::tpy::str_title({self})")
+    @readonly
+    @pure
+    def title(self) -> str: ...
+
+    @cpp_template("::tpy::str_swapcase({self})")
+    @readonly
+    @pure
+    def swapcase(self) -> str: ...
+
+    @cpp_template("::tpy::str_removeprefix({self}, {0})")
+    @readonly
+    @pure
+    def removeprefix(self, prefix: str) -> StrView: ...
+
+    @cpp_template("::tpy::str_removesuffix({self}, {0})")
+    @readonly
+    @pure
+    def removesuffix(self, suffix: str) -> StrView: ...
+
+    @cpp_template("::tpy::str_rindex({self}, {0})")
+    @readonly
+    @pure
+    def rindex(self, sub: str) -> Int32: ...
+
+    @cpp_template("::tpy::str_splitlines({self})")
+    @readonly
+    @pure
+    def splitlines(self) -> Own[list[str]]: ...
+
+    @native("tpy::bytes_from_str", function=True)
+    @readonly
+    @pure
+    def encode(self) -> bytes: ...
+
+    @cpp_template("(!{self}.empty())")
+    @readonly
+    @pure
+    def __bool__(self) -> bool: ...
+
+    @cpp_template("::tpy::__hash__({self})")
+    @readonly
+    @pure
+    def __hash__(self) -> UInt64: ...
+
+    @cpp_template("{self} == {0}")
+    @readonly
+    @pure
+    def __eq__(self, other: str) -> bool: ...
+
+    @cpp_template("{self} < {0}")
+    @readonly
+    @pure
+    def __lt__(self, other: str) -> bool: ...
+
+
+@builtin_type("tpy.basic_slice")
+@native("tpy::BasicSlice")
+class basic_slice:
+    @cpp_template("::tpy::BasicSlice{{{0}, {1}}}")
+    @pure
+    def __init__(self, start: Int32 | None, stop: Int32 | None) -> None: ...
+
+
+@builtin_type("builtins.slice")
+@native("tpy::Slice")
+class slice:
+    @cpp_template("::tpy::Slice{{{0}, {1}, {2}}}")
+    @pure
+    def __init__(self, start: Int32 | None, stop: Int32 | None, step: Int32 | None) -> None: ...

tpyc/_data/lib/tpy/tpy/_core/__init__.py

@@ -0,0 +1,23 @@
+# tpy: native_module
+from ._types import (
+    # Structural protocols
+    Truthy, Stringable, Representable, Hashable, Comparable, Equatable,
+    Deref, Spannable, Writable, Readable, BinaryWritable, BinaryReadable,
+    Seekable, Closable,
+    # Marker protocols
+    NativeIterable, NativeRangeConstructible, ValueType, Copyable, Send, Sync,
+    Default, Covariant, ReturnException,
+    # Fixed-width integer constraint protocols
+    AnyFixedInt, AnyFixedSigned, AnyFixedUnsigned,
+    # Primitive types
+    Float32,
+    Int8, Int16, Int32, Int64,
+    UInt8, UInt16, UInt32, UInt64,
+    Char, String, StrView, FStr,
+    # `Poll`'s body lives here for codegen-ordering reasons (see
+    # `_types.py`); its qname is `tpy.coro.Poll`.
+    Poll,
+)
+from ._bytes_view import BytesView
+from ._containers import Span, Array, Ptr, SpanIter
+from ._functions import span, deref, take_ptr, make_default, copy, copy_iter, own_iter, try_parse