~/jendhub

def Utf8.scan_seek.failed

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

import mylsm-lsm-store@0.6.0.1/mylsm.bend as Mylsm
import Base
import mylsm-lsm-store@0.6.0.1/src/scan/Utf8CursorPolicy.bend as Utf8CursorPolicy

2166def Utf8.scan_seek.failed(
2167  byte_cursor: Bytes.Cursor,
2168  error: Utf8.Error
2169) -> Utf8.Cursor & Result<&1, &1, Utf8.Error, Unit>:
2170  match error:
2171    case Utf8Failure{inner}:
2172      (Utf8Cursor{byte_cursor, Utf8CursorFailed{Utf8CursorPolicy.ReaderFailure{}}}, Fail{Utf8Failure{inner}})
2173    case InvalidUtf8{}:
2174      (Utf8Cursor{byte_cursor, Utf8CursorFailed{Utf8CursorPolicy.TextDecodeFailure{}}}, Fail{InvalidUtf8{}})
2175    case Utf8ResourceLimit{}:
2176      (Utf8Cursor{byte_cursor, Utf8CursorFailed{Utf8CursorPolicy.ResourceFailure{}}}, Fail{Utf8ResourceLimit{}})
2177    case Utf8InvalidArgument{}:
2178      (Utf8Cursor{byte_cursor, Utf8CursorFailed{Utf8CursorPolicy.ArgumentFailure{}}}, Fail{Utf8InvalidArgument{}})

Uses (9)

Used by (1)