def read_at.pack.go

mylsm-lsm-store@0.6.0.1 · src/Fs.bend:209

import Base
import bend-kit-bytes@0.3.2.0/bytes.bend as StorageBytes

209def read_at.pack.go(
210  fuel: Nat,
211  values: List<&2, U32>,
212  result: StorageBytes.Bytes,
213  +offset: U32
214) -> StorageBytes.Bytes:
215  match fuel:
216    case 0n: read_at.pack.finish(offset, result)
217    case 1n+rest:
218      match values:
219        case Nil{}: read_at.pack.finish(offset, result)
220        case Con{value, tail}:
221          read_at.pack.go(rest, tail,
222            StorageBytes.set(result, offset, value), (offset + 1 : U32))