def read_bytes.wrap

bend-kit-files@0.3.1.0 · files.bend:188

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

188def read_bytes.wrap(result: Result<&1, &1, U32 & String, U32 & Array<U32>>) ->
189  Result<&1, &1, U32 & String, Bytes.Bytes>:
190  match result:
191    case Fail{err}:
192      Fail{err}
193    case Done{(len, words)}:
194      Done{Bytes.Bytes{len, words}}