~/jendhub

def request_id.take.available

mylsm-lsm-store@0.6.0.1 · src/coordinator/ClientPolicy.bend:105

import mylsm-lsm-store@0.6.0.1/src/coordinator/ClientPolicy.bend as ClientPolicy
import Base

105def request_id.take.available(
106  ids: U32 & U32,
107  is_final: Bool
108) -> RequestDecision:
109  match ids:
110    case (id, next_id):
111      match is_final:
112        case True{}: RequestAssigned{id, RequestExhausted{}}
113        case False{}: RequestAssigned{id, RequestAvailable{(next_id + 1 : U32)}}

Uses (7)

Used by (1)