~/jendhub

def encode.levels

mylsm-lsm-store@0.6.0.1 · src/Manifest.bend:160

import mylsm-lsm-store@0.6.0.1/src/Manifest.bend as Manifest
import Base
import bend-kit-bytes@0.3.2.0/bytes.bend as Bytes

160def encode.levels(levels: List<&2, List<&2, String>>) -> Bytes.Bytes:
161  match levels:
162    case Nil{}:
163      Bytes.new(0)
164    case Con{+names, rest}:
165      Bytes.concat([u32(U32.from_nat(List.length(&2, String, names))), encode.names(names), encode.levels(rest)])

Uses (9)

Used by (1)