├── .gitignore ├── CHANGELOG.md ├── Makefile ├── README.md ├── example ├── ClientSample.idr └── example.ipkg ├── http.ipkg └── src ├── HttpClient.idr ├── HttpClient ├── Base.idr ├── Foreign.idr ├── ForeignTypes.idr ├── Headers.idr ├── Json.idr ├── Methods.idr └── Requests.idr ├── Makefile ├── http.c ├── http.h ├── memstream.c └── memstream.h /.gitignore: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/justjoheinz/idris-httpclient/HEAD/.gitignore -------------------------------------------------------------------------------- /CHANGELOG.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/justjoheinz/idris-httpclient/HEAD/CHANGELOG.md -------------------------------------------------------------------------------- /Makefile: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/justjoheinz/idris-httpclient/HEAD/Makefile -------------------------------------------------------------------------------- /README.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/justjoheinz/idris-httpclient/HEAD/README.md -------------------------------------------------------------------------------- /example/ClientSample.idr: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/justjoheinz/idris-httpclient/HEAD/example/ClientSample.idr -------------------------------------------------------------------------------- /example/example.ipkg: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/justjoheinz/idris-httpclient/HEAD/example/example.ipkg -------------------------------------------------------------------------------- /http.ipkg: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/justjoheinz/idris-httpclient/HEAD/http.ipkg -------------------------------------------------------------------------------- /src/HttpClient.idr: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/justjoheinz/idris-httpclient/HEAD/src/HttpClient.idr -------------------------------------------------------------------------------- /src/HttpClient/Base.idr: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/justjoheinz/idris-httpclient/HEAD/src/HttpClient/Base.idr -------------------------------------------------------------------------------- /src/HttpClient/Foreign.idr: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/justjoheinz/idris-httpclient/HEAD/src/HttpClient/Foreign.idr -------------------------------------------------------------------------------- /src/HttpClient/ForeignTypes.idr: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/justjoheinz/idris-httpclient/HEAD/src/HttpClient/ForeignTypes.idr -------------------------------------------------------------------------------- /src/HttpClient/Headers.idr: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/justjoheinz/idris-httpclient/HEAD/src/HttpClient/Headers.idr -------------------------------------------------------------------------------- /src/HttpClient/Json.idr: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/justjoheinz/idris-httpclient/HEAD/src/HttpClient/Json.idr -------------------------------------------------------------------------------- /src/HttpClient/Methods.idr: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/justjoheinz/idris-httpclient/HEAD/src/HttpClient/Methods.idr -------------------------------------------------------------------------------- /src/HttpClient/Requests.idr: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/justjoheinz/idris-httpclient/HEAD/src/HttpClient/Requests.idr -------------------------------------------------------------------------------- /src/Makefile: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/justjoheinz/idris-httpclient/HEAD/src/Makefile -------------------------------------------------------------------------------- /src/http.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/justjoheinz/idris-httpclient/HEAD/src/http.c -------------------------------------------------------------------------------- /src/http.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/justjoheinz/idris-httpclient/HEAD/src/http.h -------------------------------------------------------------------------------- /src/memstream.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/justjoheinz/idris-httpclient/HEAD/src/memstream.c -------------------------------------------------------------------------------- /src/memstream.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/justjoheinz/idris-httpclient/HEAD/src/memstream.h --------------------------------------------------------------------------------