~/jendhub

def head.from_cut

emerging-ezhttp@0.21.0.0 · src/http.bend:440

import emerging-ezhttp@0.21.0.0/src/http.bend as Http
import Base

440# one header line as a Header, or none when it has no colon
441def head.from_cut(c: Cut) -> Maybe<&2, Header>:
442  match c:
443    case NoCut{}:
444      None{}
445    case Cut{before, after}:
446      head.from_kept(before, after)

Uses (4)

Used by (1)