def read.host

mylsm-lsm-store@0.6.0.1 · src/ByteManifestIo.bend:28

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

28def read.host(error: U32 & String) -> IO(Result<&1, &1, Error, Manifest.ManifestValue>):
29  match error:
30    case (code, message):
31      IO.pure(Result<&1, &1, Error, Manifest.ManifestValue>, Fail{Host{code, message}})

Uses (9)

Used by (3)