def Leader.read.err

bend-kube-runtime@0.2.0.0 · src/leader.bend:46

import Base
import bend-kube-runtime@0.2.0.0/src/json.bend as J
import bend-kube-runtime@0.2.0.0/src/client.bend as Cl

46def Leader.read.err(e: Cl.KErr, missing: Bool) -> Result<&2, &2, Cl.KErr, Maybe<&2, J.Json>>:
47  match missing:
48    case True{}:
49      Done{None{}}
50    case False{}:
51      Fail{e}