def route.separator.parsed

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

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

810def route.separator.parsed(
811  state: State,
812  context: RouteContext,
813  key: Bytes.Bytes,
814  search: BlockRoutePolicy.Search,
815  mid: Nat,
816  pair: File & Result<&1, &1, U32 & String, Bytes.Bytes>
817) -> RouteState:
818  match pair:
819    case (file, Fail{error}): RouteFailed{file, error}
820    case (file, Done{separator}):
821      RouteCompare{file, state, context, key, search, mid, separator}