| 138 | private _rawHeaders: Record<string, string | Array<string>> | undefined |
| 139 | private _headers: Headers.Headers | undefined |
| 140 | get headers() { |
| 141 | if (this._headers) { |
| 142 | return this._headers |
| 143 | } |
| 144 | if (this._rawHeaderString === "") { |
| 145 | return this._headers = Headers.empty |
| 146 | } |
| 147 | const parser = HeaderParser.make() |
| 148 | const result = parser(encoder.encode(this._rawHeaderString + "\r\n"), 0) |
| 149 | this._rawHeaders = result._tag === "Headers" ? result.headers : undefined |
| 150 | const parsed = result._tag === "Headers" ? Headers.fromInput(result.headers) : Headers.empty |
| 151 | return this._headers = parsed |
| 152 | } |
| 153 | |
| 154 | cachedCookies: Cookies.Cookies | undefined |
| 155 | get cookies() { |