parse.bend checks

type Parse.Cur source · line 3 · raw

Data

• Cur

  @rest:String -> @off:Nat -> Parse.Cur

type Parse.Error source · line 6 · raw

Data

• Unexpected

  @offset:Nat -> @char:Char -> Parse.Error

• Eof

  @offset:Nat -> Parse.Error

• Overflow

  @offset:Nat -> Parse.Error

• Extra

  @offset:Nat -> @char:Char -> Parse.Error

type Parse.St source · line 12 · raw

Data

• StOk

  Parse.St

• StBad

  @c:Char -> Parse.St

• StOv

  Parse.St

type Parse.Dec source · line 17 · raw

Data

• Dec

  @value:U32 -> @cur:Parse.Cur -> Parse.Dec

def Parse.start source · line 20 · raw

@text:String -> Parse.Cur

def Parse.peek.s source · line 23 · raw

@s:String -> Maybe<&2, Char>

def Parse.peek source · line 30 · raw

@cur:Parse.Cur -> Maybe<&2, Char>

def Parse.expect_char.eq source · line 35 · raw

@t:String -> @off:Nat -> @h:Char -> @eq:Bool -> Result<&2, &2, Parse.Error, Parse.Cur>

def Parse.expect_char.s source · line 44 · raw

@s:String -> @off:Nat -> @+want:Char -> Result<&2, &2, Parse.Error, Parse.Cur>

def Parse.expect_char source · line 53 · raw

@cur:Parse.Cur -> @+want:Char -> Result<&2, &2, Parse.Error, Parse.Cur>

def Parse.expect_literal.go source · line 60 · raw

@s:String -> @p:String -> @eq:Bool -> @h:Char -> @off:Nat -> Result<&2, &2, Parse.Error, Parse.Cur>

def Parse.expect_literal.start source · line 73 · raw

@s:String -> @p:String -> @off:Nat -> Result<&2, &2, Parse.Error, Parse.Cur>

def Parse.expect_literal source · line 84 · raw

@cur:Parse.Cur -> @pat:String -> Result<&2, &2, Parse.Error, Parse.Cur>

def Parse.ascii_digit.val source · line 91 · raw

@+h:Char -> @t:String -> @off:Nat -> @dig:Bool -> Result<&2, &2, Parse.Error, Parse.Dec>

def Parse.ascii_digit.s source · line 100 · raw

@s:String -> @off:Nat -> Result<&2, &2, Parse.Error, Parse.Dec>

def Parse.ascii_digit source · line 109 · raw

@cur:Parse.Cur -> Result<&2, &2, Parse.Error, Parse.Dec>

def Parse.acc.ok source · line 116 · raw

@+acc:U32 -> @+d:U32 -> @+max:U32 -> Bool

def Parse.nacc source · line 119 · raw

@+acc:U32 -> @+h:Char -> U32

def Parse.st.ov source · line 122 · raw

@+acc:U32 -> @+d:U32 -> @+max:U32 -> @ok:Bool -> Parse.St

def Parse.st.of2 source · line 129 · raw

@+acc:U32 -> @+h:Char -> @+max:U32 -> @dig:Bool -> Parse.St

def Parse.st.of source · line 139 · raw

@+acc:U32 -> @+h:Char -> @+max:U32 -> Parse.St

def Parse.read_fixed.go source · line 142 · raw

@s:String -> @n:Nat -> @+acc:U32 -> @off:Nat -> @st:Parse.St -> @+max:U32 -> Result<&2, &2, Parse.Error, Parse.Dec>

def Parse.read_fixed_decimal source · line 159 · raw

@cur:Parse.Cur -> @count:Nat -> @max:U32 -> Result<&2, &2, Parse.Error, Parse.Dec>

def Parse.finish.s source · line 166 · raw

@s:String -> @off:Nat -> Result<&2, &2, Parse.Error, Unit>

def Parse.finish source · line 175 · raw

@cur:Parse.Cur -> Result<&2, &2, Parse.Error, Unit>