Frame.digit.read: def of bolt@1.27.0.0
Import: import bolt@1.27.0.0/src/lsp/frame.bend as Frame
Lines 140-164 of bolt@1.27.0.0/src/lsp/frame.bend: https://jend.leeeet.dev/read.txt?path=bolt@1.27.0.0/src/lsp/frame.bend&start_line=140&end_line=164

import Base

# the digit a char code stands for, if it is one
def digit.read(xx: U32) -> Maybe<&2, Digit>:
  match xx:
    case 48:
      Some{D0{}}
    case 49:
      Some{D1{}}
    case 50:
      Some{D2{}}
    case 51:
      Some{D3{}}
    case 52:
      Some{D4{}}
    case 53:
      Some{D5{}}
    case 54:
      Some{D6{}}
    case 55:
      Some{D7{}}
    case 56:
      Some{D8{}}
    case 57:
      Some{D9{}}
    case other:
      None{}

Uses (6):
  https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=Bool
  https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=Maybe
  https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=U32
  https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=Word.Con
  https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=Word.Nil
  https://jend.leeeet.dev/definition.txt?path=bolt@1.27.0.0/src/lsp/frame.bend&name=Digit