~/jendhub

def best.len

emerging-ezhttp@0.21.0.0 · src/unescape.bend:129

import emerging-ezhttp@0.21.0.0/src/unescape.bend as Unescape
import Base
import emerging-ezhttp@0.21.0.0/src/entities.bend as Ents

129# a name's length, or 0 for none yet
130def best.len(m: Maybe<&2, Ents.Ref>) -> Nat:
131  match m:
132    case None{}:
133      0n
134    case Some{Ents.Ref{name, first, second}}:
135      String.length(name)

Uses (4)

Used by (1)