in2 0.1.0__tar.gz

in2-0.1.0/PKG-INFO

@@ -0,0 +1,10 @@
+Metadata-Version: 2.3
+Name: in2
+Version: 0.1.0
+Summary: Easily casting the type of an object.
+Author: Sequence
+Author-email: Sequence <3863887959@qq.com>
+Requires-Dist: rezult>=0.2.1
+Requires-Python: >=3.12
+Description-Content-Type: text/markdown
+

in2-0.1.0/pyproject.toml

@@ -0,0 +1,22 @@
+[project]
+name = "in2"
+version = "0.1.0"
+description = "Easily casting the type of an object."
+readme = "README.md"
+requires-python = ">=3.12"
+dependencies = ["rezult>=0.2.1"]
+
+[[project.authors]]
+name = "Sequence"
+email = "3863887959@qq.com"
+
+[project.scripts]
+in2 = "in2:main"
+
+[[tool.uv.index]]
+url = "https://pypi.tuna.tsinghua.edu.cn/simple"
+default = true
+
+[build-system]
+requires = ["uv_build>=0.13.6,<0.14.0"]
+build-backend = "uv_build"

in2-0.1.0/pyproject.toml.orig

@@ -0,0 +1,23 @@
+[project]
+name = "in2"
+version = "0.1.0"
+description = "Easily casting the type of an object."
+readme = "README.md"
+authors = [
+    { name = "Sequence", email = "3863887959@qq.com" }
+]
+requires-python = ">=3.12"
+dependencies = [
+    "rezult>=0.2.1",
+]
+
+[project.scripts]
+in2 = "in2:main"
+
+[[tool.uv.index]]
+url = "https://pypi.tuna.tsinghua.edu.cn/simple"
+default = true
+
+[build-system]
+requires = ["uv_build>=0.13.6,<0.14.0"]
+build-backend = "uv_build"

in2-0.1.0/src/in2/__init__.py

@@ -0,0 +1,2 @@
+def main() -> None:
+    print("Hello from in2!")

in2-0.1.0/src/in2/into.py

@@ -0,0 +1,21 @@
+from typing import Protocol
+
+from rezult import Result
+
+
+class Into[T](Protocol):
+    def __into__(self, into: type[T]) -> T:
+        raise NotImplementedError
+
+
+def into[T](from_: Into[T], to: type[T]) -> T:
+    return from_.__into__(to)
+
+
+class TryInto[T, E](Protocol):
+    def __try_into__(self, into: type[T]) -> Result[T, E]:
+        raise NotImplementedError
+
+
+def try_into[T, E](from_: TryInto[T, E], to: type[T]) -> Result[T, E]:
+    return from_.__try_into__(to)