def find.dynamic

bend-kit-http2@0.4.0.0 · hpack.bend:324

import Base

324def find.dynamic(+exact: Bool, xs: List<&2, Field>, +i: U32, +name: String, +value: String, found: U32) -> U32:
325  match xs found:
326    case Nil{} result:
327      result
328    case Con{+field, tail} 0:
329      find.dynamic(exact, tail, (i + 1 : U32), name, value,
330        Bool.pick(U32, field.matches(exact, field, name, value), i, 0))
331    case Con{field, tail} result:
332      result