init

Author: thautwarm

.gitignore

@@ -0,0 +1,105 @@
+# 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/
+*.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/
+.coverage
+.coverage.*
+.cache
+nosetests.xml
+coverage.xml
+*.cover
+.hypothesis/
+.pytest_cache/
+
+# Translations
+*.mo
+*.pot
+
+# Django stuff:
+*.log
+local_settings.py
+db.sqlite3
+
+# Flask stuff:
+instance/
+.webassets-cache
+
+# Scrapy stuff:
+.scrapy
+
+# Sphinx documentation
+docs/_build/
+
+# PyBuilder
+target/
+
+# Jupyter Notebook
+.ipynb_checkpoints
+
+# pyenv
+.python-version
+
+# celery beat schedule file
+celerybeat-schedule
+
+# SageMath parsed files
+*.sage.py
+
+# Environments
+.env
+.venv
+env/
+venv/
+ENV/
+env.bak/
+venv.bak/
+
+# Spyder project settings
+.spyderproject
+.spyproject
+
+# Rope project settings
+.ropeproject
+
+# mkdocs documentation
+/site
+
+# mypy
+.mypy_cache/
+.idea/

python/Data/Bounded.py

@@ -0,0 +1,9 @@
+import sys
+
+topInt = 2147483647
+bottomInt = -2147483648
+topChar = chr(65535)
+bottomChar = chr(0)
+
+topNumber = sys.float_info.max
+bottomNumber = sys.float_info.min

python/Data/Eq.py

@@ -0,0 +1,25 @@
+def refEq(r1):
+    return lambda r2: r1 is r2
+
+
+def structEq(r1):
+    return lambda r2: r1 == r2
+
+
+eqBooleanImpl = refEq
+eqIntImpl = eqNumberImpl = eqCharImpl = eqStringImpl = structEq
+
+
+def eqArrayImpl(f):
+    def eq_arr1(xs):
+        def eq_arr2(ys):
+            if len(xs) != len(ys):
+                return False
+            for x, y in zip(xs, ys):
+                if not f(x)(y):
+                    return False
+            return True
+
+        return eq_arr2
+
+    return eq_arr1

python/Data/EuclideanRing.py

@@ -0,0 +1,21 @@
+def intDegree(x):
+    return min(abs(x), 2147483647)
+
+
+def intDiv(x):
+    return lambda y: (
+        0 if y is 0 else
+        x // y if y > 0 else
+        x // -y
+    )
+
+
+def intMod(x):
+    return lambda y: (
+        0 if y is 0 else
+        x % abs(y)
+    )
+
+
+def numDiv(n1):
+    return lambda n2: n1 / n2

python/Data/Functor.py

@@ -0,0 +1,5 @@
+def arrayMap(f):
+    def app(arr):
+        return tuple(f(e) for e in arr)
+
+    return app

python/Data/HeytingAlgebra.py

@@ -0,0 +1,10 @@
+def boolConj(b1):
+    return lambda b2: b1 and b2
+
+
+def boolDisj(b1):
+    return lambda b2: b1 or b2
+
+
+def boolNot(b):
+    return not b

python/Data/Ord.py

@@ -0,0 +1,34 @@
+unsafeCompareImpl = lambda lt: lambda eq: lambda gt: lambda x: lambda y: (
+    lt if x < y else
+    eq if x == y else
+    gt
+)
+
+unsafeCompareImplStruct = lambda lt: lambda eq: lambda gt: lambda x: lambda y: (
+    lt if x < y else
+    eq if x == y else
+    gt
+)
+
+ordBooleanImpl = unsafeCompareImplStruct
+ordIntImpl = ordNumberImpl = ordStringImpl = ordCharImpl = unsafeCompareImpl
+
+
+def ordArrayImpl(f):
+    def ap1(xs):
+        def ap2(ys):
+            for x, y in zip(xs, ys):
+                o = f(x)(y)
+                if o is not 0:
+                    return o
+            xlen = len(xs)
+            ylen = len(ys)
+            if xlen == ylen:
+                return 0
+            if xlen > ylen:
+                return -1
+            return 1
+
+        return ap2
+
+    return ap1

python/Data/Ord/Unsafe.py

@@ -0,0 +1,5 @@
+unsafeCompareImpl = lambda lt: lambda eq: lambda gt: lambda x: lambda y: (
+    lt if x < y else
+    eq if x == y else
+    gt
+)

python/Data/Ring.py

@@ -0,0 +1,6 @@
+def intSub(x):
+    return lambda y: x - y
+
+
+def numSub(x):
+    return lambda y: x - y

python/Data/Semigroup.py

@@ -0,0 +1,10 @@
+def concatString(s1):
+    return lambda s2: s1 + s2
+
+
+def concatArray(xs):
+    return lambda ys: (
+            ys if not xs else
+            xs if not ys else
+            xs + ys
+    )