An HTTP library for idris 0.12.3.
Clone the repository and install it using the idris package manager. Idris-http depends on lightyear and idris-bytes. You can install it with our install-dependencies script.
The easiest way to install idris-http is to run the command line code below:
git clone https://github.com/uwap/idris-http.git
cd idris-http
./install_dependencies.sh
idris --install http.ipkg
The documentation is available at http://uwap.github.io/idris-http/.
Note: Due to Issue #2161 the documentation isn't complete.
First install http by typing
idris --install http.ipkg
Then move into the directory of the example you want to test. For example move into examples/simple/ and then build and run it:
cd examples/simple/
idris --build simple.ipkg
./simple
Feel free to fork and change idris-http. We are glad to see pull-requests and issue reports.