~/jendhub

def key_step

mylsm-lsm-store@0.3.2.0 · src/SstFileV2.bend:221

import mylsm-lsm-store@0.3.2.0/src/SstFileV2.bend as SstFileV2
import Base

221def key_step(tag: Tag, remaining: Nat, value_length: Nat, reversed: String, ch: Char) -> Transition:
222  match remaining:
223    case 0n:
224      TransitionRejected{TruncatedEntry{}}
225    case 1n+rest:
226      match rest:
227        case 0n:
228          key_last(tag, value_length, SCon{ch, reversed})
229        case 1n+more:
230          Next{ReadKey{tag, 1n+more, value_length, SCon{ch, reversed}}}

Uses (8)

Used by (1)