def Parse.expect_char.eq

bend-scanner@0.1.0.0 · parse.bend:35

import bend-scanner@0.1.0.0/parse.bend as Parse

import Base

35def Parse.expect_char.eq(
36  t: String, off: Nat, h: Char, eq: Bool
37) -> Result<&2, &2, Parse.Error, Parse.Cur>:
38  match eq:
39    case True{}:
40      Done{Cur{t, 1n+off}}
41    case False{}:
42      Fail{Unexpected{off, h}}

Uses (7)

Used by (1)

bend-scanner@0.1.0.0/parse:Parse.expect_char.s