def show_name

cswap-bend-cli@0.1.0.0 · profcmd.bend:90

import Base
import cswap-bend-cli@0.1.0.0/json.bend as Json
import cswap-bend-cli@0.1.0.0/profile.bend as P

90def show_name(+raw: Json.Json, +n: Maybe<&2, String>) -> String:
91  match n:
92    case Some{x}:
93      x
94    case None{}:
95      Maybe.default(&2, String, P.active(raw), "default")