def float.pat

yaml-for-bend@0.1.1.0 · core.bend:46

import yaml-for-bend@0.1.1.0/core.bend as Core
import Base
import yaml-for-bend@0.1.1.0/re.bend as R

46# [-+]?(\.[0-9]+|[0-9]+(\.[0-9]*)?)([eE][-+]?[0-9]+)?
47def float.pat() -> List<&2, R.Pat>:
48  [R.sign(), R.Alt{[[R.c('.'), R.digits()], [R.digits(), R.Opt{R.seq([R.c('.'), R.Star{R.digit()}])}]]},
49   R.Opt{R.seq([R.of("eE"), R.sign(), R.digits()])}]

Uses (9)

Used by (1)