def fetch_dash_allowed

cli@0.2.0.0 · cli.bend:3155

import cli@0.2.0.0/cli.bend as Cli
import Base

3155# Whether info's value may be token, which starts with "-".
3156def fetch_dash_allowed(scope: Scope, +info: ArgInfo,
3157    +token: String) -> Bool:
3158  Bool.and(Bool.not(String.eq(token, "--")),
3159    Bool.or(String.eq(token, "-"),
3160      Bool.or(arg_has_hyphen(info),
3161        Bool.and(arg_is_f32(info),
3162          Bool.and(is_negative_number(token),
3163            Bool.not(scope_digit_short(scope)))))))

Uses (12)

Used by (1)