idris2-http

idris2-http copied to clipboard

This PR resolves build warnings related to fixity declarations.

ReilySiegel

[wip] testing chunked transfer encoding

4

``` pack repl src/Test.idr Test> :exec silly_me MkHttpResponse {status_code = (200 ** OK), status_name = "OK", headers = [("Content-Type", "text/html"), ("Date", "Sun, 24 Nov 2024 07:44:46 GMT"), ("Server", "Microsoft-IIS/10.0"), ("Cache-Control",...

jarlah

Fix failing unit tests that are commented out

12

I commented out two tests. Those needs to be fixed. Library is a bit pain to use if response _must_ be read before connection is closed. Also chunked response encoding...

jarlah

I made an HTTP request and got an error. Can anyone help? My code: ``` blockNumber : EitherT String IO () blockNumber = map_error show $ with_client {e=()} new_client_default $...

notooth1