def Value.number

bend-lint-api@0.2.0.0 · linter/lint.bend:538

import bend-lint-api@0.2.0.0/linter/lint.bend as Lint
import Base

538# An option's value as a number, a flag or text; a value of another kind, or none, gives 0, False, "".
539def Value.number(value: Maybe<&2, Value>) -> U32:
540  match value:
541    case Some{Num{n}}:
542      n
543    case _:
544      0

Uses (3)

Used by (1)