def list_text

cswap-bend-cli@0.1.0.0 · setimp.bend:150

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

150def list_text(items: Json.Json) -> Result<&2, &2, String, String>:
151  match items:
152    case Json.JNil{}:
153      Done{""}
154    case Json.JCons{Json.JStr{s}, Json.JNil{}}:
155      Done{s}
156    case Json.JCons{Json.JStr{s}, t}:
157      join_more(s, list_text(t))
158    case _:
159      Fail{"expected a list of names"}