Cli.type_reason: def of cli@0.2.0.0
Import: import cli@0.2.0.0/cli.bend as Cli
Lines 2023-2038 of cli@0.2.0.0/cli.bend: https://jend.leeeet.dev/read.txt?path=cli@0.2.0.0/cli.bend&start_line=2023&end_line=2038

import Base

def type_reason(kind: ValueType, value: String) -> Maybe<&2, String>:
  match kind:
    case TNat{}:
      Bool.pick(Maybe<&2, String>, valid_nat(value), None{},
        Some{"expected a whole number from 0 to 281474976710655"})
    case TU32{}:
      Bool.pick(Maybe<&2, String>, valid_u32(value), None{},
        Some{"expected a whole number from 0 to 4294967295"})
    case TF32{}:
      Bool.pick(Maybe<&2, String>, valid_f32(value), None{},
        Some{"expected a decimal number"})
    case TBool{}:
      Bool.pick(Maybe<&2, String>, valid_bool(value), None{},
        Some{"expected true or false"})
    case TFile{}: None{}
    case TDir{}: None{}

Uses (8):
  https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=Bool.pick
  https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=Maybe
  https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=String
  https://jend.leeeet.dev/definition.txt?path=cli@0.2.0.0/cli.bend&name=ValueType
  https://jend.leeeet.dev/definition.txt?path=cli@0.2.0.0/cli.bend&name=valid_bool
  https://jend.leeeet.dev/definition.txt?path=cli@0.2.0.0/cli.bend&name=valid_f32
  https://jend.leeeet.dev/definition.txt?path=cli@0.2.0.0/cli.bend&name=valid_nat
  https://jend.leeeet.dev/definition.txt?path=cli@0.2.0.0/cli.bend&name=valid_u32