Code.of_name: def of cswap-bend-cli@0.1.0.0
Import: import cswap-bend-cli@0.1.0.0/fmt/code.bend as Code
Lines 7-13 of cswap-bend-cli@0.1.0.0/fmt/code.bend: https://jend.leeeet.dev/read.txt?path=cswap-bend-cli@0.1.0.0/fmt/code.bend&start_line=7&end_line=13

import Base

# The code of a `--format` argument, none for an unknown name.
def of_name(+s: String) -> Maybe<&2, U32>:
  Bool.pick(Maybe<&2, U32>, String.eq(s, "text"), Some{0},
  Bool.pick(Maybe<&2, U32>, String.eq(s, "json"), Some{1},
  Bool.pick(Maybe<&2, U32>, String.eq(s, "csv"), Some{2},
  Bool.pick(Maybe<&2, U32>, String.eq(s, "yaml") || String.eq(s, "yml"), Some{3},
  Bool.pick(Maybe<&2, U32>, String.eq(s, "toon"), Some{4}, None{})))))

Uses (6):
  https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=Bool.or
  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=Base/base.bend&name=String.eq
  https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=U32