def name.parts
import bend-kit-http2@0.4.0.0/hpack.bend as Hpackimport Base
import bend-kit-bytes@0.3.3.0/bytes.bend as Bytes
553def name.parts(+index: U32, huff: Bool, name: String) -> Maybe<&1, List<&1, Bytes.Bytes>>:
554 match index:
555 case 0:
556 Maybe.map(&1, Bytes.Bytes, List<&1, Bytes.Bytes>, b => [b], literal.encode(huff, name))
557 case _:
558 Some{Nil{}}