lagunoff / idris-elm

The Elm architecture ported to Idris Programming language

The Elm architecture ported on Idris Programming language

Building

(idris-elm depends on IdrisScript. If it is not already installed, please install it before preceeding)

1. Clone the library on your local file system with git clone

$ git clone https://github.com/lagunoff/idris-elm.git

2. Install the library using idris built-in package manager

$ cd ./idris-elm
$ idris --install idris-elm.ipkg

3. Create new project, see examples/hello-world for guidance

Besides standard *.ipkg and Main.idr you need Runtime.js and index.html in your project root directory. Runtime.js this file contains virtual DOM implementation and other runtime utilities taken from original elm libraries. It has to be injected in index.html before main program, produced by idris.

4. Run idris

$ idris --build <your-project>.ipkg --codegen JavaScript

Examples

Hello world	source | demo
TodoMVC	source | demo