Hpack.static: def of bend-kit-http2@0.4.0.0
Import: import bend-kit-http2@0.4.0.0/hpack.bend as Hpack
Lines 16-142 of bend-kit-http2@0.4.0.0/hpack.bend: https://jend.leeeet.dev/read.txt?path=bend-kit-http2@0.4.0.0/hpack.bend&start_line=16&end_line=142

import Base

# RFC 7541 Appendix A, indexed from 1 to 61.
def static(+index: U32) -> Field:
  match index:
    case 1:
      Field{":authority", "", 0}
    case 2:
      Field{":method", "GET", 0}
    case 3:
      Field{":method", "POST", 0}
    case 4:
      Field{":path", "/", 0}
    case 5:
      Field{":path", "/index.html", 0}
    case 6:
      Field{":scheme", "http", 0}
    case 7:
      Field{":scheme", "https", 0}
    case 8:
      Field{":status", "200", 0}
    case 9:
      Field{":status", "204", 0}
    case 10:
      Field{":status", "206", 0}
    case 11:
      Field{":status", "304", 0}
    case 12:
      Field{":status", "400", 0}
    case 13:
      Field{":status", "404", 0}
    case 14:
      Field{":status", "500", 0}
    case 15:
      Field{"accept-charset", "", 0}
    case 16:
      Field{"accept-encoding", "gzip, deflate", 0}
    case 17:
      Field{"accept-language", "", 0}
    case 18:
      Field{"accept-ranges", "", 0}
    case 19:
      Field{"accept", "", 0}
    case 20:
      Field{"access-control-allow-origin", "", 0}
    case 21:
      Field{"age", "", 0}
    case 22:
      Field{"allow", "", 0}
    case 23:
      Field{"authorization", "", 0}
    case 24:
      Field{"cache-control", "", 0}
    case 25:
      Field{"content-disposition", "", 0}
    case 26:
      Field{"content-encoding", "", 0}
    case 27:
      Field{"content-language", "", 0}
    case 28:
      Field{"content-length", "", 0}
    case 29:
      Field{"content-location", "", 0}
    case 30:
      Field{"content-range", "", 0}
    case 31:
      Field{"content-type", "", 0}
    case 32:
      Field{"cookie", "", 0}
    case 33:
      Field{"date", "", 0}
    case 34:
      Field{"etag", "", 0}
    case 35:
      Field{"expect", "", 0}
    case 36:
      Field{"expires", "", 0}
    case 37:
      Field{"from", "", 0}
    case 38:
      Field{"host", "", 0}
    case 39:
      Field{"if-match", "", 0}
    case 40:
      Field{"if-modified-since", "", 0}
    case 41:
      Field{"if-none-match", "", 0}
    case 42:
      Field{"if-range", "", 0}
    case 43:
      Field{"if-unmodified-since", "", 0}
    case 44:
      Field{"last-modified", "", 0}
    case 45:
      Field{"link", "", 0}
    case 46:
      Field{"location", "", 0}
    case 47:
      Field{"max-forwards", "", 0}
    case 48:
      Field{"proxy-authenticate", "", 0}
    case 49:
      Field{"proxy-authorization", "", 0}
    case 50:
      Field{"range", "", 0}
    case 51:
      Field{"referer", "", 0}
    case 52:
      Field{"refresh", "", 0}
    case 53:
      Field{"retry-after", "", 0}
    case 54:
      Field{"server", "", 0}
    case 55:
      Field{"set-cookie", "", 0}
    case 56:
      Field{"strict-transport-security", "", 0}
    case 57:
      Field{"transfer-encoding", "", 0}
    case 58:
      Field{"user-agent", "", 0}
    case 59:
      Field{"vary", "", 0}
    case 60:
      Field{"via", "", 0}
    case 61:
      Field{"www-authenticate", "", 0}
    case _:
      Field{"", "", 0}

Uses (5):
  https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=Bool
  https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=U32
  https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=Word.Con
  https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=Word.Nil
  https://jend.leeeet.dev/definition.txt?path=bend-kit-http2@0.4.0.0/hpack.bend&name=Field