def profile_of_res

cswap-bend-cli@0.1.0.0 · store/plan.bend:46

import cswap-bend-cli@0.1.0.0/store/plan.bend as Plan
import Base
import cswap-bend-cli@0.1.0.0/json.bend as Json

46def profile_of_res(r: Result<&2, &2, String, Json.Json>) -> Prof:
47  match r:
48    case Fail{e}:
49      ProfNone{}
50    case Done{j}:
51      profile_of(j)

Uses (5)

Used by (1)