This is a http 1.1 client library written in idris2.
The project currently targets Idris2 compiler after the commit 768d164e.
Currently, the library supports the following features:
- Reusage of keep-alive connections.
- GZip (RFC 1952) / Zlib Deflate (RFC 1950) decompression.
- TLS (https)
- Incremental sending and receiving via stream
An example on how it can be used can be found in here.
This library depends on my idris2-tls library and Stefan Hoeck's idris2-sop library.