def token.ok

emerging-ezhttp@0.21.0.0 · src/http.bend:741

import Base

741# a bearer token has no whitespace (RFC 6750 §2.1)
742def token.ok(s: String) -> Bool:
743  match s:
744    case SNil{}:
745      True{}
746    case SCon{h, t}:
747      token.ok.step(Char.is_space(h), _u => token.ok(t))