def has_text

cswap-bend-cli@0.1.0.0 · swbase.bend:40

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

40def has_text(+xs: Json.Json, +t: String) -> Bool:
41  match xs:
42    case Json.JCons{Json.JStr{s}, rest}:
43      String.eq(s, t) || has_text(rest, t)
44    case Json.JCons{h, rest}:
45      has_text(rest, t)
46    case _:
47      False{}