lambda-repl 1.2.0__tar.gz → 1.2.1__tar.gz

lambda_repl-1.2.1/.flake8

@@ -0,0 +1,3 @@
+[flake8]
+max-line-length = 100
+extend-ignore = E221,E501

lambda_repl-1.2.1/.gitignore

@@ -0,0 +1,164 @@
+# Byte-compiled / optimized / DLL files
+__pycache__/
+*.py[cod]
+*$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
+.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
+
+# 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
+
+# pdm
+#   Similar to Pipfile.lock, it is generally recommended to include pdm.lock in version control.
+#pdm.lock
+#   pdm stores project-wide configurations in .pdm.toml, but it is recommended to not include it
+#   in version control.
+#   https://pdm.fming.dev/#use-with-ide
+.pdm.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
+
+# SageMath parsed files
+*.sage.py
+
+# Environments
+.env
+.venv
+.direnv
+env/
+venv/
+ENV/
+env.bak/
+venv.bak/
+
+# Spyder project settings
+.spyderproject
+.spyproject
+
+# Rope project settings
+.ropeproject
+
+# mkdocs documentation
+/site
+
+# mypy
+.mypy_cache/
+.dmypy.json
+dmypy.json
+
+# 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/
+
+# VSCode
+.vscode/

{lambda_repl-1.2.0 → lambda_repl-1.2.1}/PKG-INFO

@@ -1,10 +1,11 @@
-Metadata-Version: 2.1
+Metadata-Version: 2.4
 Name: lambda_repl
-Version: 1.2.0
+Version: 1.2.1
 Summary: REPL for the lambda calculus
-Author-email: Eric Niklas Wolf <eric_niklas.wolf@mailbox.tu-dresden.de>
 Project-URL: Repository, https://github.com/Deric-W/lambda_repl
 Project-URL: Bugtracker, https://github.com/Deric-W/lambda_repl/issues
+Author-email: Eric Niklas Wolf <eric_niklas.wolf@mailbox.tu-dresden.de>
+License-File: LICENSE
 Classifier: Intended Audience :: Education
 Classifier: License :: OSI Approved :: GNU General Public License v3 (GPLv3)
 Classifier: Operating System :: OS Independent
@@ -13,11 +14,13 @@ Classifier: Topic :: Education
 Classifier: Topic :: Utilities
 Classifier: Typing :: Typed
 Requires-Python: >=3.10
+Requires-Dist: lambda-calculus~=3.0
+Requires-Dist: lark~=1.0
 Description-Content-Type: text/markdown
-License-File: LICENSE
 
 # lambda_repl
 
