def single

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

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

105def single(+text: String, +ls: List<&2, D.DL>, +strict: Bool) -> Result<&2, &2, String, J.Json>:
106  single.if(String.eq(text, "[]"), text, ls, strict)

Uses (8)

Used by (1)