def strip
bend-toon-codec@0.1.0.0 · src/expand.bend:201
import bend-toon-codec@0.1.0.0/src/expand.bend as Expand
import Base
import bend-toon-codec@0.1.0.0/src/json.bend as J
import bend-toon-codec@0.1.0.0/src/head.bend as Hd
201
202def strip(+j: J.Json) -> J.Json:
203 match j:
204 case J.JObj{x}:
205 J.JObj{strip(x)}
206 case J.JArr{x}:
207 J.JArr{strip(x)}
208 case J.JCons{h, t}:
209 J.JCons{strip(h), strip(t)}
210 case J.JField{k, v, t}:
211 J.JField{Hd.unmark(k), strip(v), strip(t)}
212 case _:
213 j