idris-http
idris-http copied to clipboard
Cookies
We need to implement cookie support for the initial release.
Implementation Details
Since for now we see header fields as a SortedMap String String (which I would like to change to some case-insensitive type in the future) a cookie header field that can appear multiple times wouldn't fit in that scheme so I suggest making a special case just for cookies and providing some cookie jar type that is a monoid so we can append new cookies on it. I would suggest implementing cookies after RFC6265.