├── .gitignore ├── .travis.yml ├── LICENSE.txt ├── README.rst ├── dependencies.txt ├── examples └── account.py ├── setup.py ├── tox.ini └── unification ├── __init__.py ├── core.py ├── dispatch.py ├── match.py ├── more.py ├── tests ├── test_core.py ├── test_match.py ├── test_more.py ├── test_utils.py └── test_variable.py ├── utils.py └── variable.py /.gitignore: -------------------------------------------------------------------------------- 1 | *.pyc 2 | .coverage 3 | .tox 4 | *.egg-info 5 | -------------------------------------------------------------------------------- /.travis.yml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/mrocklin/unification/HEAD/.travis.yml -------------------------------------------------------------------------------- /LICENSE.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/mrocklin/unification/HEAD/LICENSE.txt -------------------------------------------------------------------------------- /README.rst: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/mrocklin/unification/HEAD/README.rst -------------------------------------------------------------------------------- /dependencies.txt: -------------------------------------------------------------------------------- 1 | toolz 2 | multipledispatch 3 | -------------------------------------------------------------------------------- /examples/account.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/mrocklin/unification/HEAD/examples/account.py -------------------------------------------------------------------------------- /setup.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/mrocklin/unification/HEAD/setup.py -------------------------------------------------------------------------------- /tox.ini: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/mrocklin/unification/HEAD/tox.ini -------------------------------------------------------------------------------- /unification/__init__.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/mrocklin/unification/HEAD/unification/__init__.py -------------------------------------------------------------------------------- /unification/core.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/mrocklin/unification/HEAD/unification/core.py -------------------------------------------------------------------------------- /unification/dispatch.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/mrocklin/unification/HEAD/unification/dispatch.py -------------------------------------------------------------------------------- /unification/match.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/mrocklin/unification/HEAD/unification/match.py -------------------------------------------------------------------------------- /unification/more.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/mrocklin/unification/HEAD/unification/more.py -------------------------------------------------------------------------------- /unification/tests/test_core.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/mrocklin/unification/HEAD/unification/tests/test_core.py -------------------------------------------------------------------------------- /unification/tests/test_match.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/mrocklin/unification/HEAD/unification/tests/test_match.py -------------------------------------------------------------------------------- /unification/tests/test_more.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/mrocklin/unification/HEAD/unification/tests/test_more.py -------------------------------------------------------------------------------- /unification/tests/test_utils.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/mrocklin/unification/HEAD/unification/tests/test_utils.py -------------------------------------------------------------------------------- /unification/tests/test_variable.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/mrocklin/unification/HEAD/unification/tests/test_variable.py -------------------------------------------------------------------------------- /unification/utils.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/mrocklin/unification/HEAD/unification/utils.py -------------------------------------------------------------------------------- /unification/variable.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/mrocklin/unification/HEAD/unification/variable.py --------------------------------------------------------------------------------