ByteMemTable.lookup.length.hit: def of mylsm-lsm-store@0.6.0.1
Import: import mylsm-lsm-store@0.6.0.1/src/ByteMemTable.bend as ByteMemTable
Lines 346-359 of mylsm-lsm-store@0.6.0.1/src/ByteMemTable.bend: https://jend.leeeet.dev/read.txt?path=mylsm-lsm-store@0.6.0.1/src/ByteMemTable.bend&start_line=346&end_line=359

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

def lookup.length.hit(
  prefix: List<&1, Entry>,
  key: Bytes.Bytes,
  tail: List<&1, Entry>,
  val: Maybe<&1, Bytes.Bytes>
) -> LengthLookup:
  match val:
    case None{}:
      lookup.length.result(prefix, Con{Entry{key, None{}}, tail},
        LengthDeleted{}, True{})
    case Some{Bytes.Bytes{+len, buf}}:
      lookup.length.result(prefix,
        Con{Entry{key, Some{Bytes.Bytes{len, buf}}}, tail},
        LengthPresent{len}, True{})

Uses (8):
  https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=Bool
  https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=List
  https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=Maybe
  https://jend.leeeet.dev/definition.txt?path=bend-kit-bytes@0.3.3.0/bytes.bend&name=Bytes
  https://jend.leeeet.dev/definition.txt?path=mylsm-lsm-store@0.6.0.1/src/ByteMemTable.bend&name=Entry
  https://jend.leeeet.dev/definition.txt?path=mylsm-lsm-store@0.6.0.1/src/ByteMemTable.bend&name=LengthLookup
  https://jend.leeeet.dev/definition.txt?path=mylsm-lsm-store@0.6.0.1/src/ByteMemTable.bend&name=LengthProbe
  https://jend.leeeet.dev/definition.txt?path=mylsm-lsm-store@0.6.0.1/src/ByteMemTable.bend&name=lookup.length.result