def token.ok.step

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

import emerging-ezhttp@0.21.0.0/src/http.bend as Http
import Base

733# the rest of a token once this character is known
734def token.ok.step(space: Bool, rest: Unit -> Bool) -> Bool:
735  match space:
736    case True{}:
737      False{}
738    case False{}:
739      rest(Unit{})

Uses (2)

Used by (1)