Cli.split_bad: def of cli@0.2.0.0 Import: import cli@0.2.0.0/cli.bend as Cli Lines 2090-2094 of cli@0.2.0.0/cli.bend: https://jend.leeeet.dev/read.txt?path=cli@0.2.0.0/cli.bend&start_line=2090&end_line=2094 import Base def split_bad(found: Maybe<&2, Char>, attrs: List<&2, Item>, +value: String) -> Maybe<&2, Bad>: match found: case None{}: bad_value(value_reason(attrs, value), value) case Some{sep}: first_bad(String.split(value, sep), attrs) Uses (10): https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=Char https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=List 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.split https://jend.leeeet.dev/definition.txt?path=cli@0.2.0.0/cli.bend&name=Bad https://jend.leeeet.dev/definition.txt?path=cli@0.2.0.0/cli.bend&name=Item https://jend.leeeet.dev/definition.txt?path=cli@0.2.0.0/cli.bend&name=bad_value https://jend.leeeet.dev/definition.txt?path=cli@0.2.0.0/cli.bend&name=first_bad https://jend.leeeet.dev/definition.txt?path=cli@0.2.0.0/cli.bend&name=value_reason