lambda-calculus 3.1.0__tar.gz → 3.1.2__tar.gz

lambda_calculus-3.1.2/.gitignore

@@ -0,0 +1,226 @@
+# Byte-compiled / optimized / DLL files
+__pycache__/
+*.py[codz]
+*$py.class
+
+# C extensions
+*.so
+
+# Distribution / packaging
+.Python
+build/
+develop-eggs/
+dist/
+downloads/
+eggs/
+.eggs/
+lib/
+lib64/
+parts/
+sdist/
+var/
+wheels/
+share/python-wheels/
+*.egg-info/
+.installed.cfg
+*.egg
+MANIFEST
+
+# PyInstaller
+#   Usually these files are written by a python script from a template
+#   before PyInstaller builds the exe, so as to inject date/other infos into it.
+*.manifest
+*.spec
+
+# Installer logs
+pip-log.txt
+pip-delete-this-directory.txt
+
+# Unit test / coverage reports
+htmlcov/
+.tox/
+.nox/
+.coverage
+.coverage.*
+.cache
+nosetests.xml
+coverage.xml
+*.cover
+*.py.cover
+*.lcov
+.hypothesis/
+.pytest_cache/
+cover/
+
+# Translations
+*.mo
+*.pot
+
+# Django stuff:
+*.log
+local_settings.py
+db.sqlite3
+db.sqlite3-journal
+
+# Flask stuff:
+instance/
+.webassets-cache
+
+# Scrapy stuff:
+.scrapy
+
+# Sphinx documentation
+docs/_build/
+
+# PyBuilder
+.pybuilder/
+target/
+
+# Jupyter Notebook
+.ipynb_checkpoints
+
+# IPython
+profile_default/
+ipython_config.py
+
+# pyenv
+#   For a library or package, you might want to ignore these files since the code is
+#   intended to run in multiple environments; otherwise, check them in:
+# .python-version
+
+# pipenv
+#   According to pypa/pipenv#598, it is recommended to include Pipfile.lock in version control.
+#   However, in case of collaboration, if having platform-specific dependencies or dependencies
+#   having no cross-platform support, pipenv may install dependencies that don't work, or not
+#   install all needed dependencies.
+# Pipfile.lock
+
+# uv
+#   Similar to Pipfile.lock, it is generally recommended to include uv.lock in version control.
+#   This is especially recommended for binary packages to ensure reproducibility, and is more
+#   commonly ignored for libraries.
+# uv.lock
+
+# poetry
+#   Similar to Pipfile.lock, it is generally recommended to include poetry.lock in version control.
+#   This is especially recommended for binary packages to ensure reproducibility, and is more
+#   commonly ignored for libraries.
+#   https://python-poetry.org/docs/basic-usage/#commit-your-poetrylock-file-to-version-control
+# poetry.lock
+# poetry.toml
+
+# pdm
+#   Similar to Pipfile.lock, it is generally recommended to include pdm.lock in version control.
+#   pdm recommends including project-wide configuration in pdm.toml, but excluding .pdm-python.
+#   https://pdm-project.org/en/latest/usage/project/#working-with-version-control
+# pdm.lock
+# pdm.toml
+.pdm-python
+.pdm-build/
+
+# pixi
+#   Similar to Pipfile.lock, it is generally recommended to include pixi.lock in version control.
+# pixi.lock
+#   Pixi creates a virtual environment in the .pixi directory, just like venv module creates one
+#   in the .venv directory. It is recommended not to include this directory in version control.
+.pixi/*
+!.pixi/config.toml
+
+# PEP 582; used by e.g. github.com/David-OConnor/pyflow and github.com/pdm-project/pdm
+__pypackages__/
+
+# Celery stuff
+celerybeat-schedule*
+celerybeat.pid
+
+# Redis
+*.rdb
+*.aof
+*.pid
+
+# RabbitMQ
+mnesia/
+rabbitmq/
+rabbitmq-data/
+
+# ActiveMQ
+activemq-data/
+
+# SageMath parsed files
+*.sage.py
+
+# Environments
+.env
+.envrc
+.venv
+.direnv
+env/
+venv/
+ENV/
+env.bak/
+venv.bak/
+
+# Spyder project settings
+.spyderproject
+.spyproject
+
+# Rope project settings
+.ropeproject
+
+# mkdocs/Zensical documentation
+/site
+
+# mypy
+.mypy_cache/
+.dmypy.json
+dmypy.json
+.mypy_reports/
+
+# Pyre type checker
+.pyre/
+
+# pytype static type analyzer
+.pytype/
+
+# Cython debug symbols
+cython_debug/
+
+# PyCharm
+#   JetBrains specific template is maintained in a separate JetBrains.gitignore that can
+#   be found at https://github.com/github/gitignore/blob/main/Global/JetBrains.gitignore
+#   and can be added to the global gitignore or merged into this file.  For a more nuclear
+#   option (not recommended) you can uncomment the following to ignore the entire idea folder.
+# .idea/
+
+# Abstra
+#   Abstra is an AI-powered process automation framework.
+#   Ignore directories containing user credentials, local state, and settings.
+#   Learn more at https://abstra.io/docs
+.abstra/
+
+# Visual Studio Code
+#   Visual Studio Code specific template is maintained in a separate VisualStudioCode.gitignore that
+#   can be found at https://github.com/github/gitignore/blob/main/Global/VisualStudioCode.gitignore
+#   and can be added to the global gitignore or merged into this file. However, if you prefer, you
+#   could uncomment the following to ignore the entire vscode folder
+.vscode/
+# Temporary file for partial code execution
+tempCodeRunnerFile.py
+
+# Ruff stuff:
+.ruff_cache/
+.ruff_defaults.toml
+
+# PyPI configuration file
+.pypirc
+
+# Marimo
+marimo/_static/
+marimo/_lsp/
+__marimo__/
+
+# Streamlit
+.streamlit/secrets.toml
+
+# hatch-vcs
+src/*/_version.py

