Websocket.line.parts: def of bend-kit-websocket@0.4.0.0
Import: import bend-kit-websocket@0.4.0.0/websocket.bend as Websocket
Lines 141-148 of bend-kit-websocket@0.4.0.0/websocket.bend: https://jend.leeeet.dev/read.txt?path=bend-kit-websocket@0.4.0.0/websocket.bend&start_line=141&end_line=148

import Base

# A header line is name ":" value, with a non-empty name that holds no space or tab
# (RFC 9112 §5.1). That rules out obsolete line folding and bare text.
def line.parts(parts: List<&2, String>) -> Bool:
  match parts:
    case Con{+k, Con{v, rest}}:
      Bool.and(Bool.not(String.is_empty(k)), Bool.not(Bool.or(String.contains(k, " "), String.contains(k, "\t"))))
    case _:
      False{}

Uses (8):
  https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=Bool
  https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=Bool.and
  https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=Bool.not
  https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=Bool.or
  https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=List
  https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=String
  https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=String.contains
  https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=String.is_empty