def Utf8.scan_seek.active

mylsm-lsm-store@0.6.0.1 · mylsm.bend:2151

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

2151# Applies an already validated text seek bound to an active byte cursor.
2152def Utf8.scan_seek.active(
2153  inner: Bytes.Cursor,
2154  result: Result<&1, &1, Utf8.Error, Maybe<&1, PackedBytes.Bytes>>
2155) -> IO(Bytes.Cursor & Result<&1, &1, Utf8.Error, Unit>):
2156  match result:
2157    case Fail{error}:
2158      IO.pure(Bytes.Cursor & Result<&1, &1, Utf8.Error, Unit>,
2159        (inner, Fail{error}))
2160    case Done{bound}:
2161      do IO<Bytes.Cursor & Result<&1, &1, Utf8.Error, Unit>>:
2162        pair : Bytes.Cursor & Result<&1, &1, Bytes.Error, Unit> <-
2163          Bytes.scan_seek(inner, bound)
2164        return Utf8.scan_seek.byte.result(pair)