~/jendhub

def prefix.number

bend-kit-netip@0.1.0.0 · netip.bend:377

import bend-kit-netip@0.1.0.0/netip.bend as Netip
import Base

377def prefix.number(addr: Addr, +text: String, parsed: Maybe<&2, U32>) -> Maybe<&2, Prefix>:
378  match parsed:
379    case None{}:
380      None{}
381    case Some{+bits}:
382      prefix.valid(addr, bits, Bool.and(prefix.digits(text), String.eq(U32.show(bits), text)))

Uses (10)

Used by (1)