{lambda_calculus-3.1.0 → lambda_calculus-3.1.2}/.readthedocs.yaml

@@ -1,9 +1,9 @@
 version: 2
 
 build:
-  os: "ubuntu-22.04"
+  os: "ubuntu-26.04"
   tools:
-    python: "3.10"
+    python: "3.14"
 
 formats:
   - pdf

{lambda_calculus-3.1.0 → lambda_calculus-3.1.2}/PKG-INFO

@@ -1,6 +1,6 @@
-Metadata-Version: 2.3
+Metadata-Version: 2.5
 Name: lambda_calculus
-Version: 3.1.0
+Version: 3.1.2
 Summary: Implementation of the Lambda calculus
 Project-URL: Repository, https://github.com/Deric-W/lambda_calculus
 Project-URL: Documentation, http://lambda-calculus.readthedocs.io/
@@ -14,13 +14,13 @@ Classifier: Programming Language :: Python :: 3 :: Only
 Classifier: Topic :: Education
 Classifier: Topic :: Utilities
 Classifier: Typing :: Typed
-Requires-Python: >=3.10
+Requires-Python: >=3.11
 Description-Content-Type: text/markdown
 
 # lambda_calculus
 
 [![Hatch project](https://img.shields.io/badge/%F0%9F%A5%9A-Hatch-4051b5.svg)](https://github.com/pypa/hatch)
-![Tests](https://github.com/Deric-W/lambda_calculus/actions/workflows/Tests.yaml/badge.svg)
+![Tests](https://github.com/Deric-W/lambda_calculus/actions/workflows/Test.yaml/badge.svg)
 [![codecov](https://codecov.io/gh/Deric-W/lambda_calculus/branch/main/graph/badge.svg?token=SU3982mC17)](https://codecov.io/gh/Deric-W/lambda_calculus)
 [![Documentation Status](https://readthedocs.org/projects/lambda-calculus/badge/?version=stable)](https://lambda-calculus.readthedocs.io/en/stable/?badge=stable)
 

{lambda_calculus-3.1.0 → lambda_calculus-3.1.2}/README.md

@@ -1,7 +1,7 @@
 # lambda_calculus
 
 [![Hatch project](https://img.shields.io/badge/%F0%9F%A5%9A-Hatch-4051b5.svg)](https://github.com/pypa/hatch)
-![Tests](https://github.com/Deric-W/lambda_calculus/actions/workflows/Tests.yaml/badge.svg)
+![Tests](https://github.com/Deric-W/lambda_calculus/actions/workflows/Test.yaml/badge.svg)
 [![codecov](https://codecov.io/gh/Deric-W/lambda_calculus/branch/main/graph/badge.svg?token=SU3982mC17)](https://codecov.io/gh/Deric-W/lambda_calculus)
 [![Documentation Status](https://readthedocs.org/projects/lambda-calculus/badge/?version=stable)](https://lambda-calculus.readthedocs.io/en/stable/?badge=stable)
 

{lambda_calculus-3.1.0 → lambda_calculus-3.1.2}/docs/conf.py

@@ -1,15 +1,17 @@
-#!/usr/bin/env python3
-
 """Sphinx configuration"""
 
-import sys
 import os.path
+import sys
+
 from sphinx_pyproject import SphinxConfig
 
+from lambda_calculus import __version__ as version
 
 sys.path.append(os.path.abspath(".."))
 
-config = SphinxConfig("../pyproject.toml", globalns=globals())
+config = SphinxConfig(
+    "../pyproject.toml", globalns=globals(), config_overrides={"version": version}
+)
 
 intersphinx_mapping = {
     "python": ("https://docs.python.org/3/", None),

lambda_calculus-3.1.2/docs/requirements.txt

@@ -0,0 +1,3 @@
+sphinx ~= 9.1.0
+sphinx-pyproject ~= 0.3.0
+sphinx-rtd-theme ~= 3.1.0

lambda_calculus-3.1.2/pyproject.toml

@@ -0,0 +1,140 @@
+[project]
+name = "lambda_calculus"
+description = "Implementation of the Lambda calculus"
+requires-python = ">=3.11"
+keywords = []
+classifiers = [
+    "Intended Audience :: Education",
+    "License :: OSI Approved :: GNU General Public License v3 (GPLv3)",
+    "Operating System :: OS Independent",
+    "Programming Language :: Python :: 3 :: Only",
+    "Topic :: Education",
+    "Topic :: Utilities",
+    "Typing :: Typed"
+]
+dynamic = ["version"]
+
+[project.readme]
+file = "README.md"
+content-type = "text/markdown"
+
+[[project.authors]]
+name = "Eric Niklas Wolf"
+email = "eric_niklas.wolf@mailbox.tu-dresden.de"
+
+[project.urls]
+Repository = "https://github.com/Deric-W/lambda_calculus"
+Documentation = "http://lambda-calculus.readthedocs.io/"
+Bugtracker = "https://github.com/Deric-W/lambda_calculus/issues"
+
+[build-system]
+requires = ["hatchling", "hatch-vcs"]
+build-backend = "hatchling.build"
+
+[tool.hatch.version]
+source = "vcs"
+
+[tool.hatch.build.hooks.vcs]
+version-file = "src/lambda_calculus/_version.py"
+
+[tool.hatch.envs.default]
+installer = "pip"
+
+[tool.hatch.envs.hatch-test]
+installer = "pip"
+
+[[tool.hatch.envs.hatch-test.matrix]]
+python = ["3.11", "3.12", "3.13", "3.14", "3.15"]
+
+[tool.hatch.envs.hatch-check-fmt]
+installer = "pip"
+config-path = ".ruff_defaults.toml"
+
+[tool.hatch.envs.hatch-check-code]
+installer = "pip"
+config-path = ".ruff_defaults.toml"
+
+[tool.hatch.envs.hatch-check-types]
+installer = "pip"
+# do not override inherited test dependencies
+extra-dependencies = [
+    "mypy ~= 2.4"
+]
+
+[tool.hatch.envs.hatch-check-types.scripts]
+check = "mypy -p lambda_calculus --cache-dir \"{root}/.mypy_cache\" --pretty {args}"
+check-summarize = "mypy -p lambda_calculus --cache-dir \"{root}/.mypy_cache\" {args}"
+coverage = "mypy -p lambda_calculus --cache-dir \"{root}/.mypy_cache\" --linecoverage-report \"{root}/.mypy_reports\" {args}"
+
+[tool.hatch.envs.docs]
+python = ">=3.12"
+dependencies = [
+    "sphinx ~= 9.1.0",
+    "sphinx-pyproject ~= 0.3.0",
+    "sphinx-rtd-theme ~= 3.1.0"
+]
+
+[tool.hatch.envs.docs.scripts]
+build = "sphinx-build {args} docs docs/_build"
+
+[tool.hatch.build.targets.sdist]
+exclude = ["/.github"]
+
+[tool.pytest.ini_options]
+minversion = "6.0"
+python_files = "test_*.py *_test.py __init__.py"
+
+[tool.mypy]
+disallow_any_unimported = true
+disallow_any_generics = true
+disallow_untyped_defs = true
+no_implicit_optional = true
+strict_optional = true
+warn_redundant_casts = true
+warn_unused_ignores = true
+warn_return_any = true
+warn_unreachable = true
+
+[tool.ruff]
+extend = ".ruff_defaults.toml"
+line-length = 100
+
+[tool.ruff.lint]
+ignore = [
+    "TID252"    # relative imports
+]
+
+[tool.ruff.lint.extend-per-file-ignores]
+"src/*" = [
+    "TC001",    # sphinx autodoc does not handle typing.TYPE_CHECKING
+    "TC003"     # sphinx autodoc does not handle typing.TYPE_CHECKING
+]
+"tests/*" = [
+    "PT009",    # unittest-style assert
+    "PT027"     # unittest-style assertRaises
+]
+"docs/*" = [
+    "INP001"    # implicit namespace package
+]
+
+[tool.coverage.run]
+source_pkgs = ["lambda_calculus"]
+branch = true
+parallel = true
+
+[tool.sphinx-pyproject]
+project = "lambda_calculus"
+copyright = "2022 Eric Wolf"
+html_theme = "sphinx_rtd_theme"
+extensions = [
+    "sphinx.ext.intersphinx",
+    "sphinx.ext.autodoc",
+    "sphinx.ext.viewcode"
+]
+autodoc_typehints_format = "short"
+autodoc_warningiserror = true
+
+[tool.sphinx-pyproject.autodoc_default_options]
+show-inheritance = true
+member-order = "bysource"
+ignore-module-all = true

lambda_calculus-3.1.2/src/lambda_calculus/__init__.py

@@ -0,0 +1,8 @@
+"""Implementation of the Lambda calculus"""
+
+from ._version import version as __version__  # noqa: F401
+from .terms import Abstraction, Application, Variable
+
+__author__ = "Eric Niklas Wolf"
+__email__ = "eric_niklas.wolf@mailbox.tu-dresden.de"
+__all__ = ("Abstraction", "Application", "Variable", "errors", "terms", "visitors")

lambda_calculus-3.1.2/src/lambda_calculus/_version.py

@@ -0,0 +1,24 @@
+# file generated by vcs-versioning
+# don't change, don't track in version control
+from __future__ import annotations
+
+__all__ = [
+    "__version__",
+    "__version_tuple__",
+    "version",
+    "version_tuple",
+    "__commit_id__",
+    "commit_id",
+]
+
+version: str
+__version__: str
+__version_tuple__: tuple[int | str, ...]
+version_tuple: tuple[int | str, ...]
+commit_id: str | None
+__commit_id__: str | None
+
+__version__ = version = '3.1.2'
+__version_tuple__ = version_tuple = (3, 1, 2)
+
+__commit_id__ = commit_id = None

{lambda_calculus-3.1.0 → lambda_calculus-3.1.2}/src/lambda_calculus/errors.py

@@ -1,14 +1,11 @@
-#!/usr/bin/python3
-
 """Errors raised by Term operations"""
 
 from __future__ import annotations
+
 from collections.abc import Collection
-from typing import TypeVar, Generic
+from typing import Generic, TypeVar
 
-__all__ = (
-    "CollisionError",
-)
+__all__ = ("CollisionError",)
 
 V = TypeVar("V")