def octets.starts

emerging-ezhttp@0.21.0.0 · src/form.bend:77

import Base

77# whether octets open with a pattern's octets
78def octets.starts(xs: List<&2, U32>, pat: List<&2, U32>) -> Bool:
79  match xs pat:
80    case Nil{} Nil{}:
81      True{}
82    case Nil{} Con{p, q}:
83      False{}
84    case Con{x, t} Nil{}:
85      True{}
86    case Con{x, t} Con{p, q}:
87      all.step(U32.is_eq(x, p), _u => octets.starts(t, q))