commit 90459e57654c79f0be7006968beaa1c4ce9d947f Author: Kira Steviol Date: Thu Feb 12 18:42:56 2026 +0300 init diff --git a/.gitignore b/.gitignore new file mode 100644 index 0000000..e15106e --- /dev/null +++ b/.gitignore @@ -0,0 +1,216 @@ +# 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 +.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 + +# 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 +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/ + +# 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/ + +# Ruff stuff: +.ruff_cache/ + +# PyPI configuration file +.pypirc + +# Marimo +marimo/_static/ +marimo/_lsp/ +__marimo__/ + +# Streamlit +.streamlit/secrets.toml diff --git a/pypipe/__init__.py b/pypipe/__init__.py new file mode 100644 index 0000000..a8669e9 --- /dev/null +++ b/pypipe/__init__.py @@ -0,0 +1,20 @@ +_ = object() + +def curry(f): + def g(*args): + if _ in args: + def h(*more): + it = iter(more) + filled = [next(it) if a is _ else a for a in args] + return g(*filled) + return h + return f(*args) + return g + +class CalledUncallable(Exception): + def __init__(self): + super().__init__() + + def __str__(self): + return "Called uncallable object" + diff --git a/pypipe/either.py b/pypipe/either.py new file mode 100644 index 0000000..84b4016 --- /dev/null +++ b/pypipe/either.py @@ -0,0 +1,87 @@ +from pypipe import curry, CalledUncallable + +type Either[T] = Left[T] | Right[T] + +def _whenDirection(fl, fr, direction, m: Either): + match m: + case Left(value,) if direction in ["left", "both"]: + return fl(value) + case Right(value,) if direction in ["right", "both"]: + return fr(value) + return m + +@curry +def whenRight(f, m: Either): + return _whenDirection(None, f, "right", m) + +@curry +def whenLeft(f, m: Either): + return _whenDirection(f, None, "left", m) + +@curry +def eitherM(m: Either, fl, fr): + return _whenDirection(fl, fr, "both", m) + +def _mapDirection(fl, fr, direction, m: Either): + match m: + case Left(value,) if direction in ["left", "both"]: + try: + return Right(fl(value)) + except Exception as e: + return Left(e) + case Right(value,) if direction in ["right", "both"]: + try: + return Right(fr(value)) + except Exception as e: + return Left(e) + return m + +@curry +def mapLeft(f, m: Either): + return _mapDirection(f, None, "left", m) + +@curry +def mapRight(f, m: Either): + return _mapDirection(None, f, "right", m) + +@curry +def mapBoth(fl, fr, m: Either): + return _mapDirection(fl, fr, "right", m) + + +class Right(object): + __match_args__ = ("value",) + def __init__(self, value): + self.value = value + + def __repr__(self): + return f"Right({repr(self.value)})" + + def __mod__(self, func): + return func(self) + + def __matmul__(self, func): + if not callable(func): + raise CalledUncallable + try: + self.value = func(self.value) + except Exception as e: + return Left(e) + return self + + +class Left(): + __match_args__ = ("value",) + def __init__(self, value): + self.value = value + + def __repr__(self): + return f"Left({repr(self.value)})" + + def __mod__(self, func): + return func(self) + + def __matmul__(self, func): + if callable(func): + return self + raise CalledUncallable diff --git a/pypipe/maybe.py b/pypipe/maybe.py new file mode 100644 index 0000000..5c3c558 --- /dev/null +++ b/pypipe/maybe.py @@ -0,0 +1,53 @@ +# so apparently python has @ operator which is not used anywhere in python itself +# but rather reserved for matrix multiplications in libraries like numpy and etc +# which is very cool as we can safely override it for ourselves as we want +# the only drawback is that we also need some type to use this operator on +# fortunately there is one that is absent in python but imperative in functional languages +# and of course it is maybe/optional monad + +from pypipe import CalledUncallable + +type Maybe[T] = Just[T] | Nothing + +def fromJust(something): + match something: + case Just(value,): + return value + case Nothing(): + raise NothingException + +class NothingException(Exception): + pass + +class Just(object): + __match_args__ = ("value",) + def __init__(self, value): + self.value = value + + def __repr__(self): + return f"Just({repr(self.value)})" + + def __mod__(self, func): + return func(self) + + def __matmul__(self, func): + if not callable(func): + raise CalledUncallable + try: + self.value = func(self.value) + except Exception: + return Nothing() + + return self + +class Nothing(): + def __repr__(self): + return "Nothing" + + def __mod__(self, func): + return func(self) + + def __matmul__(self, func): + if callable(func): + return Nothing() + raise CalledUncallable diff --git a/readme.md b/readme.md new file mode 100644 index 0000000..c7b1f10 --- /dev/null +++ b/readme.md @@ -0,0 +1,20 @@ +```py +Just(1) @ id % fromJust +``` + +```py +match Right([4, 12, 18, 15, 23, -64, 15, 12, 12, 5, 8]) \ + @ (lambda x: map(chr, [y + 96 for y in x])) \ + @ list @ reversed \ + @ (lambda x: ''.join(x) + '!'): + case Right(value,): + print(value) + case Left(value,): + raise value +``` + +```py +Right(1) \ + % whenLeft(exit, _) \ + % mapRight((lambda x: 2), _) +```