def prefix_mode
import qasim-bend-kit@0.1.0.2/proof/JSON_LexWhitespaceProof.bend as JSONLexWhitespaceProofimport Base
import qasim-bend-kit@0.1.0.2/libs/JSON.bend as J
73def prefix_mode(text: String, +mode: J.LexMode) -> J.LexMode:
74 match text:
75 case SNil{}: mode
76 case SCon{+head, +tail}:
77 prefix_mode(tail, after_mode(J.lex_seed_action(SCon{head, tail}, mode), mode))
Uses (4)
Used by (5)
- qasim-bend-kit@0.1.0.2/proof/JSON_LexWhitespaceProof:lex_scan_append
- qasim-bend-kit@0.1.0.2/proof/JSON_LexWhitespaceProof:prefix_acc_append
- qasim-bend-kit@0.1.0.2/proof/JSON_LexWhitespaceProof:prefix_mode_append
- qasim-bend-kit@0.1.0.2/proof/JSON_LexWhitespaceProof:prefix_reversed_append
- qasim-bend-kit@0.1.0.2/proof/JSON_NumberLexProof:number_prefix_mode