def end.checked

mylsm-lsm-store@0.6.0.1 · src/coordinator/CursorCodec.bend:77

import Base

77# Decodes the terminal marker only when no trailing bytes remain.
78def end.checked(
79  is_end: Bool,
80  exact: Bool
81) -> Decision:
82  match is_end:
83    case True{}:
84      match exact:
85        case True{}: Decoded{CursorEnd{}}
86        case False{}: Malformed{}
87    case False{}: Malformed{}