def new_encoder.valid

mylsm-lsm-store@0.6.0.1 · src/SstFile.bend:511

import mylsm-lsm-store@0.6.0.1/src/SstFile.bend as SstFile
import Base
import mylsm-lsm-store@0.6.0.1/src/MemTable.bend as MemTable

511def new_encoder.valid(
512  +entries: List<&2, MemTable.Entry>,
513  +level: U32,
514  valid: Bool
515) -> Result<&1, &1, Error, Encoder>:
516  match valid:
517    case False{}:
518      Fail{InvalidLevel{}}
519    case True{}:
520      new_encoder.order(entries, level, entries.strict(entries))

Uses (9)

Used by (1)