http/method.bend source

http/method.bend on the hub · documented module

import Base# request methods (RFC 9110 §9); names are case-sensitivetype Method is Data:  MGet{}  MHead{}  MPost{}  MPut{}  MDelete{}  MConnect{}  MOptions{}  MTrace{}  MPatch{}  MOther{name: String}def show(m: Method) -> String:  match m:    case MGet{}:      "GET"    case MHead{}:      "HEAD"    case MPost{}:      "POST"    case MPut{}:      "PUT"    case MDelete{}:      "DELETE"    case MConnect{}:      "CONNECT"    case MOptions{}:      "OPTIONS"    case MTrace{}:      "TRACE"    case MPatch{}:      "PATCH"    case MOther{name}:      name# a literal match compares nothing through a shared helper, so it reads s# without sharing itdef parse(s: String) -> Method:  match s:    case "GET":      MGet{}    case "HEAD":      MHead{}    case "POST":      MPost{}    case "PUT":      MPut{}    case "DELETE":      MDelete{}    case "CONNECT":      MConnect{}    case "OPTIONS":      MOptions{}    case "TRACE":      MTrace{}    case "PATCH":      MPatch{}    case other:      MOther{other}