def best.hit

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

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

146# a name the text starts with or not
147def best.hit(+best: Maybe<&2, Ents.Ref>, +r: Ents.Ref, +name: String,
148  hit: Bool) -> Maybe<&2, Ents.Ref>:
149  match hit:
150    case True{}:
151      best.take(best, r, Nat.is_lt(best.len(best), String.length(name)))
152    case False{}:
153      best

Uses (8)

Used by (1)