src/Decimal.bend checks

type Error source · line 6 · raw

Data

• Empty

  Error

• LeadingZero

  Error

• NonDigit

  Error

• Overflow

  Error

• MissingDelimiter

  Error

type Stop source · line 13 · raw

Data

• Delimited

  @delimiter:Char -> Stop

• Complete

  Stop

type Parsed source · line 17 · raw

Data

• Dec

  @value:Nat -> @rest:String -> Parsed

type Parse source · line 20 · raw

Data

• Rejected

  @error:Error -> Parse

• Accepted

  @parsed:Parsed -> Parse

type Scan source · line 24 · raw

Data

• Reading

  @value:Nat -> @started:Bool -> @leading_zero:Bool -> Scan

• Finished

  @value:Nat -> Scan

• Failed

  @error:Error -> Scan

def render source · line 29 · raw

@num:Nat -> String

def is_digit_code source · line 32 · raw

@+code:U32 -> Bool

def digit_dec source · line 35 · raw

@ok:Bool -> @code:U32 -> Maybe<&2, Nat>

def digit_of source · line 42 · raw

@ch:Char -> Maybe<&2, Nat>

def within_digit_limit source · line 46 · raw

@digit_ok:Bool -> @acc:Nat -> @digit:Nat -> @limit:Nat -> Bool

def can_accumulate source · line 53 · raw

@acc:Nat -> @+digit:Nat -> @+limit:Nat -> Bool

def accumulated source · line 56 · raw

@ok:Bool -> @acc:Nat -> @digit:Nat -> @leading_zero:Bool -> Scan

def next_digit_zero source · line 63 · raw

@started:Bool -> @leading_zero:Bool -> @+acc:Nat -> @+digit:Nat -> @limit:Nat -> Scan

def next_digit_nonzero source · line 74 · raw

@leading_zero:Bool -> @+acc:Nat -> @+digit:Nat -> @limit:Nat -> Scan

def next_digit_value source · line 81 · raw

@+digit:Nat -> @started:Bool -> @leading_zero:Bool -> @acc:Nat -> @limit:Nat -> Scan

def next_digit source · line 88 · raw

@+digit:Maybe<&2, Nat> -> @started:Bool -> @leading_zero:Bool -> @acc:Nat -> @limit:Nat -> Scan

def finish_field source · line 95 · raw

@started:Bool -> @acc:Nat -> Scan

def delimited_step source · line 102 · raw

@is_delimiter:Bool -> @ch:Char -> @acc:Nat -> @started:Bool -> @leading_zero:Bool -> @limit:Nat -> Scan

def scan_step source · line 109 · raw

@+ch:Char -> @st:Scan -> @limit:Nat -> @stop:Stop -> Scan

def complete_end source · line 122 · raw

@started:Bool -> @value:Nat -> @rest:String -> Parse

def scan_end source · line 129 · raw

@st:Scan -> @rest:String -> @stop:Stop -> Parse

def scan source · line 142 · raw

@rest:String -> @st:Scan -> @+limit:Nat -> @+stop:Stop -> Parse

def parse_with_stop source · line 153 · raw

@str:String -> @limit:Nat -> @stop:Stop -> Parse

def parse_delimited source · line 156 · raw

@str:String -> @limit:Nat -> @delimiter:Char -> Parse

def parse_semicolon source · line 159 · raw

@str:String -> @limit:Nat -> Parse

def parse_complete source · line 162 · raw

@str:String -> @limit:Nat -> Parse

def parsed_value source · line 165 · raw

@parsed:Parsed -> Nat

def parsed_rest source · line 170 · raw

@parsed:Parsed -> String

def is_accepted source · line 175 · raw

@outcome:Parse -> Bool