├── .gitignore ├── .travis.yml ├── LICENSE ├── Lightyear.idr ├── Lightyear ├── Char.idr ├── Combinators.idr ├── Core.idr ├── Position.idr ├── StringFile.idr ├── Strings.idr └── Testing.idr ├── Makefile ├── README.md ├── examples └── Json.idr ├── lightyear.ipkg └── tests ├── Json.idr ├── JsonTest.idr ├── Test.idr ├── TestLazy.idr ├── expected ├── runtests.sh └── test.ipkg /.gitignore: -------------------------------------------------------------------------------- 1 | *_doc/ 2 | *.ibc 3 | *~ 4 | -------------------------------------------------------------------------------- /.travis.yml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ziman/lightyear/HEAD/.travis.yml -------------------------------------------------------------------------------- /LICENSE: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ziman/lightyear/HEAD/LICENSE -------------------------------------------------------------------------------- /Lightyear.idr: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ziman/lightyear/HEAD/Lightyear.idr -------------------------------------------------------------------------------- /Lightyear/Char.idr: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ziman/lightyear/HEAD/Lightyear/Char.idr -------------------------------------------------------------------------------- /Lightyear/Combinators.idr: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ziman/lightyear/HEAD/Lightyear/Combinators.idr -------------------------------------------------------------------------------- /Lightyear/Core.idr: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ziman/lightyear/HEAD/Lightyear/Core.idr -------------------------------------------------------------------------------- /Lightyear/Position.idr: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ziman/lightyear/HEAD/Lightyear/Position.idr -------------------------------------------------------------------------------- /Lightyear/StringFile.idr: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ziman/lightyear/HEAD/Lightyear/StringFile.idr -------------------------------------------------------------------------------- /Lightyear/Strings.idr: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ziman/lightyear/HEAD/Lightyear/Strings.idr -------------------------------------------------------------------------------- /Lightyear/Testing.idr: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ziman/lightyear/HEAD/Lightyear/Testing.idr -------------------------------------------------------------------------------- /Makefile: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ziman/lightyear/HEAD/Makefile -------------------------------------------------------------------------------- /README.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ziman/lightyear/HEAD/README.md -------------------------------------------------------------------------------- /examples/Json.idr: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ziman/lightyear/HEAD/examples/Json.idr -------------------------------------------------------------------------------- /lightyear.ipkg: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ziman/lightyear/HEAD/lightyear.ipkg -------------------------------------------------------------------------------- /tests/Json.idr: -------------------------------------------------------------------------------- 1 | ../examples/Json.idr -------------------------------------------------------------------------------- /tests/JsonTest.idr: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ziman/lightyear/HEAD/tests/JsonTest.idr -------------------------------------------------------------------------------- /tests/Test.idr: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ziman/lightyear/HEAD/tests/Test.idr -------------------------------------------------------------------------------- /tests/TestLazy.idr: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ziman/lightyear/HEAD/tests/TestLazy.idr -------------------------------------------------------------------------------- /tests/expected: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ziman/lightyear/HEAD/tests/expected -------------------------------------------------------------------------------- /tests/runtests.sh: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ziman/lightyear/HEAD/tests/runtests.sh -------------------------------------------------------------------------------- /tests/test.ipkg: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ziman/lightyear/HEAD/tests/test.ipkg --------------------------------------------------------------------------------