def person_of.go

near-v-framework@0.4.0.0 · domain/architecture/environment/agreement/ops.bend:35

import Base
import near-v-framework@0.4.0.0/domain/architecture/environment/agreement/type.bend as G

35# The key of the person with this identity (case insensitive), or "" when none has it.
36def person_of.go(xs: List<&2, G.Person>, +identity: String) -> String:
37  match xs:
38    case []:
39      ""
40    case G.Person{key, +id} <> rest:
41      Bool.pick(String, same_identity(identity, id), key, person_of.go(rest, identity))