def read.wrap

mylsm-lsm-store@0.6.0.1 · src/coordinator/Io.bend:104

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

import Base
import bend-kit-bytes@0.3.2.0/bytes.bend as Bytes

104def read.wrap(
105  result: Result<&1, &1, U32 & String, U32 & Array<U32>>
106) -> Result<&1, &1, U32 & String, Bytes.Bytes>:
107  match result:
108    case Fail{error}: Fail{error}
109    case Done{(length, words)}: Done{Bytes.Bytes{length, words}}

Uses (7)

Used by (1)

mylsm-lsm-store@0.6.0.1/src/coordinator/Io:read.pair