def hextet

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

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

import Base

36# One IPv6 group: 1 to 4 hex digits, either case.
37def hextet(+s: String) -> Maybe<&2, U32>:
38  hextet.ok(Bool.and(Bool.not(String.is_empty(s)), Nat.is_le(String.length(s), 4n)), s)

Uses (9)

Used by (2)