machunter / idris-http

An HTTP library for idris

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.