def to_inner

bend-toon-codec@0.1.0.0 · main.bend:62

import Base
import bend-toon-codec@0.1.0.0/src/json.bend as I

62def to_inner(j: Json) -> I.Json:
63  match j:
64    case JNull{}:
65      I.JNull{}
66    case JBool{b}:
67      I.JBool{b}
68    case JNum{t}:
69      I.JNum{t}
70    case JStr{s}:
71      I.JStr{s}
72    case JArr{x}:
73      I.JArr{to_inner(x)}
74    case JObj{x}:
75      I.JObj{to_inner(x)}
76    case JNil{}:
77      I.JNil{}
78    case JCons{h, t}:
79      I.JCons{to_inner(h), to_inner(t)}
80    case JField{k, v, t}:
81      I.JField{k, to_inner(v), to_inner(t)}