def open.parsed

mylsm-lsm-store@0.6.0.1 · src/coordinator/OwnerCursorCodec.bend:24

import Base

24# Decodes the owner cursor ID only from a successful exact token payload.
25# Converts an exact token parse into a typed cursor-open decision.
26def open.parsed(parsed: Maybe<&2, U32>) -> OpenDecision:
27  match parsed:
28    case Some{cursor_id}: Opened{cursor_id}
29    case None{}: OpenMalformed{}