+[![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_repl/actions/workflows/Tests.yaml/badge.svg)
 [![codecov](https://codecov.io/gh/Deric-W/lambda_repl/branch/main/graph/badge.svg?token=SU3982mC17)](https://codecov.io/gh/Deric-W/lambda_repl)
 

{lambda_repl-1.2.0 → lambda_repl-1.2.1}/README.md

@@ -1,5 +1,6 @@
 # lambda_repl
 
+[![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_repl/actions/workflows/Tests.yaml/badge.svg)
 [![codecov](https://codecov.io/gh/Deric-W/lambda_repl/branch/main/graph/badge.svg?token=SU3982mC17)](https://codecov.io/gh/Deric-W/lambda_repl)
 

lambda_repl-1.2.1/codecov.SHA256SUM

@@ -0,0 +1 @@
+8930c4bb30254a42f3d8c340706b1be340885e20c0df5160a24efa2e030e662b  codecov

lambda_repl-1.2.1/codecov.SHA256SUM.sig

@@ -0,0 +1,16 @@
+-----BEGIN PGP SIGNATURE-----
+
+iQIzBAABCgAdFiEEJwNOf9uFDgu8LGL/gGuyiu13mGkFAmnnz8MACgkQgGuyiu13
+mGnysA/7Byxt7YmTKIwMRW8+VOoUCp0mKosnlZMvDyc/lVS1K2xpMxXOl/mIMzPD
+OZT7ApPZ70A2hDrsz631yMMxM9/xDAFPEmWfM3aepoQNsrZjyW8Qh9SSQQPvu+sh
+v6cnZhLBwWty1fvdZTS9RWWBaqheCYSXmrLocLXgrh4TzlHeXxA2dAjNKWXZb5H6
+M6FXnSTuQ5+kckijzzuaZJ7sA9IWQI4CtVXc+n850YPAOpg35xc7aR3vLOL5dlmW
+jICLk0T2DX0PDE7Nw9mQhnRXZsGHifQUPrNsDu2CqRmHMaiP/9dL2LcD8A4bIR46
+R48LTqDu75BueDIGerQya5SH38JZk3E2YAQb7tZMdviDp0yOGeYhNMfxUd8mxs8Q
+oxLhZW73CFOjapQnRxyYaGi27f9ldCQ4w5KrxwM9YaFBr335cFYG183jDDFUYjr2
+gzRi+jwKowr6h0Edx+teoB5B7FO0Gvx5gWhyI8xuoeklIu3iLaDYAyHxmUjHRfMx
+D3ioTVwm+vkq+eIXJfDe0sAlJjTHMo/udsc4aKYmxtgj7Um0Xe8IUmPkopn09F+5
+E5X0yncFG5CPLFHY5xZklEW2pZI2WdkXp/fXwfKUxgME4ntr1C1/y9x2j71bbRtu
+neus07LhjRdYfDb3/9opafzxSJ8sTvkGnMaSfDshYo15dfTU+1g=
+=SKRh
+-----END PGP SIGNATURE-----

{lambda_repl-1.2.0 → lambda_repl-1.2.1}/pyproject.toml

@@ -1,6 +1,6 @@
 [project]
 name = "lambda_repl"
-version = "1.2.0"
+version = "1.2.1"
 description = "REPL for the lambda calculus"
 requires-python = ">=3.10"
 keywords = []
@@ -14,7 +14,7 @@ classifiers = [
     "Typing :: Typed"
 ]
 dependencies = [
-    "lambda-calculus ~= 2.0",
+    "lambda-calculus ~= 3.0",
     "lark ~= 1.0"
 ]
 
@@ -34,15 +34,36 @@ Bugtracker = "https://github.com/Deric-W/lambda_repl/issues"
 lambda-repl = "lambda_repl.main:main_cli"
 
 [build-system]
-requires = ["setuptools >= 61.0.0"]
-build-backend = "setuptools.build_meta"
+requires = ["hatchling"]
+build-backend = "hatchling.build"
 
-[tool.setuptools.package-data]
-lambda_repl = [
-    "py.typed",
-    "grammar.lark"
+[tool.hatch.envs.hatch-test]
+installer = "pip"
+
+[[tool.hatch.envs.hatch-test.matrix]]
+python = ["3.10", "3.11", "3.12", "3.13", "3.14"]
+
+[tool.hatch.envs.lint]
+dependencies = [
+    "mypy >= 1.0.0",
+    "pylint >= 2.12.2",
+    "flake8 >= 5.0.0",
+    "isort >= 5.10.1"
 ]
 
+[tool.hatch.envs.lint.scripts]
+lint = [
+    "- flake8 src/lambda_repl",
+    "- pylint src/lambda_repl"
+]
+typecheck = "mypy -p lambda_repl"
+release = [
+    "typecheck"
+]
+
+[tool.hatch.build.targets.sdist]
+exclude = ["/.github"]
+
 [tool.mypy]
 disallow_any_unimported = true
 disallow_any_generics = true
@@ -52,4 +73,12 @@ strict_optional = true
 warn_redundant_casts = true
 warn_unused_ignores = true
 warn_return_any = true
-warn_unreachable = true
+warn_unreachable = true
+
+[tool.pylint]
+max-line-length = 100
+
+[tool.coverage.run]
+source_pkgs = ["lambda_repl"]
+branch = true
+parallel = true

{lambda_repl-1.2.0 → lambda_repl-1.2.1/src}/lambda_repl/__init__.py

@@ -15,7 +15,7 @@ from lark.exceptions import UnexpectedInput
 from .parsing import LambdaTransformer
 from .aliases import Aliases
 
-__version__ = "1.2.0"
+__version__ = "1.2.1"
 __author__  = "Eric Niklas Wolf"
 __email__   = "eric_niklas.wolf@mailbox.tu-dresden.de"
 __all__ = (
@@ -57,7 +57,7 @@ class LambdaREPL(Cmd):
         module, _, name = location.strip().rpartition(".")
         try:
             term = getattr(import_module(module), name)
-        except Exception as error:
+        except Exception as error:  # pylint: disable=W0718
             self.stdout.write(f"Error while importing: {error}\n")
             return None
         if not isinstance(term, Term):

lambda_repl-1.2.1/src/lambda_repl/grammar.lark

@@ -0,0 +1,13 @@
+_WHITESPACE: /\s+/
+
+VARIABLE: /[^\s().λ\\]+/
+
+abstraction: ("\\" | "λ") VARIABLE "." term
+
+application: _application_term _WHITESPACE (abstraction | _simple_term)
+
+?term: abstraction | _application_term
+
+_application_term: application | _simple_term
+
+_simple_term: VARIABLE | "(" term ")"

{lambda_repl-1.2.0 → lambda_repl-1.2.1/src}/lambda_repl/parsing.py

@@ -4,7 +4,7 @@
 
 from __future__ import annotations
 from collections import deque
-from collections.abc import Iterator, Sequence
+from collections.abc import Iterator
 from itertools import chain
 from lambda_calculus.terms import Abstraction, Application, Term, Variable
 from lark import Lark, Token
@@ -52,10 +52,10 @@ class LambdaTransformer(Transformer[Token, Term[str]]):
         """parse a string and return the transformed lambda term"""
         # the parser sometimes return tokens directly instead of a tree
         match PARSER.parse(string):
-            case Token(type="VARIABLE") as name:    # type: ignore
-                return self.VARIABLE(name)          # type: ignore
-            case Token() as token:                  # type: ignore
-                raise UnexpectedToken(token, {"VARIABLE",})
+            case Token(type="VARIABLE") as name:
+                return self.VARIABLE(name)
+            case Token() as token:
+                raise UnexpectedToken(token, {"VARIABLE", })
             case tree:
                 return self.transform(tree)
 
@@ -63,6 +63,10 @@ class LambdaTransformer(Transformer[Token, Term[str]]):
         """handle unknown nodes"""
         raise UnexpectedInput(f"unknown node: {data}")
 
+    def __default_token__(self, token: Token) -> Token:
+        """handle unknown tokens"""
+        raise UnexpectedInput(f"unknown token: {token}")
+
     def VARIABLE(self, name: Token) -> Variable[str]:
         """transform a variable node"""
         return Variable(name.value)
@@ -72,9 +76,10 @@ class LambdaTransformer(Transformer[Token, Term[str]]):
         """transform an abstraction"""
         return Abstraction(variable.name, body)
 
-    def application(self, children: Sequence[Term[str]]) -> Application[str]:
+    @v_args(inline=True)
+    def application(self, abstraction: Term[str], argument: Term[str]) -> Application[str]:
         """transform an application"""
-        return Application.with_arguments(children[0], children[1:])
+        return Application(abstraction, argument)
 
 
 PARSER = Lark.open_from_package(

{lambda_repl-1.2.0 → lambda_repl-1.2.1}/tests/test_parsing.py

@@ -73,6 +73,10 @@ class ParsingTest(TestCase):
                 .apply_to(Variable("b"), Variable("c"))
                 .abstract("a", "b")
         )
+        self.assertEqual(
+            self.transformer.transform_string("a λa.a b c"),
+            Variable("a").apply_to(Variable("a").apply_to(Variable("b"), Variable("c")).abstract("a"))
+        )
 
     def test_brackets(self) -> None:
         """test bracket parsing"""

lambda_repl-1.2.0/lambda_repl/grammar.lark

@@ -1,11 +0,0 @@
-_WHITESPACE: /\s+/
-
-VARIABLE: /[^\s().λ\\]+/
-
-abstraction: ("\\" | "λ") VARIABLE "." term
-
-application: ( abstraction | VARIABLE | brackets ) ( _WHITESPACE ( abstraction | VARIABLE | brackets ) )+
-
-?brackets: "(" term ")"
-
-?term: abstraction | application | VARIABLE | brackets

lambda_repl-1.2.0/lambda_repl.egg-info/PKG-INFO

@@ -1,57 +0,0 @@
-Metadata-Version: 2.1
-Name: lambda-repl
-Version: 1.2.0
-Summary: REPL for the lambda calculus
-Author-email: Eric Niklas Wolf <eric_niklas.wolf@mailbox.tu-dresden.de>
-Project-URL: Repository, https://github.com/Deric-W/lambda_repl
-Project-URL: Bugtracker, https://github.com/Deric-W/lambda_repl/issues
-Classifier: Intended Audience :: Education
-Classifier: License :: OSI Approved :: GNU General Public License v3 (GPLv3)
-Classifier: Operating System :: OS Independent
-Classifier: Programming Language :: Python :: 3 :: Only
-Classifier: Topic :: Education
-Classifier: Topic :: Utilities
-Classifier: Typing :: Typed
-Requires-Python: >=3.10
-Description-Content-Type: text/markdown
-License-File: LICENSE
-
-# lambda_repl
-
-![Tests](https://github.com/Deric-W/lambda_repl/actions/workflows/Tests.yaml/badge.svg)
-[![codecov](https://codecov.io/gh/Deric-W/lambda_repl/branch/main/graph/badge.svg?token=SU3982mC17)](https://codecov.io/gh/Deric-W/lambda_repl)
-
-The `lambda_repl` package contains a [REPL](https://en.wikipedia.org/wiki/Read%E2%80%93eval%E2%80%93print_loop)
-for the [lambda calculus](https://en.wikipedia.org/wiki/Lambda_calculus).
-
-To use it, execute `lambda-repl` or `python3 -m lambda_repl` and enter commands.
-
-## Requirements
-
-Python >= 3.10 and the packages [`lambda_calculus`](https://github.com/Deric-W/lambda_calculus)
-and [`lark`](https://github.com/lark-parser/lark) are required to use this package.
-
-## Installation
-
-```sh
-python3 -m pip install lambda-repl
-```
-
-## Examples
-
-```
-python3 -m lambda_repl
-Welcome to the the Lambda REPL, type 'help' for help
-λ alias I = \x.x
-λ alias K = λx.λy.x
-λ import SUCC = lambda_calculus.terms.arithmetic.SUCCESSOR
-λ aliases
-I = (λx.x)
-K = (λx.(λy.x))
-SUCC = (λn.(λf.(λx.(f ((n f) x)))))
-λ trace K a b
-β ((λy.a) b)
-β a
-λ exit
-Exiting REPL...
-```

lambda_repl-1.2.0/lambda_repl.egg-info/SOURCES.txt

@@ -1,19 +0,0 @@
-LICENSE
-README.md
-pyproject.toml
-lambda_repl/__init__.py
-lambda_repl/__main__.py
-lambda_repl/aliases.py
-lambda_repl/grammar.lark
-lambda_repl/main.py
-lambda_repl/parsing.py
-lambda_repl/py.typed
-lambda_repl.egg-info/PKG-INFO
-lambda_repl.egg-info/SOURCES.txt
-lambda_repl.egg-info/dependency_links.txt
-lambda_repl.egg-info/entry_points.txt
-lambda_repl.egg-info/requires.txt
-lambda_repl.egg-info/top_level.txt
-tests/test_aliases.py
-tests/test_parsing.py
-tests/test_repl.py

lambda_repl-1.2.0/lambda_repl.egg-info/dependency_links.txt

@@ -1 +0,0 @@
-

lambda_repl-1.2.0/lambda_repl.egg-info/entry_points.txt

@@ -1,2 +0,0 @@
-[console_scripts]
-lambda-repl = lambda_repl.main:main_cli

lambda_repl-1.2.0/lambda_repl.egg-info/requires.txt

@@ -1,2 +0,0 @@
-lambda-calculus~=2.0
-lark~=1.0

lambda_repl-1.2.0/lambda_repl.egg-info/top_level.txt

@@ -1 +0,0 @@
-lambda_repl

lambda_repl-1.2.0/setup.cfg

@@ -1,4 +0,0 @@
-[egg_info]
-tag_build = 
-tag_date = 0
-