~/jendhub

def hub.got

ezx@1.11.0.0 · src/lock/up.bend:417

import ezx@1.11.0.0/src/lock/up.bend as Up
import Base
import ezx@1.11.0.0/src/ledger/upgrade.bend as U
import ezx@1.11.0.0/src/hub/hub.bend as Web

417def hub.got(got: Web.Got) -> Hubbed:
418  match got:
419    case Web.Have{_body}:
420      Clear{}
421    case Web.Miss{why}:
422      Bool.pick(Hubbed, U.hub.bad(why), Clash{}, Clear{})

Uses (4)

Used by (1)