Keyboard shortcuts

Press ← or → to navigate between chapters

Press S or / to search in the book

Press ? to show this help

Press Esc to hide this help

BsbHttpChunked – Chunked Transfer Encoding

Lean: Hale.BsbHttpChunked | Haskell: bsb-http-chunked

HTTP/1.1 chunked transfer encoding framing. Each chunk: <hex-length>\r\n<data>\r\n. Terminator: 0\r\n\r\n.

API

FunctionDescription
hexCharEncode a hex digit
natToHexEncode Nat as hex bytes

Files

  • Hale/BsbHttpChunked/Network/HTTP/Chunked.lean – Chunked encoding helpers