def read.result
mylsm-lsm-store@0.6.0.1 · src/ByteManifestIo.bend:19
import mylsm-lsm-store@0.6.0.1/src/ByteManifestIo.bend as ByteManifestIo
import Base
import mylsm-lsm-store@0.6.0.1/src/ByteManifest.bend as Manifest
19def read.result(
20 result: Result<&1, &1, Manifest.Error, Manifest.ManifestValue>
21) -> IO(Result<&1, &1, Error, Manifest.ManifestValue>):
22 match result:
23 case Fail{error}:
24 IO.pure(Result<&1, &1, Error, Manifest.ManifestValue>, Fail{Invalid{error}})
25 case Done{value}:
26 IO.pure(Result<&1, &1, Error, Manifest.ManifestValue>, Done{value})