def route.record.parsed

mylsm-lsm-store@0.6.0.1 · src/scan/ByteBlockReader.bend:796

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

796def route.record.parsed(
797  state: State,
798  context: RouteContext,
799  key: Bytes.Bytes,
800  search: BlockRoutePolicy.Search,
801  mid: Nat,
802  pair: File & Result<&1, &1, U32 & String, Bytes.Bytes>
803) -> RouteState:
804  match pair:
805    case (file, Fail{error}): RouteFailed{file, error}
806    case (file, Done{record}):
807      route.record.slice(file, state, context, key, search, mid,
808        Bytes.slice(record, 8, 8))