def signed_in

near-v-framework@0.4.0.0 · domain/architecture/system/deployment/azure/ops.bend:158

import Base
import near-v-framework@0.4.0.0/domain/architecture/system/deployment/azure/type.bend as Az

158# Who is signed in with this profile, or "" when no one is.
159def signed_in(+profile: String, xs: List<&2, Az.Identity>) -> String:
160  match xs:
161    case []:
162      ""
163    case Az.Identity{+p, name} <> rest:
164      Bool.pick(String, String.eq(profile, p), name, signed_in(profile, rest))