def struck_json

cswap-bend-cli@0.1.0.0 · collectrun.bend:29

import Base
import cswap-bend-cli@0.1.0.0/json.bend as Json
import cswap-bend-cli@0.1.0.0/collect.bend as Collect

29def struck_json(m: Maybe<&2, String>) -> IO(Json.Json):
30  match m:
31    case None{}:
32      IO.pure(Json.Json, Json.JNull{})
33    case Some{cred}:
34      IO.bind(String, Json.Json, Collect.fingerprint(cred), f => IO.pure(Json.Json, Json.JStr{f}))