Core.str_len_in: def of bend-schema-lib@0.4.1.0
Import: import bend-schema-lib@0.4.1.0/core.bend as Core
Lines 361-371 of bend-schema-lib@0.4.1.0/core.bend: https://jend.leeeet.dev/read.txt?path=bend-schema-lib@0.4.1.0/core.bend&start_line=361&end_line=371

import Base

# The same bounds as ready-made rules: a project's rule calls them by tag
# (`case 0n: str_len_in(1n, 64n, r)`), since a tag carries no numbers. Each
# refuses only the value it is about -- a string, a number -- and leaves any
# other kind to the schema's own check; the constructors below read the tests
# directly, because their bound is in the schema.
def str_len_in(+lo: Nat, +hi: Nat, r: Raw) -> Maybe<&2, Err>:
  match r:
    case RStr{+x}:
      in_err(str_len_ok(lo, hi, x), LengthNotIn{lo, hi})
    case _:
      None{}

Uses (7):
  https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=Maybe
  https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=Nat
  https://jend.leeeet.dev/definition.txt?path=bend-schema-lib@0.4.1.0/core.bend&name=Err
  https://jend.leeeet.dev/definition.txt?path=bend-schema-lib@0.4.1.0/core.bend&name=Raw
  https://jend.leeeet.dev/definition.txt?path=bend-schema-lib@0.4.1.0/core.bend&name=Why
  https://jend.leeeet.dev/definition.txt?path=bend-schema-lib@0.4.1.0/core.bend&name=in_err
  https://jend.leeeet.dev/definition.txt?path=bend-schema-lib@0.4.1.0/core.bend&name=str_len_ok