def bare.pick

bend-toon-codec@0.1.0.0 · src/prim.bend:48

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

48def bare.pick(+t: Bool, +f: Bool, +n: Bool, +tok: String) -> J.Json:
49  match t f n:
50    case True{} _ _:
51      J.JBool{True{}}
52    case False{} True{} _:
53      J.JBool{False{}}
54    case False{} False{} True{}:
55      J.JNull{}
56    case False{} False{} False{}:
57      bare.num(tok)