├── .gitignore ├── Js ├── ASync.idr ├── BrowserForeigns.idr ├── BrowserNetwork.idr ├── Cordova.idr ├── Dom.idr ├── Html.idr ├── HtmlStyle.idr ├── HtmlUtils.idr ├── Json.idr ├── Node.idr ├── RethinkDB.idr ├── SVG.idr ├── ServiceTypes.idr ├── SimpleData.idr ├── Typeable.idr ├── Utils.idr └── VirtualDom.idr ├── LICENSE ├── README.md ├── async.js ├── examples ├── compile.sh ├── compileAll.sh ├── ex0.idr ├── ex1.idr ├── examples.ipkg ├── game.idr └── todo.idr ├── html.js ├── js.ipkg ├── mk_tests.sh ├── tests ├── compile.sh ├── doAllTests.sh ├── t1.idr ├── t1.testres ├── t10.idr ├── t10.testres ├── t11.idr ├── t11.testres ├── t2.idr ├── t2.testres ├── t3.idr ├── t3.testres ├── t4.idr ├── t4.testres ├── t5.idr ├── t5.testres ├── t6.idr ├── t6.testres ├── t7.idr ├── t7.testres ├── t8.idr ├── t8.testres ├── t9.idr └── t9.testres └── virtualdom.js /.gitignore: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/rbarreiro/idrisjs/HEAD/.gitignore -------------------------------------------------------------------------------- /Js/ASync.idr: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/rbarreiro/idrisjs/HEAD/Js/ASync.idr -------------------------------------------------------------------------------- /Js/BrowserForeigns.idr: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/rbarreiro/idrisjs/HEAD/Js/BrowserForeigns.idr -------------------------------------------------------------------------------- /Js/BrowserNetwork.idr: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/rbarreiro/idrisjs/HEAD/Js/BrowserNetwork.idr -------------------------------------------------------------------------------- /Js/Cordova.idr: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/rbarreiro/idrisjs/HEAD/Js/Cordova.idr -------------------------------------------------------------------------------- /Js/Dom.idr: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/rbarreiro/idrisjs/HEAD/Js/Dom.idr -------------------------------------------------------------------------------- /Js/Html.idr: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/rbarreiro/idrisjs/HEAD/Js/Html.idr -------------------------------------------------------------------------------- /Js/HtmlStyle.idr: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/rbarreiro/idrisjs/HEAD/Js/HtmlStyle.idr -------------------------------------------------------------------------------- /Js/HtmlUtils.idr: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/rbarreiro/idrisjs/HEAD/Js/HtmlUtils.idr -------------------------------------------------------------------------------- /Js/Json.idr: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/rbarreiro/idrisjs/HEAD/Js/Json.idr -------------------------------------------------------------------------------- /Js/Node.idr: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/rbarreiro/idrisjs/HEAD/Js/Node.idr -------------------------------------------------------------------------------- /Js/RethinkDB.idr: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/rbarreiro/idrisjs/HEAD/Js/RethinkDB.idr -------------------------------------------------------------------------------- /Js/SVG.idr: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/rbarreiro/idrisjs/HEAD/Js/SVG.idr -------------------------------------------------------------------------------- /Js/ServiceTypes.idr: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/rbarreiro/idrisjs/HEAD/Js/ServiceTypes.idr -------------------------------------------------------------------------------- /Js/SimpleData.idr: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/rbarreiro/idrisjs/HEAD/Js/SimpleData.idr -------------------------------------------------------------------------------- /Js/Typeable.idr: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/rbarreiro/idrisjs/HEAD/Js/Typeable.idr -------------------------------------------------------------------------------- /Js/Utils.idr: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/rbarreiro/idrisjs/HEAD/Js/Utils.idr -------------------------------------------------------------------------------- /Js/VirtualDom.idr: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/rbarreiro/idrisjs/HEAD/Js/VirtualDom.idr -------------------------------------------------------------------------------- /LICENSE: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/rbarreiro/idrisjs/HEAD/LICENSE -------------------------------------------------------------------------------- /README.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/rbarreiro/idrisjs/HEAD/README.md -------------------------------------------------------------------------------- /async.js: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/rbarreiro/idrisjs/HEAD/async.js -------------------------------------------------------------------------------- /examples/compile.sh: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/rbarreiro/idrisjs/HEAD/examples/compile.sh -------------------------------------------------------------------------------- /examples/compileAll.sh: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/rbarreiro/idrisjs/HEAD/examples/compileAll.sh -------------------------------------------------------------------------------- /examples/ex0.idr: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/rbarreiro/idrisjs/HEAD/examples/ex0.idr -------------------------------------------------------------------------------- /examples/ex1.idr: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/rbarreiro/idrisjs/HEAD/examples/ex1.idr -------------------------------------------------------------------------------- /examples/examples.ipkg: -------------------------------------------------------------------------------- 1 | {- 2 | Minimal package file to make Atom happy 3 | -} 4 | opts = "-p contrib -p js" 5 | -------------------------------------------------------------------------------- /examples/game.idr: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/rbarreiro/idrisjs/HEAD/examples/game.idr -------------------------------------------------------------------------------- /examples/todo.idr: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/rbarreiro/idrisjs/HEAD/examples/todo.idr -------------------------------------------------------------------------------- /html.js: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/rbarreiro/idrisjs/HEAD/html.js -------------------------------------------------------------------------------- /js.ipkg: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/rbarreiro/idrisjs/HEAD/js.ipkg -------------------------------------------------------------------------------- /mk_tests.sh: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/rbarreiro/idrisjs/HEAD/mk_tests.sh -------------------------------------------------------------------------------- /tests/compile.sh: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/rbarreiro/idrisjs/HEAD/tests/compile.sh -------------------------------------------------------------------------------- /tests/doAllTests.sh: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/rbarreiro/idrisjs/HEAD/tests/doAllTests.sh -------------------------------------------------------------------------------- /tests/t1.idr: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/rbarreiro/idrisjs/HEAD/tests/t1.idr -------------------------------------------------------------------------------- /tests/t1.testres: -------------------------------------------------------------------------------- 1 | ola 2 | -------------------------------------------------------------------------------- /tests/t10.idr: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/rbarreiro/idrisjs/HEAD/tests/t10.idr -------------------------------------------------------------------------------- /tests/t10.testres: -------------------------------------------------------------------------------- 1 | 1 2 | -------------------------------------------------------------------------------- /tests/t11.idr: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/rbarreiro/idrisjs/HEAD/tests/t11.idr -------------------------------------------------------------------------------- /tests/t11.testres: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/rbarreiro/idrisjs/HEAD/tests/t11.testres -------------------------------------------------------------------------------- /tests/t2.idr: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/rbarreiro/idrisjs/HEAD/tests/t2.idr -------------------------------------------------------------------------------- /tests/t2.testres: -------------------------------------------------------------------------------- 1 | 2 2 | 3 | -------------------------------------------------------------------------------- /tests/t3.idr: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/rbarreiro/idrisjs/HEAD/tests/t3.idr -------------------------------------------------------------------------------- /tests/t3.testres: -------------------------------------------------------------------------------- 1 | 2 2 | 3 | -------------------------------------------------------------------------------- /tests/t4.idr: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/rbarreiro/idrisjs/HEAD/tests/t4.idr -------------------------------------------------------------------------------- /tests/t4.testres: -------------------------------------------------------------------------------- 1 | ola 2 | 74 3 | 4 | -------------------------------------------------------------------------------- /tests/t5.idr: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/rbarreiro/idrisjs/HEAD/tests/t5.idr -------------------------------------------------------------------------------- /tests/t5.testres: -------------------------------------------------------------------------------- 1 | "stra" 2 | -------------------------------------------------------------------------------- /tests/t6.idr: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/rbarreiro/idrisjs/HEAD/tests/t6.idr -------------------------------------------------------------------------------- /tests/t6.testres: -------------------------------------------------------------------------------- 1 | tst 2 | -------------------------------------------------------------------------------- /tests/t7.idr: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/rbarreiro/idrisjs/HEAD/tests/t7.idr -------------------------------------------------------------------------------- /tests/t7.testres: -------------------------------------------------------------------------------- 1 | 0 2 | -------------------------------------------------------------------------------- /tests/t8.idr: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/rbarreiro/idrisjs/HEAD/tests/t8.idr -------------------------------------------------------------------------------- /tests/t8.testres: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/rbarreiro/idrisjs/HEAD/tests/t8.testres -------------------------------------------------------------------------------- /tests/t9.idr: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/rbarreiro/idrisjs/HEAD/tests/t9.idr -------------------------------------------------------------------------------- /tests/t9.testres: -------------------------------------------------------------------------------- 1 | 66 2 | -------------------------------------------------------------------------------- /virtualdom.js: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/rbarreiro/idrisjs/HEAD/virtualdom.js --------------------------------------------------------------------------------