def exists.result

mylsm-lsm-store@0.6.0.1 · src/Fs.bend:427

import mylsm-lsm-store@0.6.0.1/src/Fs.bend as Fs
import Base
import mylsm-lsm-store@0.6.0.1/src/FilesCompat.bend as PackedFiles
import mylsm-lsm-store@0.6.0.1/src/FsPolicy.bend as Policy

427# Check whether a filesystem path exists.
428def exists.result(result: Result<&1, &1, U32 & String, PackedFiles.Info>) -> Result<&1, &1, U32 & String, Bool>:
429  match result:
430    case Fail{(+code, message)}:
431      Policy.missing_path_result(U32.is_eq(code, 2), code, message)
432    case Done{_}:
433      Done{True{}}

Uses (9)

Used by (1)