bend-scanner

Releases (1):
  0.1.0.0  0xe49a3e6521e1b71e55654a885f27bcc1  indexed  https://jend.leeeet.dev/files.txt?path=bend-scanner@0.1.0.0

Definitions (25):
  Parse.Parse.Cur (https://jend.leeeet.dev/definition.txt?path=bend-scanner@0.1.0.0/parse.bend&name=Parse.Cur)
   type Parse.Cur is Data:
     Cur{rest: String, off: Nat}
  Parse.Parse.Error (https://jend.leeeet.dev/definition.txt?path=bend-scanner@0.1.0.0/parse.bend&name=Parse.Error)
   type Parse.Error is Data:
     Unexpected{offset: Nat, char: Char}
     Eof{offset: Nat}
     Overflow{offset: Nat}
     Extra{offset: Nat, char: Char}
  Parse.Parse.St (https://jend.leeeet.dev/definition.txt?path=bend-scanner@0.1.0.0/parse.bend&name=Parse.St)
   type Parse.St is Data:
     StOk{}
     StBad{c: Char}
     StOv{}
  Parse.Parse.Dec (https://jend.leeeet.dev/definition.txt?path=bend-scanner@0.1.0.0/parse.bend&name=Parse.Dec)
   type Parse.Dec is Data:
     Dec{value: U32, cur: Parse.Cur}
  Parse.Parse.start (https://jend.leeeet.dev/definition.txt?path=bend-scanner@0.1.0.0/parse.bend&name=Parse.start)
   def Parse.start(text: String) -> Parse.Cur:
  Parse.Parse.peek.s (https://jend.leeeet.dev/definition.txt?path=bend-scanner@0.1.0.0/parse.bend&name=Parse.peek.s)
   def Parse.peek.s(s: String) -> Maybe<&2, Char>:
  Parse.Parse.peek (https://jend.leeeet.dev/definition.txt?path=bend-scanner@0.1.0.0/parse.bend&name=Parse.peek)
   def Parse.peek(cur: Parse.Cur) -> Maybe<&2, Char>:
  Parse.Parse.expect_char.eq (https://jend.leeeet.dev/definition.txt?path=bend-scanner@0.1.0.0/parse.bend&name=Parse.expect_char.eq)
   def Parse.expect_char.eq(
     t: String, off: Nat, h: Char, eq: Bool
   ) -> Result<&2, &2, Parse.Error, Parse.Cur>:
  Parse.Parse.expect_char.s (https://jend.leeeet.dev/definition.txt?path=bend-scanner@0.1.0.0/parse.bend&name=Parse.expect_char.s)
   def Parse.expect_char.s(
     s: String, off: Nat, +want: Char
   ) -> Result<&2, &2, Parse.Error, Parse.Cur>:
  Parse.Parse.expect_char (https://jend.leeeet.dev/definition.txt?path=bend-scanner@0.1.0.0/parse.bend&name=Parse.expect_char)
   def Parse.expect_char(
     cur: Parse.Cur, +want: Char
   ) -> Result<&2, &2, Parse.Error, Parse.Cur>:
  Parse.Parse.expect_literal.go (https://jend.leeeet.dev/definition.txt?path=bend-scanner@0.1.0.0/parse.bend&name=Parse.expect_literal.go)
   def Parse.expect_literal.go(
     s: String, p: String, eq: Bool, h: Char, off: Nat
   ) -> Result<&2, &2, Parse.Error, Parse.Cur>:
  Parse.Parse.expect_literal.start (https://jend.leeeet.dev/definition.txt?path=bend-scanner@0.1.0.0/parse.bend&name=Parse.expect_literal.start)
   def Parse.expect_literal.start(
     s: String, p: String, off: Nat
   ) -> Result<&2, &2, Parse.Error, Parse.Cur>:
  Parse.Parse.expect_literal (https://jend.leeeet.dev/definition.txt?path=bend-scanner@0.1.0.0/parse.bend&name=Parse.expect_literal)
   def Parse.expect_literal(
     cur: Parse.Cur, pat: String
   ) -> Result<&2, &2, Parse.Error, Parse.Cur>:
  Parse.Parse.ascii_digit.val (https://jend.leeeet.dev/definition.txt?path=bend-scanner@0.1.0.0/parse.bend&name=Parse.ascii_digit.val)
   def Parse.ascii_digit.val(
     +h: Char, t: String, off: Nat, dig: Bool
   ) -> Result<&2, &2, Parse.Error, Parse.Dec>:
  Parse.Parse.ascii_digit.s (https://jend.leeeet.dev/definition.txt?path=bend-scanner@0.1.0.0/parse.bend&name=Parse.ascii_digit.s)
   def Parse.ascii_digit.s(
     s: String, off: Nat
   ) -> Result<&2, &2, Parse.Error, Parse.Dec>:
  Parse.Parse.ascii_digit (https://jend.leeeet.dev/definition.txt?path=bend-scanner@0.1.0.0/parse.bend&name=Parse.ascii_digit)
   def Parse.ascii_digit(
     cur: Parse.Cur
   ) -> Result<&2, &2, Parse.Error, Parse.Dec>:
  Parse.Parse.acc.ok (https://jend.leeeet.dev/definition.txt?path=bend-scanner@0.1.0.0/parse.bend&name=Parse.acc.ok)
   def Parse.acc.ok(+acc: U32, +d: U32, +max: U32) -> Bool:
  Parse.Parse.nacc (https://jend.leeeet.dev/definition.txt?path=bend-scanner@0.1.0.0/parse.bend&name=Parse.nacc)
   def Parse.nacc(+acc: U32, +h: Char) -> U32:
  Parse.Parse.st.ov (https://jend.leeeet.dev/definition.txt?path=bend-scanner@0.1.0.0/parse.bend&name=Parse.st.ov)
   def Parse.st.ov(+acc: U32, +d: U32, +max: U32, ok: Bool) -> Parse.St:
  Parse.Parse.st.of2 (https://jend.leeeet.dev/definition.txt?path=bend-scanner@0.1.0.0/parse.bend&name=Parse.st.of2)
   def Parse.st.of2(+acc: U32, +h: Char, +max: U32, dig: Bool) -> Parse.St:
  Parse.Parse.st.of (https://jend.leeeet.dev/definition.txt?path=bend-scanner@0.1.0.0/parse.bend&name=Parse.st.of)
   def Parse.st.of(+acc: U32, +h: Char, +max: U32) -> Parse.St:
  Parse.Parse.read_fixed.go (https://jend.leeeet.dev/definition.txt?path=bend-scanner@0.1.0.0/parse.bend&name=Parse.read_fixed.go)
   def Parse.read_fixed.go(
     s: String, n: Nat, +acc: U32, off: Nat, st: Parse.St, +max: U32
   ) -> Result<&2, &2, Parse.Error, Parse.Dec>:
  Parse.Parse.read_fixed_decimal (https://jend.leeeet.dev/definition.txt?path=bend-scanner@0.1.0.0/parse.bend&name=Parse.read_fixed_decimal)
   def Parse.read_fixed_decimal(
     cur: Parse.Cur, count: Nat, max: U32
   ) -> Result<&2, &2, Parse.Error, Parse.Dec>:
  Parse.Parse.finish.s (https://jend.leeeet.dev/definition.txt?path=bend-scanner@0.1.0.0/parse.bend&name=Parse.finish.s)
   def Parse.finish.s(
     s: String, off: Nat
   ) -> Result<&2, &2, Parse.Error, Unit>:
  Parse.Parse.finish (https://jend.leeeet.dev/definition.txt?path=bend-scanner@0.1.0.0/parse.bend&name=Parse.finish)
   def Parse.finish(
     cur: Parse.Cur
   ) -> Result<&2, &2, Parse.Error, Unit>: