def bytes.prefix.go

bend-kit-websocket@0.4.0.0 · websocket.bend:516

import Base
import bend-kit-bytes@0.3.3.0/bytes.bend as Bytes

516def bytes.prefix.go(n: Nat, r: Bytes.Bytes & Maybe<&2, U32>, +i: U32) -> Bytes.Bytes & List<&2, U32>:
517  match n:
518    case 0n:
519      (b, x) = r
520      (b, Nil{})
521    case 1n+p:
522      (b, x) = r
523      match x:
524        case None{}:
525          (b, Nil{})
526        case Some{+v}:
527          bytes.prefix.con(v, bytes.prefix.go(p, Bytes.get(b, (i + 1 : U32)), (i + 1 : U32)))