def key_chars

bendonnect-rpc@0.1.0.0 · src/metadata.bend:55

import bendonnect-rpc@0.1.0.0/src/metadata.bend as Metadata

import Base

55def key_chars(s: String) -> Bool:
56  match s:
57    case SNil{}:
58      True{}
59    case SCon{Chr{+c}, t}:
60      Bool.and(key_char(c), key_chars(t))

Uses (5)

Used by (1)

bendonnect-rpc@0.1.0.0/src/metadata:valid_key