def true_token

qasim-bend-kit@0.1.0.2 · libs/JSON.bend:616

import qasim-bend-kit@0.1.0.2/libs/JSON.bend as JSON
import Base

616def true_token(s: String, matches: BoolType()) -> Result<&1, &1, Error, Parsed>:
617    match matches:
618        case True{}:
619            Done{Parsed{Bool{True{}}, String.drop(s, 4n)}}
620        case False{}:
621            Fail{Error{}}

Uses (8)

Used by (1)