~/jendhub

def count.read

bolt@1.27.0.0 · src/lsp/frame.bend:273

import bolt@1.27.0.0/src/lsp/frame.bend as Frame
import Base

273# a string of digits as a count; None when it is empty or holds anything else
274def count.read(ss: String) -> Maybe<&2, List<&2, Digit>>:
275  match ss:
276    case SNil{}:
277      None{}
278    case SCon{h, t}:
279      count.read.go(SCon{h, t}, Some{[]})

Uses (5)

Used by (1)