def named.at

ezx@1.11.0.0 · src/ws/joint.bend:415

import ezx@1.11.0.0/src/ws/joint.bend as Joint
import Base

415# the member found, once it is known whether the head is it
416def named.at(hit: Bool, hd: Member, rest: Maybe<&2, Member>) -> Maybe<&2, Member>:
417  match hit:
418    case True{}:
419      Some{hd}
420    case False{}:
421      rest

Uses (3)

Used by (1)