def heard.at

ezx@1.11.0.0 · src/add/hub.bend:62

import Base
import ezx@1.11.0.0/src/lock/world.bend as W

62# this reply's answer when it is about the key, else the rest's. The rest
63# arrives as a thunk, so the first answer ends the scan.
64def heard.at(hit: Bool, answer: W.Answer, rest: Unit -> Maybe<&2, W.Answer>) -> Maybe<&2, W.Answer>:
65  match hit:
66    case True{}:
67      Some{answer}
68    case False{}:
69      rest(Unit{})