~/jendhub

def bare.num

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

import bend-toon-codec@0.1.0.0/src/prim.bend as Prim
import Base
import bend-toon-codec@0.1.0.0/src/json.bend as J
import bend-toon-codec@0.1.0.0/src/num.bend as N

44# A bare token that is not true, false or null: number or string.
45def bare.num(+tok: String) -> J.Json:
46  num.pick(Bool.not(lead0(N.split(tok))), N.canon(tok), tok)

Uses (7)

Used by (1)