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})

Uses (6)

Used by (2)