Function listUsers

packages/core/api/src/admin/reads.ts:260–278

(
  admin: ExecutorAdmin,
  options: AdminUsersListOptions,
  directory?: AdminIdentityDirectory | AdminUserDirectory,
)

  externalId === null ? [] : subjects.filter((subject) => subject.externalId === externalId);

export const listUsers = (
  admin: ExecutorAdmin,
  options: AdminUsersListOptions,
  directory?: AdminIdentityDirectory | AdminUserDirectory,
): Effect.Effect<typeof AdminUsersResponse.Type, AdminUsersError> =>
  Effect.gen(function* () {
    const dir = asDirectory(directory);
    const wanted =
      options.email === undefined ? undefined : yield* resolveEmailFilter(dir, options.email);
    const all = yield* admin.listSubjects(options).pipe(Effect.mapError(readFailed("users")));
    const subjects = wanted === undefined ? all : filterToId(all, wanted);
    // One directory read for the page that was actually returned, joined in
    // memory — never a lookup per user.
    const identities = yield* resolveIdentities(
      dir.identities,
      subjects.map((subject) => subject.externalId),
    );
    return { users: subjects.map((subject) => toUser(subject, identities)) };
  });

export const listUsersWithConnections = (
  admin: ExecutorAdmin,