A participant's nickname editor

Reached from a conversation.

Every example starts from saved, the checkpoint the index describes; the launch hands the feed, and a tab edge lands on the tab's root.

Give a participant a nickname

A participant's nickname editor: changeNickname(nickname).

The group's nickname list in the app; your program opens a participant's editor from participants.

// Give a participant a nickname.
const nickname = await AndroidIgpapi.launch({
  checkpoint: saved,
  screen: FeedTimelineScreen,
  main: feed =>
    Effect.gen(function* () {
      const tab = yield* feed.openDirectTab();
      const item = tab.threads[0];
      if (item === undefined) return undefined;
      const thread = yield* item.open();
      const participant = thread.participants[0];
      if (participant === undefined) return undefined;
      const editor = yield* participant.openNicknameEditor();
      return yield* editor.changeNickname('Buddy');
    }),
});
console.log(nickname);