idris2-http

This is a http 1.1 client library written in idris2.

Compiler version

The project currently targets Idris2 compiler after the commit 768d164e.

Features

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

Examples

An example on how it can be used can be found in here.

Dependencies

This library depends on my idris2-tls library and Stefan Hoeck's idris2-sop library.