def num

cswap-bend-cli@0.1.0.0 · settings.bend:175

import cswap-bend-cli@0.1.0.0/settings.bend as Settings

import Base

175# Python's float() / JSON number text as a decimal: optional sign, digits with
176# an optional point, optional exponent; surrounding spaces ignored. Not `inf`
177# or `nan` (see `special`).
178def num(+s: String) -> Maybe<&2, Dec>:
179  num.trimmed(String.trim(s))

Uses (5)

Used by (5)