[web-devel] WAI enhancement: request body size
michael at snoyman.com
Tue Feb 12 16:06:59 CET 2013
I'd like to make an addition to the WAI protocol: a field in the Request
data type to track the request body size. I would like this to be:
requestBodyLength :: Maybe Word64
I think the choice of Word64 makes sense without further explanation. The
perhaps surprising part is the use of `Maybe`. The reason for this is that
in the case of a chunked request body, there's no way to know the size of
the request body from the headers alone. So the logic for populating this
field would go something like:
- If content-length is supplied by the user, parse it and populate the
field with Just content-length.
- If the request is chunked, populate with Nothing.
- Otherwise, there is a zero-sized request body, and populate with Just
One other idea would be to create a special datatype such as `data
RequestBodyLength = ChunkedBody | KnownLength Word64`, but I don't believe
it really adds much above the `Maybe Word64`.
Any thoughts on this proposal?
Note: This is related to Yesod issue:
-------------- next part --------------
An HTML attachment was scrubbed...
More information about the web-devel