├── .gitignore ├── .travis.yml ├── LICENSE ├── README.md ├── rightarrow ├── __init__.py ├── annotations.py ├── constraintgen.py ├── constraintsolve.py ├── enforce.py ├── lexer.py └── parser.py ├── setup.py └── tests ├── __init__.py ├── sample.py ├── samples ├── literal_bool.py ├── literal_float.py ├── literal_int.py ├── literal_long.py └── literal_string.py ├── test_constraintgen.py ├── test_enforce.py ├── test_lexer.py └── test_parser.py /.gitignore: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/kennknowles/python-rightarrow/HEAD/.gitignore -------------------------------------------------------------------------------- /.travis.yml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/kennknowles/python-rightarrow/HEAD/.travis.yml -------------------------------------------------------------------------------- /LICENSE: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/kennknowles/python-rightarrow/HEAD/LICENSE -------------------------------------------------------------------------------- /README.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/kennknowles/python-rightarrow/HEAD/README.md -------------------------------------------------------------------------------- /rightarrow/__init__.py: -------------------------------------------------------------------------------- 1 | -------------------------------------------------------------------------------- /rightarrow/annotations.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/kennknowles/python-rightarrow/HEAD/rightarrow/annotations.py -------------------------------------------------------------------------------- /rightarrow/constraintgen.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/kennknowles/python-rightarrow/HEAD/rightarrow/constraintgen.py -------------------------------------------------------------------------------- /rightarrow/constraintsolve.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/kennknowles/python-rightarrow/HEAD/rightarrow/constraintsolve.py -------------------------------------------------------------------------------- /rightarrow/enforce.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/kennknowles/python-rightarrow/HEAD/rightarrow/enforce.py -------------------------------------------------------------------------------- /rightarrow/lexer.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/kennknowles/python-rightarrow/HEAD/rightarrow/lexer.py -------------------------------------------------------------------------------- /rightarrow/parser.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/kennknowles/python-rightarrow/HEAD/rightarrow/parser.py -------------------------------------------------------------------------------- /setup.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/kennknowles/python-rightarrow/HEAD/setup.py -------------------------------------------------------------------------------- /tests/__init__.py: -------------------------------------------------------------------------------- 1 | -------------------------------------------------------------------------------- /tests/sample.py: -------------------------------------------------------------------------------- 1 | def f(x): 2 | return x * 2 3 | -------------------------------------------------------------------------------- /tests/samples/literal_bool.py: -------------------------------------------------------------------------------- 1 | False 2 | -------------------------------------------------------------------------------- /tests/samples/literal_float.py: -------------------------------------------------------------------------------- 1 | 45.243 2 | -------------------------------------------------------------------------------- /tests/samples/literal_int.py: -------------------------------------------------------------------------------- 1 | 3485930 2 | -------------------------------------------------------------------------------- /tests/samples/literal_long.py: -------------------------------------------------------------------------------- 1 | 3L 2 | -------------------------------------------------------------------------------- /tests/samples/literal_string.py: -------------------------------------------------------------------------------- 1 | "hello" 2 | -------------------------------------------------------------------------------- /tests/test_constraintgen.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/kennknowles/python-rightarrow/HEAD/tests/test_constraintgen.py -------------------------------------------------------------------------------- /tests/test_enforce.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/kennknowles/python-rightarrow/HEAD/tests/test_enforce.py -------------------------------------------------------------------------------- /tests/test_lexer.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/kennknowles/python-rightarrow/HEAD/tests/test_lexer.py -------------------------------------------------------------------------------- /tests/test_parser.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/kennknowles/python-rightarrow/HEAD/tests/test_parser.py --------------------------------------------------------------------------------