init

.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

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"
+

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

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

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), _)
+```