ByteManifestIo.read.result: def of mylsm-lsm-store@0.6.0.1
Import: import mylsm-lsm-store@0.6.0.1/src/ByteManifestIo.bend as ByteManifestIo
Lines 19-26 of mylsm-lsm-store@0.6.0.1/src/ByteManifestIo.bend: https://jend.leeeet.dev/read.txt?path=mylsm-lsm-store@0.6.0.1/src/ByteManifestIo.bend&start_line=19&end_line=26

import Base
import mylsm-lsm-store@0.6.0.1/src/ByteManifest.bend as Manifest

def read.result(
  result: Result<&1, &1, Manifest.Error, Manifest.ManifestValue>
) -> IO(Result<&1, &1, Error, Manifest.ManifestValue>):
  match result:
    case Fail{error}:
      IO.pure(Result<&1, &1, Error, Manifest.ManifestValue>, Fail{Invalid{error}})
    case Done{value}:
      IO.pure(Result<&1, &1, Error, Manifest.ManifestValue>, Done{value})

Uses (6):
  https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=IO
  https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=IO.pure
  https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=Result
  https://jend.leeeet.dev/definition.txt?path=mylsm-lsm-store@0.6.0.1/src/ByteManifest.bend&name=Error
  https://jend.leeeet.dev/definition.txt?path=mylsm-lsm-store@0.6.0.1/src/ByteManifest.bend&name=ManifestValue
  https://jend.leeeet.dev/definition.txt?path=mylsm-lsm-store@0.6.0.1/src/ByteManifestIo.bend&name=Error