def optional_directory_result

mylsm-lsm-store@0.6.0.1 · src/FsPolicy.bend:11

import Base

11# Ignores absent optional levels and preserves other errors.
12def optional_directory_result(
13  optional: Bool,
14  unavailable: Bool,
15  +code: U32,
16  message: String
17) -> Result<&1, &1, U32 & String, Unit>:
18  match optional:
19    case False{}:
20      Fail{(code, message)}
21    case True{}:
22      match unavailable:
23        case True{}:
24          Done{Unit{}}
25        case False{}:
26          Fail{(code, message)}