idris-http
An HTTP library for idris 0.12.3.
How to install
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
Documentation
The documentation is available at http://uwap.github.io/idris-http/.
Note: Due to Issue #2161 the documentation isn't complete.
Running/Testing an example
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
Contributing
Feel free to fork and change idris-http. We are glad to see pull-requests and issue reports.