def single.if

bend-toon-codec@0.1.0.0 · src/decode.bend:98

import Base
import bend-toon-codec@0.1.0.0/src/json.bend as J
import bend-toon-codec@0.1.0.0/src/entry.bend as E
import bend-toon-codec@0.1.0.0/src/dline.bend as D

98def single.if(+empty: Bool, +text: String, +ls: List<&2, D.DL>, +strict: Bool) -> Result<&2, &2, String, J.Json>:
99  match empty:
100    case True{}:
101      Done{J.JArr{J.JNil{}}}
102    case False{}:
103      single.pick(E.parse(strict, text), text, ls, strict)