def write.completed

mylsm-lsm-store@0.6.0.1 · src/coordinator/OwnerGenerationIo.bend:124

import Base

124def write.completed(
125  generation: U32,
126  result: Result<&1, &1, U32 & String, Unit>
127) -> IO(Result<&1, &1, Error, U32>):
128  match result:
129    case Fail{error}:
130      IO.pure(Result<&1, &1, Error, U32>, Fail{host(error)})
131    case Done{Unit{}}:
132      IO.pure(Result<&1, &1, Error, U32>, Done{generation})