Multipart.after.line: def of bend-kit-multipart@0.3.0.0 Import: import bend-kit-multipart@0.3.0.0/multipart.bend as Multipart Lines 436-444 of bend-kit-multipart@0.3.0.0/multipart.bend: https://jend.leeeet.dev/read.txt?path=bend-kit-multipart@0.3.0.0/multipart.bend&start_line=436&end_line=444 import Base import bend-kit-bytes@0.3.3.0/bytes.bend as Bytes # After: suffix already saw "--" or padding then CRLF, so both are in buf. "--" closes the body. # The CRLF stays in buf, so the header block is found as CRLF ... CRLF CRLF, empty or not. def after.line(r: Bytes.Bytes & Maybe<&2, U32>, out: List<&1, Item>) -> Step: (buf, hit) = r match hit: case Some{+i}: More{Heads{}, drop(buf, i), out} case None{}: wait.big(After{}, Bytes.length(buf), out) Uses (12): https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=List https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=Maybe https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=Pair https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=Sigma https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=U32 https://jend.leeeet.dev/definition.txt?path=bend-kit-bytes@0.3.3.0/bytes.bend&name=Bytes https://jend.leeeet.dev/definition.txt?path=bend-kit-bytes@0.3.3.0/bytes.bend&name=length https://jend.leeeet.dev/definition.txt?path=bend-kit-multipart@0.3.0.0/multipart.bend&name=Item https://jend.leeeet.dev/definition.txt?path=bend-kit-multipart@0.3.0.0/multipart.bend&name=Stage https://jend.leeeet.dev/definition.txt?path=bend-kit-multipart@0.3.0.0/multipart.bend&name=Step https://jend.leeeet.dev/definition.txt?path=bend-kit-multipart@0.3.0.0/multipart.bend&name=drop https://jend.leeeet.dev/definition.txt?path=bend-kit-multipart@0.3.0.0/multipart.bend&name=wait.big